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

Logické postupy a metody

Typ studia navazující magisterské
Jazyk výuky čeština
Kód 151-0474/02
Zkratka LPMd
Název předmětu česky Logické postupy a metody
Název předmětu anglicky Logical Procedures and Methods
Kreditů 4
Garantující katedra Katedra matematických metod v ekonomice
Garant předmětu doc. Ing. Václav Friedrich, Ph.D.

Osnova předmětu

V kombinovaném studiu student pracuje samostatně s využitím studijních opor, které jsou k tomuto účelu připraveny. Průběžně plní zápočtové úkoly, které jsou srovnatelné s prezenčním studiem. Společně organizovaný test je nahrazen individuálním autotestem.

TÉMATA - TEORETICKÁ:

1. Úvod do předmětu
2. Úvod do moderní logiky
3. Jednoduché logické úlohy
4. Klasická výroková logika
5. Predikátová logika
6. Logické úlohy s výroky a predikáty.
7. Booleova algebra při řešení logických úloh
8. Množinová logika a mohutnost
9. Řešení logických úloh s využitím množin
10. Sylogismy a jejich řešení

TÉMATA – PRAKTICKÁ:

11. Proces myšlení a mentální mapování
12. Tvůrčí mentální mapy na cestě k úspěchu
13. Stavba algoritmů v jazyce LOGO
14. Od želví grafiky k fraktální geometrii
15. Fraktální geometrie a chaos
16. LOGO jako učící se systém
17. Formální teorie a znalosti
18. Dotazování v jazyce Prolog
19. Budování znalostí v jazyce Prolog

E-learning

Výuka je podporována e-learningovým kurzem v CMS Moodle.

Povinná literatura

FRIEDRICH, Václav a Renata MAJOVSKÁ. Elektronické studijní opory k předmětu Logické postupy a metody [online]. Moodle na VŠB TU Ostrava, 2009 - 2017. Dostupné z: http://lms.vsb.cz.

SOUSEDÍK, Prokop. Logika pro studenty humanitních oborů. Třetí vydání. Vyšehrad, Praha 2008. ISBN 978-80-7021-970-6 .

Getting Started with SCRATCH: version 2.0 [online]. MIT Media Lab, 2013. Dostupné z: http://scratch.mit.edu/.

Doporučená literatura

SVATEK, Jan a Ludmila DOSTÁLOVÁ. Logika pro humanistiku. 1. vyd. Dobrá Voda: Aleš Čeněk, 2003. ISBN 80-86473-54-6 .

HILLIS W. Daniel. Vzor v kameni. 1. vyd. Praha 2: Academia, 2003. ISBN 989-80-200-1067-4.

BADGER, Michael. Scratch 1.4: Beginner's Guide. Packt Publishing, 2009. ISBN 978-1-847-1967-67.