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.

Hromadna priprava na logiku

Příspěvekod Dr. Eddy » 1. 2. 2012 17:22

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ěvekod Dr. Eddy » 11. 2. 2012 19:09

tak pro zajemce, zitra v nedeli ve 14 hodin ve studovne (prizemi budovy B)...
Dr. Eddy
 


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

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník

cron