Skip to main content
Skip header

Logical Procedures and Methods

Type of study Follow-up Master
Language of instruction Czech
Code 151-0474/02
Abbreviation LPMd
Course title Logical Procedures and Methods
Credits 4
Coordinating department Department of Mathematical Methods in Economics
Course coordinator doc. Ing. Václav Friedrich, Ph.D.

Subject syllabus

In the combined form of educations students work independently using the study materials that are prepared for this purpose. they comply the credit challenges that are comparable to full-time study, only the written test is changed into the individual self-test.

TOPICS - THEORY :

1 Introduction
2 Introduction to Modern Logic
3 Simple logical tasks
4 Classical propositional logic
5 Predicate Logic
6 logical role of the statements and predicates
7 Boolean algebra in solving logical tasks
8 The set logic and cardinality
9 Solution of logical tasks using a sets
10 Syllogisms and their solutions

TOPICS - Practical:

11 Thought process and mental mapping
12 The creative mind maps on the path to success
13 Construction Algorithm in LOGO
14 From the turtle graphics to fractal geometry
15 Fractal geometry and chaos
16 LOGO as a learning system
17 Formal theory and knowledge
18 Querying Prolog
19 Knowledge building in Prolog

E-learning

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

Literature

FRIEDRICH, Václav a Renata MAJOVSKÁ. Study materials for Logical Procedures and Methods in LMS Moodle. [online] Ostrava: Moodle na EkF-VŠB TU Ostrava, 2009 - 2017.

Advised literature

CARROLL, Lewis. The Game of Logic. Hard Press, 2006. ISBN 978-1406927238 .

RAILSBACK, Steven a Volker GRIMM. Agent-Based and Individual-Based Modeling: A Practical Introduction. Princeton University Press, 2011. ISBN 9780691136745 .