Forum@DeGiorgi :: Pogledajte temu - mat. logika

mat. logika - teorija u trecem kolokviju

through

[^/[Print]\]

Forum@DeGiorgi -> Matematički kolegiji

#1: mat. logika - teorija u trecem kolokviju Autor/ica: greeneyes, Lokacija: The water's edge Is where she waits

Postano: 14:23 ned, 20. 4. 2008
—
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 Wink

#2: Autor/ica: zeix,

Postano: 19:35 ned, 20. 4. 2008
—
Koji datum je kolokvij ???

#3: Autor/ica: Melkor, Lokacija: Void

Postano: 20:25 ned, 20. 4. 2008
—
Kolokvij će biti u utorak, 6.5. Točno vrijeme još nije poznato.

#4: Autor/ica: zeix,

Postano: 11:38 pon, 5. 5. 2008
—
U kolko sati je kolokvij ???

#5: Autor/ica: Melkor, Lokacija: Void

Postano: 11:45 pon, 5. 5. 2008
—
U 16 sati u 006.

#6: Re: mat. logika - teorija u trecem kolokviju Autor/ica: allllice, Lokacija: Zagreb

Postano: 14:09 pon, 5. 5. 2008
—

greeneyes (napisa):

gradivo od otprilike generaliziranog teorema potpunosti za teorije prvog reda pa do RAM stroja...

Nigdje u skripti ne nadjem RAM-stroj Confused

Jel postoji neka novija skripta, ili? Ovu sam isprintala pocetkom godine. Nije mi bas jasno..

#7: Re: mat. logika - teorija u trecem kolokviju Autor/ica: greeneyes, Lokacija: The water's edge Is where she waits

Postano: 15:44 pon, 5. 5. 2008
—

allllice (napisa):

Nigdje u skripti ne nadjem RAM-stroj Confused

Jel postoji neka novija skripta, ili? Ovu sam isprintala pocetkom godine. Nije mi bas jasno..

dvije su skripte - prvi semestar i nekih mjesec i pol dana drugog - skripta Matematicka logika 1
ostatak drugog semestra - http://web.math.hr/~vukovic/Izracun_skripta.ZIP

#8: Autor/ica: allllice, Lokacija: Zagreb

Postano: 17:28 pon, 5. 5. 2008
—
Hvala Very Happy

Karma++

#9: Autor/ica: zeix,

Postano: 18:09 pon, 5. 5. 2008
—
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.

#10: Autor/ica: allllice, Lokacija: Zagreb

Postano: 13:13 uto, 6. 5. 2008
—
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.

#11: Autor/ica: zeix,

Postano: 19:01 sri, 7. 5. 2008
—
Se zna kad su rezultati

#12: Autor/ica: plavooka, Lokacija: Zagreb

Postano: 19:10 sri, 7. 5. 2008
—
..rekao je asistent danas da je malo u gužvi pa nije siguran da li će uspjet ispravit do sljedećih vježbi..

#13: rezultati Autor/ica: Gost,

Postano: 15:45 sub, 17. 5. 2008
—
meni javila dobra dusa pa prosljedjujem ;o)

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

Forum@DeGiorgi -> Matematički kolegiji

output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.

Stranica 1 / 1.