Ask by email, fist_name@ktiml.mff.cuni.cz .
K získání zápočtu je třeba získat celkem 120 bodů. V průběhu semestru budou dva zápočtové testy, každý na 45 minut. První (zhruba v polovině semestru) bude pokrývat část přednášky "Výroková logika", druhý (ke konci semestru) část přednášky "Predikátová logika". (Část přednášky "Pokročilé partie" budou testovány u zkoušky.) Za každý z testů lze získat maximálně 100 bodů. Kromě toho lze získat maximálně 20 bodů aktivitu na cvičeních.
Při přechodu na distanční výuku včasné vypracování domácích úkolů nahradí kontrolu aktivní účasti. I při distanční výuce bychom se pravidelně setkávali nad společným pracovním 'sešitem'.
V případě distanční výuky budete domácí úkoly dostávat a odevzdávat na moodle.
Pokud se přihlášení nedaří, co nejdříve mě kontaktujte emailem (marta.vomlelova...naše fakulta).
|
|
Středa |
Pátek |
Téma |
|
|
1 |
5.10.2022 |
30.9.2022 |
Formule, úvod Příprava na 1.cvičeni |
|
|
2 |
12.10.2022 |
7.10.2022 |
CNF, DNF, Slajdy s přípravou na moodle. |
|
|
3 |
19.10.2022 |
14.10.2022 |
Důsledky teorií |
|
|
4 |
26.10.2022 |
21.10.2022 |
Tablo |
|
|
5 |
2.11.2022 |
|
Rezoluce |
|
|
|
|
4.11.2022 |
|
|
|
6 |
16.11.2022 |
11.11.2022 |
Písemka, Úvod PL |
|
|
7 |
23.11.2022 |
18.11.2022 |
Pravdivost v PL |
|
|
8 |
30.11.2022 |
25.11.2022 |
Tablo v PL |
|
|
9 |
7.12.2022 |
2.12.2022 |
Modely, sémantika PL |
|
|
10 |
14.12.2022 |
9.12.2022 |
Prenex. tvar, skolemizace |
|
|
11 |
21.12.2022 |
16.12.2022 |
Rezoluce v PL |
|
|
12 |
4.1.2023 |
6.1.2023 |
Písemka |