Zápočtový test - Glivický, 25.11.

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.
Odpovědět
Uživatelský avatar
Ellrohir
Matfyz(ák|ačka) level III
Příspěvky: 140
Registrován: 21. 12. 2007 13:29
Typ studia: Informatika Bc.
Bydliště: Praha
Kontaktovat uživatele:
Kontaktovat uživatele Ellrohir

Zápočtový test - Glivický, 25.11.

Příspěvek od Ellrohir »

hoj...včera jsem se nemohl dostavit k psaní testu, ovšem rád bych se zeptal, co v něm tak zhruba bylo, ať se můžu připravit aspoň psychicky na tu katastrofu, až to budu příští týden dopisovat... :)
Nahoru
Uživatelský avatar
Ellrohir
Matfyz(ák|ačka) level III
Příspěvky: 140
Registrován: 21. 12. 2007 13:29
Typ studia: Informatika Bc.
Bydliště: Praha
Kontaktovat uživatele:
Kontaktovat uživatele Ellrohir

Re: Zápočtový test - Glivický, 25.11.

Příspěvek od Ellrohir »

to sem fakt nechodí nikdo, kdo ten test psal? :(
Nahoru
Odpovědět

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