Skip to main content
Skip header
Terminated in academic year 2007/2008

Modeling and Formalization Theory

Type of study Master
Language of instruction Czech
Code 545-0450/02
Abbreviation TMaF
Course title Modeling and Formalization Theory
Credits 5
Coordinating department Department of Economics and Control Systems
Course coordinator prof. Ing. Alois Burý, CSc.

Subject syllabus

1) Pragmatická definice systému, výpověď, reálná reprezentace, algebraická
struktura, konstrukce struktur, grafická implementace grafu, multigrafu,
metagrafu
2) Algebra logiky, formule, tautologie, kvantifikátory, výroková analýza
textu
3) Popis jako relace, operace s výpověďmi, kvaziordinální funkce, binární
relace, užití operátorů algebry popisu
4) Množinová algebra, algebra datového pole, úlohy řešené pomocí množinové
algebry
5) Neurčitost reálných objektů, vícehodnotová logika, operace a operátory
neurčitosti
6) Základní schémata řízení, implementace, skládání a dekompozice modelů
řízení
7) Všeobecné úlohy popisu, nestandardní operace, konstrukce a užití
operátorů
8) Modely implicitních konfliktů, úlohy multikriteriálních výběrů
9) Modely explicitních konfliktů
10) Úlohy maticových her
11) Modely spotřeby zdrojů a zásob, Wilsonovy a Bellmanovy modely
12) Alokace a bilance, Kotzigovy modely, Leontiffův model
13) Lhůtové projekty a spotřeba zdrojů, využití rezerv a histogramů

Literature

No literature has been specified for this subject.

Advised literature

No advised literature has been specified for this subject.