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.
-
-
2007
- 17 Témata
- 108 Příspěvky
-
Poslední příspěvek od panther
28. 9. 2008 23:56
-
-
2006
- 23 Témata
- 130 Příspěvky
-
Poslední příspěvek od eL
20. 9. 2007 11:21
-
-
2005
- 53 Témata
- 612 Příspěvky
-
Poslední příspěvek od Angel
29. 9. 2006 10:22
Zpět na Obsah fóra
Kdo je online
Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník
Oprávnění fóra
Můžete zakládat nová témata v tomto fóru
Můžete odpovídat v tomto fóru
Nemůžete upravovat své příspěvky v tomto fóru
Nemůžete mazat své příspěvky v tomto fóru
Nemůžete přikládat soubory v tomto fóru