Vzorová zkouška - 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.
Odpovědět

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