Přehled znač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.

Přehled značení

Příspěvekod panacekcz » 3. 3. 2012 17:03

Jelikož při čtení Mlčkova textu mám občas problém se spoustou různých zápisů definovaných všude možně, udělal jsem přehled značení s vysvětlením nebo definicí a číslem stránky, kde je zavedeno.
http://www.ms.mff.cuni.cz/~dortv/logika/
panacekcz
 

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ů

cron