Glivicky Petr

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.
bbbbb

Glivicky Petr

Příspěvek od bbbbb »

zdravim, nie je z vas niekto taky ze sa v poslednej dobe pokusal bezvysledne skontaktovat s petrom glivickym..? od 12.2 mu totiz posielam maily s domacou ulohou, lebo som dufal ze mi to opravi do dnes do 12:00 nech sa na zajtra este mozem prihlasit na skusku, ale bohuzial vobec neodpisal.. nemate nanho telefon alebo takto..?
kedze bol vypisany novy termin na 24.2 tak by som rad stihol aspon ten ale kedze od 19.2 pisal glivicky ze bude nedostupny tak sa zacinam obavat
romantismus
Matfyz(ák|ačka) level I
Příspěvky: 8
Registrován: 10. 12. 2009 00:00
Typ studia: Informatika Bc.

Re: Glivicky Petr

Příspěvek od romantismus »

Já jsem mu odpovídal na ten mail, kde nás upozorňoval na to, že tu nebude, a odpověď jsem dostal skoro obratem.
bbbbb

Re: Glivicky Petr

Příspěvek od bbbbb »

romantismus píše:Já jsem mu odpovídal na ten mail, kde nás upozorňoval na to, že tu nebude, a odpověď jsem dostal skoro obratem.
noo mne tiez este 12.2. doobedu odpovedal a potom uz nic
bbbbb

Re: Glivicky Petr

Příspěvek od bbbbb »

ok, rusim oatranie dneska mi prisiel mail a mam zapocet:)
Odpovědět

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