AIL062 Výroková a predikátová logika

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.
  • Fórum
    Témata
    Příspěvky
    Poslední příspěvek
  • 2007
    17 Témata
    108 Příspěvky
    Poslední příspěvek od panther Zobrazit poslední příspěvek
    28. 9. 2008 23:56
  • 2006
    23 Témata
    130 Příspěvky
    Poslední příspěvek od eL Zobrazit poslední příspěvek
    20. 9. 2007 11:21
  • 2005
    53 Témata
    612 Příspěvky
    Poslední příspěvek od Angel Zobrazit poslední příspěvek
    29. 9. 2006 10:22
  • Oznámení
    Odpovědi
    Zobrazení
    Poslední příspěvek
  • Témata
    Odpovědi
    Zobrazení
    Poslední příspěvek
Další

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