Difference between revisions of "Jan Komara/en"
| Line 14: | Line 14: | ||
* 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]] | ||
| − | * 1-INF-465 | + | * 1-INF-465 Declarative Programming |
| − | * 1-INF-450 | + | * 1-INF-450 Logic for Computer Science |
| − | * 2-INF-121 | + | * 2-INF-121 Computability Theory |
=== Research === | === Research === | ||
Revision as of 16:31, 8 September 2008
Ján Komara
|
|
Teaching
- 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, theory of computability, formal arithmetic
- theory and practice of declarative programming languages
- theorem proving
Publications
- none