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.
panacekcz

Přehled značení

Příspěvek od panacekcz »

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/
Odpovědět

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