Přednášky

Časový plán

č.t.	Datum	Téma	Materiály
1	20. 2.	Úvodní přednáška. (2022)	Připomeňte si matematickou indukci. Kapitola z DMA. Přednáška DMA: Indukce. Přednáška DMA: Induktivní definice.
1	21. 2.	Syntax výrokové logiky.	Lecture notes - syntax výrokové logiky.
2	27. 2.	Přirozená dedukce.	Lecture notes - přirozená dedukce ve výrokové logice.
3	6. 3.	Přirozená dedukce a sémantika výrokové logiky.	Slides k sémantice výrokové logiky.
3	7. 3.	Sémantika výrokové logiky, sémantický důsledek.
4	13. 3.	Sémantický důsledek, korektnost a úplnost, booleovské funkce, DNF.
5	20. 3.	Syntax predikátové logiky.	Slides k syntaxi predikátové logiky. Kapitola 3.1, část se syntaxí predikátové logiky. Místo nulárních funkčních symbolů používáme konstantní symboly, místo specifikace množiny proměnných používáme předem danou spočetnou množinu proměnných.
5	21. 3.	Přirozená dedukce v predikátové logice.
6	27. 3.	Přirozená dedukce v predikátové logice.
7	3. 4.	Sémantika predikátové logiky.
7	4. 4.	Sémantika predikátové logiky.	Lecture notes.
8	10. 4.	Státní svátek. Přednáška odpadá.
9	17. 4.	Sémantika predikátové logiky.
9	18. 4.	Základní pojmy teorie grafů.	Podklady k přednášce.
10	24. 4.	Isomorfismus, cesty, souvislost, eulerovské grafy.	Podklady k přednášce. Videopřednáška 1, videopřednáška 2. Poznámka: eulerovské grafy byly odpřednášeny až 9. 5.
11	1. 5.	Státní svátek. Přednáška odpadá.
11	2. 5.	Stromy, kostry.	Podklady k přednášce.
11	4. 5. (čtvrtek)	Algoritmy pro hledání minimální kostry.	Podklady k přednášce.
12	8. 5.	Státní svátek. Přednáška odpadá.
12	9. 5. (úterý)	Eulerovské grafy.	Podklady k přednášce. Alternativní videopřednáška.
13	15. 5.	Barvení grafu a nezávislost.	Alternativní podklady k přednášce. Alternativní videopřednáška.
13	16. 5.	Orientované grafy. Orientované grafy a silná souvislost.	Orientované grafy. Silná souvislost. Alternativní videopřednáška.
14	22. 5.	Algoritmus Kosaraju-Sharir.	Kosaraju-Sharir: důkaz korektnosti algoritmu (ke zkoušce nepovinné).

Playlist přednášek (2022).

Pokročilá četba pro zájemce

Per Martin-Löf, On the meanings of the logical constants and the justifications of the logical laws, dostupné online: filosoficko-logický text vysvětlující význam logických spojek intuicionistickým pohledem.
Neil Tennant, Negation, absurdity and contrariety, dostupné online : filosoficko-logický text útočící na naše používání symbolu pro “spor”. Pohled logika zabývajícího se “relevantními” logikami.
Francis Jeffry Pelletier, Norman M. Martin, Post's functional completeness theorem, dostupné online: čitelný článek rozebírající Postovu větu o úplných systémech logických spojek. Jak systematicky rozpoznávat, které systémy logických spojek úplné jsou a které ne?

Table of Contents

Přednášky

Časový plán

Pokročilá četba pro zájemce