Matematicka logika (informacija)

[Gost]

molim neku dobru dusu koja je bila na usmenom iz logike da napise koliko detaljno profesor pita i na koji dio gradiva najvise obraca paznju. ima toga dosta pa da skratim muke
hvala

[Gost]

[hermione]

[Gost]

hvala

hoces reci da ce pokrivati gradivo s kolokvija ili da ce bas ona pitanja sa kolokvija biti na usmenom(+dokazi)?

[hermione]

[Romana]

Jel bi mogo neko napisat do kud smo točno došli s gradivom (u skripti)?

[Gost]

godelov tm. potpunosti je na zadnjem satu obradjen, a zadnje je spomenut churchov tm


kada su rezultati pismenog? jel pisalo na papiru kada je usmeni?

[Romana]

Hvala na odgovoru.
Rezultati pismenog su u petak u 15.00, nije pisalo ništa za usmeni.

[Gost]

jel se zna kad su usmeni? jesu bili rezultati?

[Romana]

za usmeni se dogovara s profesorom preko maila, to je pisalo na rezultatima.

[Gost]

danas su navodno bili neki usmeni

kak je bilo? jel bio tko? sto je prof pitao?

[hermione]

Tm. adekvatnosti za PD, RS i teoriju T, Craigeova lema, Tm.potpunosti, Tm. kompaktnosti, def dokaza u RS, sigma interpretacije

_________________
http://www.youtube.com/watch?v=SjN_4LO-5L8

U tijelu nema pravih ideala

[Mishika]

Evo još nekih pitanje s usmenog koja još nisu spominjana:
-teorem dedukcije+dokaz
-definicija stabla
-veza klasične logike sudova i inuicionističke logike(ovo je pitanje bilo za 5)

_________________
It's better to burn out than to fade away...

[Gost]

- konkatenacija
- formula logike sudova
- relacija logičke posljedice
- DNF
- konzistentnost
- podriječ
- logički ekvivalentne formule
- valjana formula
- savršena KNF
- potpun skup

- tm o normalnoj formi (+dokaz)
- tm adekvatnosti u rs (+dokaz)
- tm dedukcije u rs (+dokaz)
- tm potpunosti u rs (+dokaz)
- jaki tm potpunosti u rs(+dokaz)
- Craigova lema u rs(+dokaz)
- svojstva konzistentnosti u rs(+dokaz)
- generalizirani tm potpunosti u rs(+dokaz)
- tm kompaktnosti u rs (+dokaz)


- stablo
- term
- srtuktura i interpretacija
- istinitost svaki x F
- konzistentan skup u rp
- stablo
- formula za T teoriju
- term slobodan za neku varijablu
- terojia T
- preneksna NF

- tm adekvatnosti u pd (+dokaz)
- tm o vezi rp i pd (+dokaz)
- tm dedukcije logike 1 reda (+dokaz)
- svojstva konzistentnosti u teoriji T (+dokaz)
- Gődelov tm
- tm potpunosti u pd (+dokaz)
- tm o preneksnoj NF (+dokaz)
- lema proširenja valuacije na skup terma (+dokaz)
- pravila za (ne svaki x F) i (ne postoji x F)
- tm dedukcije u RP (+dokaz)

[Gost]

hvala puno na trudu

sto iz izracunjivosti ne pita nista?

[Nesi]

mislim da su ovo pitanja iz logike 1 (prof smjer), tj prvog semestra logike (ing smjer)

_________________
It's not who you love. It's how.

[hermione]

[Gost]

kad ce biti rezultati pismenog iz mat log 1 pisanih danas? da li se zna kada ce biti usmeni? (hoce li biti objavljeni s rezultatima?)

i jos dva pitanja u vezi usmenih: da li profesor inzistira na dokazima(da li pogleda kroz prste ako se ne bas svaki)? imam osjecaj da PD bas i ne pita, jel to istina?


unaprijed hvala

[hermione]

[Gost]

Netko je napisao da je zadnje sto se radilo na predavanjima Godelov teorem potpunosti. Jel to tocno i jel profesor mozda neke stvari iz skripte prije tog teorema preskocio?