Notice
This page is located in a preparation section till 16.02.2026.

Přednášky

Na této stránce budou s předstihem specifikována témata jednotlivých přednášek. U tematických bloků budou k disposici učební materiály.

Časový plán

č.t. Datum Téma Materiály
1 16. 2. Úvodní přednáška. Syntax výrokové logiky. Lecture notes - syntax výrokové logiky.
1 17. 2. Přirozená dedukce ve výrokové logice. Lecture notes - přirozená dedukce ve výrokové logice.
2 23. 2. Sémantika výrokové logiky.
3 2. 3. Sémantika výrokové logiky.
3 3. 3. Sémantika výrokové logiky.
4 9. 3. Predikátová logika.
5 16. 3. Predikátová logika.
5 17. 3. Predikátová logika.
6 23. 3. Predikátová logika.
7 30. 3. Predikátová logika.
7 31. 3. Predikátová logika.
8 6. 4. Přednáška odpadá (svátek).
9 13. 4. Teorie grafů.
9 14. 4. Teorie grafů.
10 20. 4. Teorie grafů.
11 27. 4. Teorie grafů.
11 28. 4. Teorie grafů.
12 4. 5. Teorie grafů.
13 11. 5. Teorie grafů.
13 12. 5. Teorie grafů.
14 15. 5. Teorie grafů.

Staré nahrávky

courses/b0b01lgr/lectures/start.txt · Last modified: 2026/02/13 14:14 by dostamat