Osnova sekce

  • Pojmy, definice, věty: množina (intuitivní přístup – naivní Cantorova teorie množin), způsob zadání množiny, rovnost množin, inkluze množin, operace s množinami a jejich vlastnosti, sjednocení, průnik, rozdíl, symetrický rozdíl, doplněk, disjunktní množiny, potenční množina, de Morganovy vzorce, grafické znázornění množin, mohutnost množiny, spočetnost a nespočetnost. Russelův paradox (princip). Sumy a produkty. Uspořádaná dvojice, kartézský součin, relace a jejich vlastnosti, zobrazení, typy zobrazení, složené zobrazení, funkce, posloupnost. Složená a inverzní funkce. Princip inkluze a exkluze.
    Důkazy: věta o počtu prvků potenční množiny n-prvkové množiny, de Morganova pravidla.