545-0450/02 – Teorie modelování a formalizace (TMaF)

Garantující katedraKatedra ekonomiky a systémů řízeníKredity5
Garant předmětuprof. Ing. Alois Burý, CSc.Garant verze předmětuprof. Ing. Alois Burý, CSc.
Úroveň studiapregraduální nebo graduálníPovinnostpovinný
Ročník1Semestrzimní
Jazyk výukyčeština
Rok zavedení1999/2000Rok zrušení2007/2008
Určeno pro fakultyHGFUrčeno pro typy studiamagisterské
Výuku zajišťuje
Os. čís.JménoCvičícíPřednášející
BUR50 prof. Ing. Alois Burý, CSc.
Rozsah výuky pro formy studia
Forma studiaZp.zak.Rozsah
prezenční Zápočet a zkouška 2+2
kombinovaná Zápočet a zkouška 6+6

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

Prezenční forma (platnost od: 1960/1961 letní semestr)
Název úlohyTyp úlohyMax. počet bodů
(akt. za podúlohy)
Min. počet bodůMax. počet pokusů
Zápočet a zkouška Zápočet a zkouška 100 (100) 51 3
        Zápočet Zápočet 33 (33) 0 3
                Projekt Projekt 33  0 3
        Zkouška Zkouška 67 (67) 0 3
                Písemná zkouška Písemná zkouška 30  0 3
                Ústní zkouška Ústní zkouška 37  0 3
Rozsah povinné účasti:

Zobrazit historii

Podmínky absolvování předmětu a účast na cvičeních v rámci ISP:

Zobrazit historii

Výskyt ve studijních plánech

Akademický rokProgramObor/spec.Spec.ZaměřeníFormaJazyk výuky Konz. stř.RočníkZLTyp povinnosti
2007/2008 (N2102) Nerostné suroviny (3902T033) Systémové inženýrství v oblasti surovin P čeština Ostrava 1 povinný stu. plán
2007/2008 (N2102) Nerostné suroviny (3902T033) Systémové inženýrství v oblasti surovin K čeština Most 1 povinný stu. plán
2006/2007 (N2102) Nerostné suroviny (3902T033) Systémové inženýrství v oblasti surovin P čeština Ostrava 1 povinný stu. plán
2006/2007 (N2102) Nerostné suroviny (3902T033) Systémové inženýrství v oblasti surovin K čeština Most 1 povinný stu. plán
2005/2006 (N2102) Nerostné suroviny (3902T033) Systémové inženýrství v oblasti surovin P čeština Ostrava 1 povinný stu. plán

Výskyt ve speciálních blocích

Název blokuAkademický rokForma studiaJazyk výuky RočníkZLTyp blokuVlastník bloku

Hodnocení Výuky

Předmět neobsahuje žádné hodnocení.