kolokvij iz mat.logike

[Gost]

[iuppiter]

nisam sigurna dal sam dobro zapamtila pa da pitam, je li asistent Čačić rekao da će rezultati drugog kolokvija biti u petak u 14h?

_________________
Stultorum plena sunt omnia.

/Ciceron/

[luce]

da, u petak, u 14

_________________
Black holes are places where god divided by zero.

[iuppiter]

hvala!!

_________________
Stultorum plena sunt omnia.

/Ciceron/

[Gost]

evo samo ako neko nezna, za usmeni iz logike se treba predbiljezit, lista je na profesorovim vratima, termini su od utorka do petka..

[iuppiter]

da ne otvaram novi topic, jel se tko sjeća teorijskih pitanja iz prvog i drugog kolokvija? znam da prvi kolokvij ima za skinut, al mi ga moj pctex ne želi lijepo pročitat (fali mu masa fontova), a neda mi se sad tražit updateove il neke druge readere za dvi.

_________________
Stultorum plena sunt omnia.

/Ciceron/

[renata]

2.kolokvij:
-definicija stabla
-teorem adekvatnosti za sistem prirodne dedukcije
-definicija formule
-sto znaci da je term slobodan za varijablu
-preneksna normalna forma (definicija)
-teorem o preneksnoj normalnoj formi
-cime je zadan jezik teorije prvog reda
-teorem dedukcije ... za ovo zadnje nisam 100% sigurna, a ne sjecam se ni ostalih
Nadam se da ce bar ovo malo pomoci

[Sylph]

da bio je teorem dedukcije za teorije prvog reda
i jos:
deMorganova pravila za kvantifikatore
lema o prosirenju valuacije na skup svih terma
teorem potpunosti za sistem prirodne dedukcije
teorija prvog reda (navesti cime je po dogovoru zadana)
formula logikle prvog reda

a za prvi kolokvij stvarno neznam..