Zápočtové testy - Gregor - 2013/14

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.

Zápočtové testy - Gregor - 2013/14

Příspěvekod asdf-fdsa » 1. 1. 2014 15:04

dva testy po 10b, pro zápočet je nutno získat 11b. Kdo to nezvládl, psal náhradní test.

Výroková logika
Obrázek

Predikátová logika
Obrázek
asdf-fdsa
 

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 2 návštevníků