Osnova sekce

  • Sbalit Rozbalit

    Úvodní informace

    Sbalit vše Rozbalit vše

    V kurzu se seznámíte se základy matematiky, tak jak ji budete potřebovat v dalších kurzech na katedře logiky. Účelem je také získat obecné matematické znalosti.

    Seznámíme se se základními matematickými pojmy (funkce, relace, uspořádání) a se základy teorie množin. Ukážeme si několik nejznámějších tvrzení v matematice a budeme je dokazovat.

    POZNÁMKA: Počínaje zimním semestrem 2026-27 bude zaměření kurzu mírně odlišného od předchozích roků.

    Kurz má tříhodinovou přednášku (doc. Radek Honzík) a k ní dvouhodinové cvičení (Adam Furstenzeller, ak. rok 2026-27). Níže budou uváděna probraná témata v přednáškách i cvičeních.

  • Sbalit Rozbalit

    Doporučená literatura

    Literatura zahrnuje části dvou knih dostupných v českém jazyce. Části těchto knih se objeví v příslušných částech v Moodlu.

    Jiří Matoušek, Jaroslav Nešetřil. Kapitoly z diskrétní matematiky. Karolinum Praha 2002.

    Bohuslav Balcar a Petr Štěpánek. Teorie množin. Academia 2000.

    Části vlastních skript, které pověsím na Moodle.

  • Sbalit Rozbalit

    Co se zkouší (pro hodiny před ZS 2026/27)

    Níže je seznam kapitol ze skript, které je potřeba znát ke zkoušce. Ostatní části skript zkoušet nebudu, ale je dobré je pročíst, protože se vám tím mohou některé věci dát do lepšího kontextu. Očekávám, že budete znát všechny definice, věty a lemmata v uvedených kapitolách. Soustřeďte se na symbolický zápis matematických definic a tvrzení, tak jak je to uvedeno ve skriptech.

    Naučte se látku v těchto kapitolách (včetně znění a důkazů vět a lemmat v těchto kapitolách - hlavně těch, které jsou explicitně jmenovány v probírané látce).

    • Kapitoly 1.1, 1.3
    • Kapitoly 2.1, 2.2
    • Kapitola 3.1
    • Kapitoly 4.1, 4.2, 4.3, 4.4
    • Kapitoly 5.1, 5.3
    • Kapitoly 6.1, 6.2, 6.3, jen základní přehled bez důkazů