Terminy v 2008/2009

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
lem
Matfyz(ák|ačka) level I
Příspěvky: 10
Registrován: 30. 1. 2006 18:21

Terminy v 2008/2009

Příspěvek od lem »

Posledni bude 17.2.2009, nebo budou i dalsi? Pripadne kdy? Zdroj (pronesl sam prof. Stepanek, ...)?
Nahoru
peterblack
Matfyz(ák|ačka) level III
Příspěvky: 153
Registrován: 10. 12. 2006 19:26

Re: Terminy v 2008/2009

Příspěvek od peterblack »

psal jsem si Stepankem terminy urco budou, navrh jsem mu brezen - vsichni uz budou mit domluveny cvika/projekty atd...
Nahoru
peterblack
Matfyz(ák|ačka) level III
Příspěvky: 153
Registrován: 10. 12. 2006 19:26

Re: Terminy v 2008/2009

Příspěvek od peterblack »

hele achtung, pokud chcete jit na ten dalsi termin napiste stepankovi maila kdy to budete umet

prej to nebude vubec vypisovat do sisu (!) a jenom nam posle email

docela zvlastni
Nahoru
3F6L3

Re: Terminy v 2008/2009

Příspěvek od 3F6L3 »

Kazdopadne ked bude dalsi terminu, moze nekdo informovat kdy a kde bude zkouska.
Diky
Nahoru
Odpovědět

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