Přeskočit na hlavní obsah
Přeskočit hlavičku
Zavřít

Vyhledávání

Úvod do logického myšlení

Úvod do logického myšlení
460-2051/01
čeština Úvod do logického myšlení
460-2051/02
angličtina Úvod do logického myšlení
460-2051/03
čeština Úvod do logického myšlení
460-2051/04
angličtina

Summary

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í.

Literature

[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.

Advised literature

[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.


back to search page
Jazyk výuky čeština, angličtina, čeština, anglič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.