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

Basic informations

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

Project name (Slovak): Kategorické štruktúry a ich aplikácie v informatike

Start of project: 2010

End of project: 2010

Condition of project: Ukončený

Project number: 050-023TUKE-4/2010

Project leader: prof. RNDr. Valerie Novitzká, PhD.

University: Technická univerzita v Košiciach

Department: 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.

Description of original results of the project in English

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.

Financial grant of MŠVVandŠ SR within KEGA

	Financial grant of MŠVVandŠ SR within KEGA	Capital expenditures in €
Drawn in year 2010	1 660,00	0,00
Pumped for the entire period of the project	1 660,00	0,00

List of project outcomes for the entire solution

Publishing activity

Category code	Specific output, name (ISBN, number of pages 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

Final evaluation of the commission KEGA

Splnil ciele.