Doučování logiky

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.

Doučování logiky

Příspěvekod Jookyn » 27. 2. 2011 11:46

V kategorii Práce poptávám doučování z logiky, pro jistotu dávám link i sem, kdyby nějaký logik kategorii Práce nečetl...

viewtopic.php?f=79&t=7597
Jookyn
Matfyz(ák|ačka) level III
 
Příspěvky: 115
Registrován: 13. 9. 2008 20:42
Typ studia: Informatika Mgr.
Login do SIS: 80320124

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