Seminář diskrétní matematiky a logiky

• 13 hod. seminář

Cílem je zopakovat a případně doplnit znalost pro informatiku základních pojmů diskrétní matematiky a matematické logiky, procvičit použití základního matematického aparátu a  jazyka.

Informatika je vybudována na diskrétní matematice a logice. Povědomí o jejich základních pojmech je důležité pro orientaci ve všech oblastech informatiky, zejména na pokročilejší úrovni, pro orientaci v odborné literatuře, v diskusích, pro schopnost precizního a srozumitelného vyjádření komplikovaných myšlenek a konceptů, specifikaci systémů a jejich vlastností.

Kurz je koncipován jako opakování základů, předchozí kontakt s disktrétní matematikou a logikou na vysokoškolské úrovni je tedy vhodný, ne však zcela nutný.

• Hliněný, P., Úvod do informatiky. Elportál, Brno, 2010.
• Kovár, M.,  Diskrétní matematika, FEKT VUT, Brno, 2013
• Anderson I., A First Course in Discrete Mathematics, Springer-Verlag, London 2001.
• Grimaldi R. P., Discrete and Combinatorial Mathematics, Pearson Addison Valley, Boston 2004.
• Grossman P., Discrete mathematics for computing, Palgrave Macmillan, New York 2002.
• Kolibiar, M. a kol., Algebra a príbuzné disciplíny, Alfa, Bratislava, 1992.
• Kolman B., Busby R. C., Ross S. C., Discrete Mathematical Structures, Pearson Education, Hong-Kong 2001.
• Klazar M., Kratochvíl J, Loebl M., Matoušek J. Thomas R., Valtr P., Topics in Discrete Mathematics, Springer-Verlag, Berlin 2006.
• Matoušek J., Nešetřil J., Kapitoly z diskrétní matematiky, Karolinum, Praha 2007.
• Matoušek J., Nešetřil J., Invitation to Discrete Mathematics, Oxford University Press, Oxford 2008.
• O'Donnell, J., Hall C., Page R., Discrete Mathematics Using a Computer, Springer-Verlag, London 2006.
• Sochor, A., Klasická matematická logika, Karolinum, Praha 2001.

1. Základní úvod do množin, relací, a funkcí.            
2. Základní úvod do množin, relací, a funkcí, cvičení.   
3. Výroková a predikátová logika.                          
4. Výroková a predikátová logika, cvičení.               
5. Logický důkaz a logické systémy.                        
6. Algebraické struktury s jednou a dvěma operacemi.     
7. Logické systémy a algebra, cvičení.                  

(seminář beží v prvních 7 týdnech semestru)

• Písemný test na konci předmětu ohodnocený max. 100 body. Test bude vypsán ve dvou termínech, student tedy může mít až dva pokusy k získání zápočtu (pokud se obou termínů zúčastní).
• Pokud se student nemůže obou testů z vážného důvodu (například pro nemoc) zúčastnit a tento důvod doloží v souladu s Článkem 55 Studijního a zkušebního řádu VUT, bude individuálně přezkoušen.
• V průběhu semestru mohou být zadány dobrovolné domácí úlohy, bodované dle náročnosti (jejich vypracování není nutné k absolvování předmětu).

Získání alespoň 50 bodů z písemného testu (a případně dobrovolných domácích úloh).