Jan Komara/en: Rozdiel medzi revíziami
| Riadok 12: | Riadok 12: | ||
=== Teaching === | === Teaching === | ||
| − | * | + | * [[Introduction to Mathematical Logic for Programmers]] |
| + | * [[Specification and Verification of Programs]] | ||
| + | * 1-INF-465 Deklaratívne programovanie | ||
| + | * 1-INF-450 Logika pre informatikov | ||
| + | * 2-INF-121 Teória vypočítateľnosti | ||
=== Research === | === Research === | ||
| − | * | + | * mathematical logic, theory of computability, formal arithmetic |
| + | * theory and practice of declarative programming languages | ||
| + | * theorem proving | ||
| + | |||
=== Publications === | === Publications === | ||
* ''none'' | * ''none'' | ||
}} | }} | ||
Verzia zo dňa a času 15:27, 8. september 2008
Ján Komara
|
|
Teaching
- Introduction to Mathematical Logic for Programmers
- Specification and Verification of Programs
- 1-INF-465 Deklaratívne programovanie
- 1-INF-450 Logika pre informatikov
- 2-INF-121 Teória vypočítateľnosti
Research
- mathematical logic, theory of computability, formal arithmetic
- theory and practice of declarative programming languages
- theorem proving
Publications
- none