(22 intermediate revisions by the same user not shown) | |||
Riadok 1: | Riadok 1: | ||
{{Person | {{Person | ||
− | | fullname = Ing. Ján Komara | + | | fullname = Ing. Ján Komara, PhD. |
− | | caption = | + | | caption = Jan Komara |
| image = | | image = | ||
| section = Section of Declarative Programming | | section = Section of Declarative Programming | ||
| position = teacher | | position = teacher | ||
| phone = +421 2 602 95 727 | | phone = +421 2 602 95 727 | ||
− | | room = | + | | room = I-16 |
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk | | email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk | ||
| web = [http://ii.fmph.uniba.sk/~komara/ homepage] | | web = [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
Riadok 12: | Riadok 12: | ||
=== Teaching === | === Teaching === | ||
+ | * 1-AIN-121 [[Discrete Mathematics (1)|Discrete Mathematics (1)]] | ||
+ | * 1-AIN-188 [http://dai.fmph.uniba.sk/courses/ma/ Mathematical Analysis] | ||
+ | * 1-AIN-470 [[Specification and Verification of Programs|Specification and Verification of Programs]] | ||
+ | * 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=en Symbolic programming and LISP] | ||
+ | * 2-AIN-266 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-266-dp/?lang=en Declarative Programming] | ||
+ | |||
+ | === Former Teaching === | ||
+ | * 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]] | ||
+ | * 1-AIN-188 [http://dai.fmph.uniba.sk/courses/mat2/ Mathematics (2) - Mathematical Analysis] | ||
+ | <!-- * 1-AIN-188 [[Mathematics 2 - Mathematical Analysis|Mathematics (2) - Mathematical Analysis]] --> | ||
+ | * 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Mathematics (3) - Discrete Mathematics]] | ||
+ | * 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]] | ||
+ | * 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]] | ||
+ | * 1-AIN-210 [[Algorithms and Data Structures|Algorithms and Data Structures]] | ||
+ | * 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]] | ||
+ | * 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=en Symbolic programming and LISP] | ||
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]] | * 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]] | ||
− | + | <!-- * 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers] --> | |
− | * | + | |
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science] | * 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science] | ||
+ | * 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming] | ||
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory] | * 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory] | ||
+ | * 2-INF-264 [[Theory of Declarative Programming|Theory of Declarative Programming]] | ||
=== Research === | === Research === | ||
− | * mathematical logic, theory of computability | + | * mathematical logic, formal arithmetic |
+ | * recursion theory, theory of computability | ||
* theory and practice of declarative programming languages | * theory and practice of declarative programming languages | ||
− | * theorem proving | + | * theorem proving, specification and verification of programs |
=== 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 also [http://ii.fmph.uniba.sk/~komara/ homepage] | ||
+ | * see also [https://www.researchgate.net/profile/Jan_Komara Ján Komara on ResearchGate] | ||
}} | }} |
Aktuálna revízia z 20:12, 22. február 2024
Jan Komara
![]() |
|
Teaching
- 1-AIN-121 Discrete Mathematics (1)
- 1-AIN-188 Mathematical Analysis
- 1-AIN-470 Specification and Verification of Programs
- 2-AIN-285 Symbolic programming and LISP
- 2-AIN-266 Declarative Programming
Former 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-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