Pomůcka na cvičení

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.
seby
Matfyz(ák|ačka) level I
Příspěvky: 42
Registrován: 31. 1. 2008 15:40
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Pomůcka na cvičení

Příspěvek od seby »

Ahoj,
během studia jsme vyrobili několik návodů, součástí kterých je i seznam vět ve výrokové logice. Možná se vám to bude hodit. Pro bližší informace se podívejte na http://forum.matfyz.info/viewtopic.php?f=165&t=7256.
Odpovědět

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