[1] DEVLIN, Keith. Introduction to mathematical thinking. Plzeň: Vydavatelství Západočeské univerzity v Plzni, 2012. ISBN 978-061-5653-631.
[2] VOPĚNKA, Petr. Úvod do klasické teorie množin. Plzeň: Vydavatelství Západočeské univerzity v Plzni, 2011. ISBN 978-80-253-1251-3.
Úvod do logického myšlení
| Jazyk výuky | angličtina, čeština |
|---|---|
| Kód | 460-2051 |
| Zkratka | ULM |
| Název předmětu česky | Úvod do logického myšlení |
| Název předmětu anglicky | Introduction to Logical Thinking |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | Mgr. Marek Menšík, Ph.D. |
Anotace
Předmět je koncipován formou seznámení se základními pojmy v oblasti teoretické informatiky, a to zejména diskrétních matematických struktur, které jsou pak využívány v reálných aplikacích. Spojuje aplikaci oblastí teorie množin, základů matematické logiky a důkazových technik. Předmět bude veden formou nejen teoretickou, ale také s návazností na praktické využití, aby studenti za každým teoretickým systémem viděli konkrétní praktické využití.
Povinná literatura
Doporučená literatura
[1] SOCHOR, Antonín. Logika pro všechny ochotné myslet: modelling and reasoning about systems. V Praze: Univerzita Karlova, 2011. ISBN 978-80-246-1959-0.
[2] ŠVEJDAR, Vítězslav. Logika, neúplnost, složitost a nutnost. Praha: Academia, 2002. ISBN 978-80-200-1005-6 .
[3] HUTH, Michael a Mark RYAN. Logic in computer science: modelling and reasoning about systems. 2nd ed. New York: Cambridge University Press, 2004. ISBN 978-0521543101.
[2] ŠVEJDAR, Vítězslav. Logika, neúplnost, složitost a nutnost. Praha: Academia, 2002. ISBN 978-80-200-1005-6 .
[3] HUTH, Michael a Mark RYAN. Logic in computer science: modelling and reasoning about systems. 2nd ed. New York: Cambridge University Press, 2004. ISBN 978-0521543101.