Difference between revisions of "Jan Komara/en"
| Line 22: | Line 22: | ||
* theory and practice of declarative programming languages | * theory and practice of declarative programming languages | ||
* theorem proving | * theorem proving | ||
| − | |||
=== Publications === | === Publications === | ||
* ''none'' | * ''none'' | ||
}} | }} | ||
Revision as of 16:52, 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