mat. logika - teorija u trecem kolokviju (informacija)

[greeneyes]

buduci da nemamo predavanja prije kolokvija, poslala sam mail profesoru Vukovicu oko toga sto od teorije dolazi u obzir - gradivo od otprilike generaliziranog teorema potpunosti za teorije prvog reda pa do RAM stroja, forma zadatka ista kao i do sada - 5 definicija, 5 iskaza teorema

good luck

_________________
Am I so different from you
Now does it scare you that I'm able to discern
What to love and what to burn..
Don't judge what you don't understand..

// Disturbed: Fear

[zeix]

Koji datum je kolokvij ???

_________________
"From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2."
Page 360, Principia Mathematica

[Melkor]

Kolokvij će biti u utorak, 6.5. Točno vrijeme još nije poznato.

_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.

[zeix]

U kolko sati je kolokvij ???

_________________
"From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2."
Page 360, Principia Mathematica

[Melkor]

U 16 sati u 006.

_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.

[allllice]

[greeneyes]

[allllice]

Hvala

Karma++

[zeix]

Jos jedno pitanje. Ako u zadatku pise napisi program za RAM stroj jel to znaci da ne mozemo koristit makroe, tj. da li eksplicitno treba pisati makro-stroj. A drugo pitanje je koje sve makroe mozemo koristi.

_________________
"From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2."
Page 360, Principia Mathematica

[allllice]

Da, ako je RAM-stroj onda smijemo koristiti samo GOTO, INC i DEC.
Ako je makro-stroj, onda imamo onih 4-5 otprilike:

MOVE Ri to Rj USING Rk
ZERO Ri
Ri + Rj -> Rk
Ri * Rj -> Rk

ugl, sve one koje smo obradili na vjezbama, ne znam dal sam neku naredbu izostavila mozda.

[zeix]

Se zna kad su rezultati

_________________
"From this proposition it will follow, when arithmetical addition has been defined, that 1+1=2."
Page 360, Principia Mathematica

[plavooka]

..rekao je asistent danas da je malo u gužvi pa nije siguran da li će uspjet ispravit do sljedećih vježbi..

[Gost]

meni javila dobra dusa pa prosljedjujem ;o)

http://spreadsheets.google.com/pub?key=p7GQsyFYSVGrNGcR-K6HqBw