• DRÁBEK, Jaroslav.Světonázorové problémy v matematice. Díl 1., Matematická logika a formální teorie; Světonázorové problémy spojené s formalizací matematiky; 3. metodologická krize matematiky. Vyd. 1. Plzeň: Pedagogická fakulta, 1987.
• Truth Table Generator - ohodnocování formulí výrokového kalkulu pomocí (tabulky pravdivostních hodnot)
• Tree Proof Generator - ohodnocování formulí predikátového kalkuku, hledání protipříkladů v množinové interpretaci
Last updated:
20.10.2021
Hromek, Petr. Logika v příkladech. 1. vyd. Olomouc: Univerzita Palackého, 2002. 210 s. ISBN 80-244-0578-4. (pozn.: Dříve bylo k dispozici online; v současné době již ne.)
Polák, Josef a Šána, Milan. Přehled středoškolské matematiky. 8. vyd. Praha: Prometheus, 2003. 608 s. ISBN 80-7196-267-8. (pozn.: Lze využít i starší vydání. Jedná se o přehled SŠ matematiky, který je pro příslušné pasáže předmětu dostatečný.)
DRÁBEK, J. Základy elementární aritmetiky pro učitelství 1. stupně ZŠ: Celost. vysokošk. učebnice. 1. vyd. Praha: SPN, 1985. 223 s. Učebnice pro vysoké školy. (pozn.: Učebnice primárně určená pro 1. ročník učitelství 1. st. ZŠ, nicméně úvodní pasáže a řešené příklady se mohou hodit i v tomto kurzu.)
KUBEŠOVÁ, Naděžda a Eva CIBULKOVÁ. Matematika: přehled středoškolského učiva. 2. vyd. Třebíč: Petra Velanová, 2007. Maturita (Petra Velanová). ISBN 978-80-86873-05-3.
