(New page: {{Person | fullname = Ing. Ján Komara | caption = Ján Komara | image = | section = Oddelenie deklaratívneho programovania | position = učiteľ | phone = (+421 2 60...)
 
(28 intermediate revisions by 3 users not shown)
Riadok 1: Riadok 1:
 
{{Person
 
{{Person
   | fullname = Ing. Ján Komara
+
   | fullname = Ing. Ján Komara, PhD.
   | caption  = Ján Komara
+
   | caption  = Jan Komara
 
   | image    =  
 
   | image    =  
   | section  = Oddelenie deklaratívneho programovania
+
   | section  = Section of Declarative Programming
   | position = učiteľ
+
   | position = teacher
   | phone    = (+421 2 602 95) 727
+
   | phone    = +421 2 602 95 727
   | room    = i16
+
   | 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]
}}
+
  | info    =
=== Výučba ===
+
* ''chýba''
+
  
=== Výskum ===
+
=== Teaching ===
* ''chýba''
+
* 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-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]
  
=== Publikácie ===
+
=== Former Teaching  ===
* ''chýbajú''
+
* 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]]
 +
<!-- * 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-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-264 [[Theory of Declarative Programming|Theory of Declarative Programming]]
  
<!--
+
=== Research ===
=== ===
+
* mathematical logic, formal arithmetic
<div style="font-size:7pt;">
+
* recursion theory, theory of computability
----
+
* theory and practice of declarative programming languages
Zodpovedný za stránky:
+
* theorem proving, specification and verification of programs
*  
+
 
</div>
+
===  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]
 +
}}

Verzia zo dňa a času 20:41, 23. august 2019

Jan Komara

Photo of Jan Komara
Name: Ing. Ján Komara, PhD.
teacher
Section: Section of Declarative Programming
Phone: +421 2 602 95 727
Email: komara@fmph.uniba.sk
Office: I-16
Address: Ing. Ján Komara, PhD.
Department of Applied Informatics
FMFI UK
Mlynská dolina
824 48 Bratislava
Slovakia
Web: homepage

Teaching

Former Teaching

Research

  • mathematical logic, formal arithmetic
  • recursion theory, theory of computability
  • theory and practice of declarative programming languages
  • theorem proving, specification and verification of programs

Publications