| Riadok 27: | Riadok 27: | ||
=== Publications === | === Publications === | ||
| + | * thesis [http://ii.fmph.uniba.sk/~komara/online/thesis/ Specification and Verification of Programs in Peano Arithmetic] | ||
* 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] | ||
}} | }} | ||
Verzia zo dňa a času 21:17, 4. jún 2010
Ján Komara
|
|
Teaching
- 1-AIN-120 Discrete Mathematics (1)
- 1-AIN-160 Discrete Mathematics (2)
- 1-AIN-625 Introduction to Mathematical Logic for Programmers
- 1-AIN-470 Specification and Verification of Programs
- 1-INF-465 Declarative Programming
- 1-INF-450 Logic for Computer Science
- 2-INF-121 Computability Theory
Research
- mathematical logic, formal arithmetic
- recursion theory, theory of computability
- theory and practice of declarative programming languages
- theorem proving, specification and verification of programs