Uvod do matematiky
Section outline
-
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í (Adam Furstenzeller, ak. rok 2025-26). Níže budou uváděna probraná témata v přednáškách i cvičeních.
-
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.
-
- Přednáška 29.9.: Důkaz iracionality odmocniny ze dvou, úvod do teorie množin (jazyk, axiom extenzionality, dvojice, potence)
- Seminář 30.9.: Organizační záležitosti, struktura důkazu sporem a přímého důkazu, základní operace s množinami