545-0450/02 – Modeling and Formalization Theory (TMaF)
| Gurantor department | Department of Economics and Control Systems | Credits | 5 |
| Subject guarantor | prof. Ing. Alois Burý, CSc. | Subject version guarantor | prof. Ing. Alois Burý, CSc. |
| Study level | undergraduate or graduate | Requirement | Compulsory |
| Year | 1 | Semester | winter |
| | Study language | Czech |
| Year of introduction | 1999/2000 | Year of cancellation | 2007/2008 |
| Intended for the faculties | HGF | Intended for study types | Master |
Subject aims expressed by acquired skills and competences
-
Teaching methods
Summary
Compulsory literature:
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:
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ů
Conditions for subject completion
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.