Katedra aplikovanej informatiky

Ján Komara

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

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

---

Responsible for pages:

• Introduction_to_Mathematical_Logic_for_Programmers
• Jan_Komara
• Mathematics_1_-_Introduction_to_Mathematical_Reasoning
• Specification_and_Verification_of_Programs
• Theory_of_Declarative_Programming