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