Hromadna priprava na logiku

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.
Dr. Eddy

Hromadna priprava na logiku

Příspěvek od Dr. Eddy »

Ahoj.

Tak pristi termin je jiz nasledujici ctvrtek, takze pojdte se vy, co jeste nemate zkousku uspesne za sebou, sejit a poradne to probrat!

Navrhuji nekdy v pondeli ci v utery ve studovne. Ale je mi to docela jedno, dokud to bude pred zkouskou...

Tak piste vase navrhy...
Dr. Eddy

Re: Hromadna priprava na logiku

Příspěvek od Dr. Eddy »

tak pro zajemce, zitra v nedeli ve 14 hodin ve studovne (prizemi budovy B)...
Odpovědět

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