Riadok 14: Riadok 14:
 
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
 
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
 
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
 
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
 +
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
 
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
 
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
 
* 1-AIN-470 [[Specification and Verification of Programs]]
 
* 1-AIN-470 [[Specification and Verification of Programs]]

Verzia zo dňa a času 11:32, 20. február 2011

Ján Komara

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

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