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.

Pomůcka na cvičení

Příspěvekod seby » 1. 11. 2010 22:04

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

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 1 návštěvník