Riadok 13: | Riadok 13: | ||
=== Teaching === | === Teaching === | ||
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]] | * 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]] | ||
− | * 1-AIN-188 [[Mathematics 2 - Mathematical Analysis|Mathematics (2) - Mathematical Analysis]] | + | * 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-160 [[Mathematics 3 - Discrete Mathematics|Mathematics (3) - Discrete Mathematics]] | ||
* 1-AIN-210 [[Algorithms and Data Structures|Algorithms and Data Structures]] | * 1-AIN-210 [[Algorithms and Data Structures|Algorithms and Data Structures]] |
Verzia zo dňa a času 12:34, 5. apríl 2018
Jan Komara
|
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-210 Algorithms and Data Structures
- 1-AIN-470 Specification and Verification of Programs
- 2-AIN-285 Symbolic programming and LISP
- 2-AIN-266 Declarative Programming
Former Teaching
- 1-AIN-120 Discrete Mathematics (1)
- 1-AIN-160 Discrete Mathematics (2)
- 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