Info z předtermínu

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

Info z předtermínu

Příspěvekod kolage » 14. 1. 2011 12:02

Nebyl nějaký odvážlivec dnes na předtermínu ? Byl bych rád za každou informaci ...
kolage
 

Re: Info z předtermínu

Příspěvekod chmirko » 15. 1. 2011 11:42

Presburgerova Aritmeika - moc neslo
Robinsonova aritmetika - neco jo neco sem pomotal
Teorie naslednika s nulou v jazyku - neco jo neco sem pomotal
a tereticke otazky ohledne modelove kompletnosti, koexistence a tak

mam za 3
chmirko
Matfyz(ák|ačka) level I
 
Příspěvky: 17
Registrován: 11. 10. 2009 17:00
Typ studia: Informatika Mgr.

Re: Info z předtermínu

Příspěvekod kolage » 15. 1. 2011 15:21

ok, diky
kolage
 


Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník