Ukončeno v akademickém roce 2022/2023

Logické postupy a metody

Typ studia	navazující magisterské
Jazyk výuky	čeština
Kód	151-0344/02
Zkratka	LPM
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

OSNOVA PŘEDNÁŠEK:

1. Úvod do moderní logiky
2. Proces myšlení a mentální mapování
3. Klasická výroková logika
4. Predikátová logika
5. Množinová logika a mohutnost
6. Sylogismy a jejich řešení
7. Formální teorie a znalosti

OSNOVA CVIČENÍ:

1. Úvod do předmětu
2. Jednoduché logické úlohy
3. Logické úlohy s výroky a predikáty
4. Booleova algebra při řešení logických úloh
5. Tvůrčí mentální mapy na cestě k úspěchu
6. Stavba algoritmů v jazyce LOGO
7. Od želví grafiky k fraktální geometrii
8. LOGO jako učící se systém
9. Řešení logických úloh s využitím množin
10. Sylogismy a jejich dokazování
11. Dotazování v jazyce Prolog
12. Budování znalostí v jazyce Prolog

Cvičení ve 13. a 14. týdnu slouží jako rezerva a pro splnění povinných zápočtových úkolů.

E-learning

Výuka probíhá s e-learningovou podporou 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. .

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

BUZAN, Tony. Mentální mapování. Praha: Portál, 2007. 165 stran. ISBN 978-80-7367-200-3.

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.

zpět na vyhledávání