Kategorické štruktúry a ich aplikácie v informatike

Základné informácie

Tematická oblasť: komisia č. 3 pre obsahovú integráciu a diverzifikáciu vysokoškolského štúdia

Názov projektu (slovenský): Kategorické štruktúry a ich aplikácie v informatike

Začiatok riešenia projektu: 2010

Koniec riešenia projektu: 2010

Stav projektu: Ukončený

Číslo projektu: 050-023TUKE-4/2010

Vedúci projektu: prof. RNDr. Valerie Novitzká, PhD.

Vysoká škola: Technická univerzita v Košiciach

Pracovisko: Fakulta elektrotechniky a informatiky

Anotácia originálnych výsledkov riešenia projektu v slovenskom jazyku

Výsledkom riešeného projektu je vedecká monografia Kategorické štruktúry a ich aplikácie v informatike, ktorá slovenskému čitateľovi sprístupňuje veľmi aktuálnu problematiku zložitých matematických štruktúr - kategórií. Publikácia je rozdelená do dvoch častí. V prvej časti autori definujú základné pojmy teórie kategórií, ich vlastnosti a ilustrujú ich na množstve príkladov. Druhá časť monografie obsahuje rôzne aplikácie kategorických štruktúr v informatike, napr. pre popis syntaxe a sémantiky typových systémov programovacích jazykov, logických systémov, súbežné procesy a pre popis správania programových systémov.

Anotácia originálnych výsledkov riešenia projektu v anglickom jazyku

The accomplishment of the project is the scientific monograph The Categorical Structures and Their Applications in the Informatics published in Slovak language. The book opens up to the Slovak reader very actual research area of the complex mathematical structures - the categories. Publication consists of two main parts. The authors define basic notions from the category theory with their properties illustrated in many examples in the first part of the book. Various applications of the categorical structures in the informatics like those for description of syntax and semantics of programming language's type system, logical systems, concurrent processes and the  behavioural description of the program systems inhere in the second part of the book.

Finančná dotácia z MŠVVaŠ SR v rámci KEGA

	Finančná dotácia z MŠVVaŠ SR v rámci KEGA	Kapitálové výdavky v €
Čerpané v roku 2010	1 660,00	0,00
Čerpané za celé obdobie riešenia projektu	1 660,00	0,00

Zoznam výstupov projektu za celé obdobie riešenia

Publikačná činnosť

Kód kategórie	Konkrétny výstup, názov (ISBN, počet strán a i.)
AAB	Valerie Novitzká, Viliam Slodičák: Kategorické štruktúry a ich aplikácie v informatike, ISBN 978-80-89284-67-2, 247 strán, vydavateľstvo Equilibria, Košice, august 2010

Záverečné hodnotenie príslušnej komisie KEGA

Splnil ciele.