Šokující předtermín 2009-01-13

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.
Odpovědět
Uživatelský avatar
tikiri
Matfyz(ák|ačka) level I
Příspěvky: 37
Registrován: 17. 1. 2008 10:06
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od tikiri »

Ja porad nic... :(
Here's a llama, there's a llama, and another little llama, fuzzy llama, funny llama, llama, llama, DUCK. :)
Nahoru
Uživatelský avatar
Donarus
Matfyz(ák|ačka) level III
Příspěvky: 194
Registrován: 30. 9. 2007 12:40
Typ studia: Informatika Mgr.

Re: Šokující předtermín 2009-01-13

Příspěvek od Donarus »

pokud nemate zapocet, vysledky se nedozvite ... ja jsem panu Štěpánkovi zavolal do kanclu a zeptal sjem se přímo.. cca po třech, čtyřech dnech.. a odpověd jsem během 5ti minut dostal ... (než mě v těch apírech našel :D)

odpověď bohužel zápornou :(
Nahoru
Šlupka
Matfyz(ák|ačka) level I
Příspěvky: 39
Registrován: 7. 11. 2007 22:12
Typ studia: Informatika Bc.

Re: Šokující předtermín 2009-01-13

Příspěvek od Šlupka »

Já šel teda o den později, ale výsledek se mi objevil v sisu (protože mám zápočet) + dostal jsem email od Štěpánka, že to v Sisu mám...
Nahoru
Odpovědět

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