545-0450/02 – Teorie modelování a formalizace (TMaF)
Garantující katedra | Katedra ekonomiky a systémů řízení | Kredity | 5 |
Garant předmětu | prof. Ing. Alois Burý, CSc. | Garant verze předmětu | prof. Ing. Alois Burý, CSc. |
Úroveň studia | pregraduální nebo graduální | Povinnost | povinný |
Ročník | 1 | Semestr | zimní |
| | Jazyk výuky | čeština |
Rok zavedení | 1999/2000 | Rok zrušení | 2007/2008 |
Určeno pro fakulty | HGF | Určeno pro typy studia | magisterské |
Cíle předmětu vyjádřené dosaženými dovednostmi a kompetencemi
-
Vyučovací metody
Anotace
Povinná literatura:
Doporučená literatura:
Forma způsobu ověření studijních výsledků a další požadavky na studenta
E-learning
Další požadavky na studenta
Prerekvizity
Předmět nemá žádné prerekvizity.
Korekvizity
Předmět nemá žádné korekvizity.
Osnova předmětu
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ů
Podmínky absolvování předmětu
Výskyt ve studijních plánech
Výskyt ve speciálních blocích
Hodnocení Výuky
Předmět neobsahuje žádné hodnocení.