Zoznam všetkých cieľov

Cvičenia

1. týždeň: Výroková logika - základne pojmy

1. Naštudovať potrebné pojmy z formálneho aparátu výrokovej logiky.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

2. týždeň: Výroková logika - normálne tvary

1. Naštudovať potrebné pojmy z formálneho aparátu výrokovej logiky.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

3. týždeň: Výroková logika - dedukčné kalkuly

1. Naštudovať potrebné pojmy.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

4. týždeň: Výroková logika - rezolučná metóda a SAT problém

1. Naštudovať potrebné pojmy.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

5. týždeň: Predikátová logika - jazyk a sémantika

1. Naštudovať potrebné pojmy z formálneho aparátu predikátovej logiky.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

6. týždeň: Predikátová logika - dedukčné kalkuly

1. Naštudovať potrebné pojmy z formálneho aparátu predikátovej logiky.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

7. týždeň: Predikátová logika - rezolučná metóda

1. Naštudovať potrebné pojmy z formálneho aparátu predikátovej logiky.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

8. týždeň: Predikátová logika - logické programovanie

1. Naštudovať potrebné pojmy z formálneho aparátu predikátovej logiky.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

9. týždeň: Intuicionistická logika a Curry–Howardova korešpondencia

1. Naštudovať potrebné pojmy.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

10. týždeň: Lineárna logika

1. Naštudovať potrebné pojmy.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

11. týždeň: Modálne logiky

1. Naštudovať potrebné pojmy.
2. Preštudovať vzorové príklady prezentované v rámci teoretickej časti.
3. Vypracovať zadané úlohy.

Prolog

Zápočet