Verzia zo dňa a času 10:15, 12. december 2014 (zobraziť zdroj) Kluka (Diskusia | príspevky) (Aktualizacia miestnosti a klapky) ← Predchádzajúca úprava		Aktuálna revízia z 16:18, 20. február 2017 (zobraziť zdroj) Kluka (Diskusia | príspevky) (Courses updated)
Riadok 12:		Riadok 12:
	=== Teaching ===		=== Teaching ===
−	* [[Introduction to Declarative Programming]]	+	* [[Course:Mathematics 4|Mathematics (4) – Logic for Computer Science]]
−	* [[Declarative Programming of Web Applications]]	+	* [https://sluzby.fmph.uniba.sk/infolist/en/2-AIN-111_15.html Web Technologies and Methodology]
		+	* [https://sluzby.fmph.uniba.sk/infolist/en/1-AIN-510_15.html Linux – Principles and Means]
	=== Research ===		=== Research ===

---

Aktuálna revízia z 16:18, 20. február 2017

Ján Kľuka

Teaching

• Mathematics (4) – Logic for Computer Science
• Web Technologies and Methodology
• Linux – Principles and Means

Research

• declarative programming techniques & implementation
• logic
• theorem proving
• description logics

Publications

• see homepage