Jan Komara/en: Rozdiel medzi revíziami
| Riadok 1: | Riadok 1: | ||
{{Person | {{Person | ||
| − | | fullname = Ing. Ján Komara | + | | fullname = Ing. Ján Komara, PhD. |
| caption = Ján Komara | | caption = Ján Komara | ||
| image = | | image = | ||
| Riadok 6: | Riadok 6: | ||
| 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] | ||
Verzia zo dňa a času 12:19, 20. február 2011
Ján Komara
|
|
Teaching
- 1-AIN-120 Discrete Mathematics (1)
- 1-AIN-160 Discrete Mathematics (2)
- 1-AIN-505 Introduction to Declarative Programming
- 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