Pondělní sessions?

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.
JanKokoška

Re: Pondělní sessions?

Příspěvek od JanKokoška »

Pokud jde o podjezd u Výstaviště, pěší chůzí lze během 5ti minut dojít na Strossmayerovo náměstí a pokračovat v jízdě. Nehledě na to, že linky 17 a 12 začaly Výstaviště objíždět, takže jet pětkou přes Dělnickou není vůbec problém a na zdržení se to téměř neprojeví. To jen tak na okraj, tenhle problém je poměrně častý.
marion
Matfyz(ák|ačka) level II
Příspěvky: 69
Registrován: 4. 10. 2008 11:05
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Re: Pondělní sessions?

Příspěvek od marion »

Omlouvám svoji neúčast, taky mě skolila ta chřipková epidemie. Kam jste pokročili ve skriptech?
mtmr

Re: Pondělní sessions?

Příspěvek od mtmr »

Ajta, já taky z jistých důvodů také nedorazil... Nu, to to muselo vypadat. Tak se pokusím být na místě alespoň místo přednášky. (Kdo si toto přečte včas má můj obdiv :))
Odpovědět

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