Ukončeno v akademickém roce 2022/2023
Logical Procedures and Methods
| Type of study | BachelorFollow-up Master |
|---|---|
| Language of instruction | Czech |
| Code | 151-0474/01 |
| 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. |
Osnova předmětu
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
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.
Povinná literatura
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.