167-0308/02 – Logical Consecutions in Modern Manager’s Work (LOGP)
| Gurantor department | Innovative Education Institute | Credits | 3 |
| Subject guarantor | doc. Ing. Václav Friedrich, Ph.D. | Subject version guarantor | doc. Ing. Václav Friedrich, Ph.D. |
| Study level | undergraduate or graduate | Requirement | Choice-compulsory |
| Year | 2 | Semester | winter |
| | Study language | Czech |
| Year of introduction | 2007/2008 | Year of cancellation | 2008/2009 |
| Intended for the faculties | EKF | Intended for study types | Follow-up Master |
Subject aims expressed by acquired skills and competences
• Become acquainted with the logic as one of the classical pillars of European tradition of thinking and learn to work with traditional tools of mathematical logic such as propositional calculus, predicate calculus, the theory of reasoning, etc.
• Study of logic will compel you to reflect on the construction of ideas, the formal correctness of their arguments and evidence. You will learn to create formally correct logical processes and vice versa, to formally identify faulty thought processes, which are in practice, you normally encounter.
• With using cognitive technologies and logical program LOGO you remind the conceptual principles of algorithmic and creative thinking, and constructivism.
• You will learn to work with Prolog program, create databases of logical processes and relationships, and make questions on the knowledge hidden in the database.
Teaching methods
Summary
Sorry this subject has not been taught in English yet.
Compulsory literature:
• FRIEDRICH, Václav – MAJOVSKÁ, Renata: Studijní opory k předmětu Logické postupy v práci moderního manažera. Moodle na EkF-VŠB TU Ostrava, 2009.
POŽADOVANÝ SOFTWARE
NetLOGO – free software, dostupný na WWW: http://ccl.northwestern.edu/netlogo
PIE Prolog - dostupný na WWW: http://www.bitwisemag.com/apps/pie/pie.zip
Microsoft Power Point (nebo Open Office Impress)
Recommended literature:
Way of continuous check of knowledge in the course of semester
E-learning
Other requirements
Prerequisities
Subject has no prerequisities.
Co-requisities
Subject has no co-requisities.
Subject syllabus:
Předmět Logické postupy v práci moderního manažera tvoří 6 tématických modulů
s následující strukturou a obsahem:
A. Povaha a úkoly moderní logiky
Logika jako věda. Základní partie logiky. Logika a jazyk. Logika a pravda.
Dějiny logiky. Logika v ekonomických vědách.
B. Výroková logika
Výroky a výrokové funkce. Jazyk výrokové logiky, formule. Tabulky výrokových
formulí. Tautologie a kontradikce. Disjunktivní a konjunktivní forma.
Minimalizace logických formulí, Booleova algebra. Vlastnosti
výrokové logiky, axiómy Booleovy algebry. Paradoxy výrokové logiky.
C. Predikátová logika a logika tříd
Jazyk predikátové logiky, kvantifikátory. Splňování a pravdivost. Odvozování v
predikátové logice. Teorie tříd, Vennovy diagramy. Sylogismy a jejich
dokazování.
D. Formalizované teorie
Logická struktura teorií. Formální systémy. Teorie prvního řádu, axiomy.
Gödelova úloha. Specifikační jazyk CLEAR.
E. Neklasické a neformální logiky
Vícehodnotové logiky, tříhodnotová logika a její modifikace. Fuzzy logiky.
Intuicionistická logika. Neformální logiky. Princip tolerance.
F. Logika, znalosti a usuzování
Neúplné informace, báze znalostí. Hierarchie dědění vlastností. Teorie s
defaulty, usuzování. Programovací jazyk Prolog. Produkční a expertní systémy.
Každý z uvedených modulů představuje látku v rozsahu cca 2 týdnů. Předmět je
vyučován formou společných presenčních přednášek cvičení a samostudia. Pořadí
modulů při studiu je závazné.
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.