Teoretické princípy informatických vied

Študijné programy

Informácie o výučbe

Vyučujúci

vedúci záverečnej práce

Rozvrh

Výsledky vzdelávania

Absolvovaním predmetu získa doktorand znalosti z teoretických princípov hospodárskej informatiky a informácie o najnovších trendoch výskumu a vývoja v príslušnej vednej oblasti, ktorá je predmetom jeho výskumnej práce. Získané vedomosti preukáže pri absolvovaní dizertačnej skúšky.

Stručná osnova predmetu

Konkrétna osnova predmetu sa individuálne stanoví podľa zamerania doktoranda v závislosti od skúmanej oblasti hospodárskej informatiky. Obsahuje však aj tieto základné témy: - Vybrané kapitoly z matematickej logiky: modálne logiky, temporálne logiky, fuzzy logika - Vybrané kapitoly z diskrétnej matematiky - Kryptografia a abstraktné modely bezpečnosti informácií a informačných systémov - Kvantová informatika - Modely výpočtov, teória sekvenčných a paralelných algoritmov (programov), miery zložitosti - Reprezentácia znalostí - Formálne špecifikácie systémov: procesné algebry, algoritmické algebry, Petriho siete , kategorické algebry, B AMN.

Podmienky na absolvovanie

Spôsob hodnotenia a skončenia štúdia predmetu: Zápočet Priebežné hodnotenie (PH): Záverečné hodnotenie (ZH): Študent prospeje v ZH a úspešne vykoná skúšku, keď splní podmienku získať min. 1u z 1u. Predmet sa v odporúčanom semestri hodnotí udelením Zápočtu účasťou a to na konci skúškového obdobia. Záverečné hodnotenie predmetu, ktoré je súčasťou štátnej skúšky v rámci obhajoby písomnej práce k dizertačnej skúške pre 3. stupeň, sa hodnotí vyjadrením „prospel“ alebo „neprospel“. Celkové hodnotenie: CH je suma hodnotení získaných študentom za hodnotené obdobie. Celkový výsledok sa stanoví v súlade s vnútornými predpismi TUKE. (študijný poriadok, vnútorný predpis zásady doktorandského štúdia)

Odporúčaná literatúra

Základná literatúra sa odporučí doktorandovi podľa skúmanej vednej oblasti a témy dizertačnej práce tak, aby pokryla konkrétnu osnovu predmetu.

Poznámky

The subject is completed individually, usually under the guidance of a supervisor.Planned learning activities: consultations, laboratory work, project workFull-time study: direct contact (10 hours/week): 130 hours, indirect contact: 370 hours, total number: 500 hoursPart-time study: direct contact (130 hours/semester): 130 hours, indirect contact: 370 hours, total number: 500 hours