Matematicka logika (informacija)

[Charmed]

[piccola]

pa u tome i je problem, ne mogu nać nikako kolokvije oz prošlih godina

[štangica]

da ni ja isto ja sam samo našla iz 2008...jel bi mogao netko staviti link ako je našao iz prošle godine?hvala!

[Charmed]

Evo od lani

[piccola]

[Charmed]

Hm, da li postoji 2 rok za usmeni? Ako ovaj ne prođemo...

[eta]

Ja mislim da imamo i drugi usmeni....
Btw,je li bio netko na usmenom danas? Šta pita,kakvo je stanje? Jel nudi dvojke,i za kolko bodova i koliko teorije?

[Charmed]

Itko?

[dosed_girl]

sad mi je kolegica javila, ona je imala 17 bodova na teoriji i ukupno 47 i nekaj bodova i ponudio joj je trojku bez usmenog.

_________________
a part of me gets sick / a part of me gets sore

[Lafiel]

Već za 44,2 i 10+6 na teoriji je profesor ponudio 3 bez usmenog danas.

Neka od pitanja:

za 2:
¤ Definirati sigma strukturu
¤ Iskaz Craigove interpolacijske leme
¤ Iskaz Gödelovog teorema potpunosti
¤ Iskaz Löwenheim-Skolemovog teorema na dolje
¤ Iskaz teorema dedukcije za teorije prvog reda

za 4:
¤ Kako iz dokaza Craigove interpolacijske leme znamo da je Var (A) Var (B) neprazan skup
¤ Dokaz teorema potpunosti za sistem prirodne dedukcije


Inače, profesor je baš jako korektan, izvlači iz vas, postavlja potpitanja i pokušava vas navesti na točan odgovor. Dakle bez straha.

_________________
Weit von hier fällt Gold von den Sternen

[Charmed]

A jel kome nudio 2?

[Gost]

Jedno mozda glupasto pitanje, ali da se ne bi ocrnila pred prof sutra..

Kako se cita oznaka za sigma-struktru, ono cudno M?

Kad je ta oznaka M i onda logicki slijedi F kako se to cita?
F je istinita za danu interpretaciju ili za danu strukturu??

u Tm adekvatnosti za teoriju prvog reda, iskaz bi glasia:

Ako vrijedi da je F teorem za teoriju T prvog reda tada za sve modele M teorije T vrijedi ...(ŠTA?? formula F istinita za dani model,interpretaciju?? ))

[tajchi666]

i mene zanima.. jel kome nudio 2?? i od koliko bodova to nudi

[tidus]

[Lafiel]

[Charmed]

[eta]

40 bodova na kolokviju i 10 bodova na teoriji (5+5) nudi dvojke

[tperkov]

[Charmed]

[astajd]

Charmed je u pravu, danas sam sa 43/11 bodova bio "između 2 i 3", a kako "ta ocjena ne postoji" pitao me prof definiciju dokaza rs, jaki tm potpunosti za rs, tm kompaktnosti. Nisam znao baš iz rukava, ali prof vas pusti malo da se sjetite, ako ne ide onda započne koju riječ i onda vam prepusti da dovršite.
Bome mogu reći da je bilo ugodno odgovarati, opuštena atmosfera, i prof je zaista maksimalno korektan.
za 4 pita dokaze, za 5 teže dokaze i još malo vrti po biti dokaza.
Mislim da za 2 treba znati definicije, a teoreme, pa ove zadnje vjerojatno ne ali neke bitne i jednostavne bi mogli.
Poz svima, sretno i uživajte!