Section outline

  • Úvodní informace

    Alle einklappen Alle aufklappen

    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, které by měl mít každý univerzitně vzdělaný člověk. Seznámíme se se základy teorie množin, číselnými obory, se základními algebraickými pojmy (grupa, okruh, těleso) a analytickými pojmy (nekonečná posloupnost, konvergence, limita).

    Kurz má tříhodinovou přednášku (doc. Radek Honzík) a k ní dvouhodinové cvičení (Klára Karasová). Níže budou uváděna probraná témata v přednáškách i cvičeních.

  • Doporučená literatura

    Ke kurzu jsou k dispozici skripta.

    • Stručná verze ve formě prezentace.
    • Podrobná skripta (datovaná z roku 2018)

    Ve skriptech najdete více informací a také kontext. Co se bude zkoušet bude upřesněno podle toho, co projdeme.

  • Co se zkouší

    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).

    • 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.2, 5.3
    • Kapitoly 6.1, 6.2
    • Věta 6.31 včetně definice spojitosti a definice 6.30.