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.
kolage

Info z předtermínu

Příspěvek od kolage »

Nebyl nějaký odvážlivec dnes na předtermínu ? Byl bych rád za každou informaci ...
chmirko
Matfyz(ák|ačka) level I
Příspěvky: 17
Registrován: 11. 10. 2009 18:00
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Re: Info z předtermínu

Příspěvek od chmirko »

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
kolage

Re: Info z předtermínu

Příspěvek od kolage »

ok, diky
Odpovědět

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