Celkem (h)	Př.	Cv.	Lab.	Sem.	Kurzy	Praxe	Stáže	Soustř.	Exkurze	Terén	SP	Konzultace	PV
Základy výrokové logiky	12	6	6	0	0	0	0	0	0	0	0	0	0	0
Normální formy ve výrokové logice	12	6	6	0	0	0	0	0	0	0	0	0	0	0
Základy predikátové logiky	12	6	6	0	0	0	0	0	0	0	0	0	0	0
Odvozovací systém	12	6	6	0	0	0	0	0	0	0	0	0	0	0
Konečné automaty	8	4	2	2	0	0	0	0	0	0	0	0	0	0
Základy diferenciálního počtu jedné reálné proměnné	12	6	6	0	0	0	0	0	0	0	0	0	0	0
Základy integrálního počtu jedné reálné proměnné	14	6	6	2	0	0	0	0	0	0	0	0	0	0
Číselné posloupnosti a číselné řady	8	4	4	0	0	0	0	0	0	0	0	0	0	0

Povinná:
Kuben, J. Diferenciální počet funkcí jedné proměnné. Skriptum. 1. vydání. Brno: Univerzita obrany, 2015. viii+333 s. Dostupné v knihovně UO pod číslem S-3854. ISBN 978-80-7231-991-6
Kuben, J., Hošková, Š. Integrální počet funkcí jedné proměnné. Skriptum. 1. vydání. Brno: Univerzita obrany, 2004. vi+197 s. Dostupné v knihovně UO pod číslem S-368. ISBN 978-80-85960-75-3
Potůček, R. Úvod do číselných a funkčních řad. Skriptum. 1. vydání. Brno: Univerzita obrany, 2010. iii+111 s.
Adámek, J. Matematika pro vysoké školy technické – sešit XXXI. Kódování. 1. vydání. Praha: SNTL, 1989. 191 s. Do-stupné v knihovně UO pod číslem S-2670/28

Doporučená:
Birkhoff, G., Bartee, T. Aplikovaná algebra. 1. vydání. Bratislava: Alfa, 1981. 389 s
Kučera, A. Matematická logika: Materiály ke kurzu MA007 [online]. 2016 [cit. 2018-02-16]. Dostupné z: https://www.fi.muni.cz/usr/kucera/teaching/logic/log.pdf
Kolář, J., Štěpánková, O., Chytil, M. Logika, algebry a grafy. 1. vydání. Praha: STNL, 1989. 434 s