Riadok 43: | Riadok 43: | ||
* see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library] | * see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library] | ||
* see also [http://ii.fmph.uniba.sk/~komara/ homepage] | * see also [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
+ | * see also [https://www.researchgate.net/profile/Jan_Komara Ján Komara on ResearchGate] | ||
}} | }} |
Verzia zo dňa a času 20:41, 23. august 2019
Jan Komara
|
Teaching
- 1-AIN-121 Mathematics (1) - Introduction to Mathematical Reasoning
- 1-AIN-188 Mathematics (2) - Mathematical Analysis
- 1-AIN-160 Mathematics (3) - Discrete Mathematics
- 1-AIN-470 Specification and Verification of Programs
- 2-AIN-285 Symbolic programming and LISP
- 2-AIN-266 Declarative Programming
Former Teaching
- 1-AIN-120 Discrete Mathematics (1)
- 1-AIN-160 Discrete Mathematics (2)
- 1-AIN-210 Algorithms and Data Structures
- 1-AIN-505 Introduction to Declarative Programming
- 1-AIN-616 Symbolic programming and LISP
- 1-AIN-625 Introduction to Mathematical Logic for Programmers
- 1-INF-450 Logic for Computer Science
- 1-INF-465 Declarative Programming
- 2-INF-121 Computability Theory
- 2-INF-264 Theory of Declarative Programming
Research
- mathematical logic, formal arithmetic
- recursion theory, theory of computability
- theory and practice of declarative programming languages
- theorem proving, specification and verification of programs