m (New page: {{Course | name = Introduction to Declarative Programming | code = 1-AIN-505 | prerequisites = none | semester = Summer | year = 1 | credits = 4 | form = P - practicals (1), ...)
 
Line 9: Line 9:
 
   | evaluation = 60/40
 
   | evaluation = 60/40
 
   | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk
 
   | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk
   | teacher = doc. RNDr. Paul J. Voda, CSc., RNDr. Ján Kľuka
+
   | teacher = [[Pavol Voda|doc. RNDr. Paul J. Voda, CSc.], [[Jan Kluka|Mgr. Ján Kľuka]]
 
   | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
 
   | email = voda[[Image:zavinac.gif|@]]fmph.uniba.sk, kluka[[Image:zavinac.gif|@]]ii.fmph.uniba.sk
 
   | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka
 
   | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka

Revision as of 14:50, 22 September 2009

{{Course

 | name = Introduction to Declarative Programming
 | code = 1-AIN-505
 | prerequisites = none
 | semester = Summer
 | year = 1
 | credits = 4
 | form = P - practicals (1), C - course (2)
 | evaluation = 60/40
 | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-505-udp/?lang=sk
 | teacher = [[Pavol Voda|doc. RNDr. Paul J. Voda, CSc.], Mgr. Ján Kľuka
 | email = voda@fmph.uniba.sk, kluka@ii.fmph.uniba.sk
 | homepage = http://ii.fmph.uniba.sk/~voda/ http://ii.fmph.uniba.sk/~kluka
 | description = The aim is to present computer programming as a mathematical discipline where the definition of programs are definitions of computable functions over the domain of natural numbers. Data structures are coded as number in a natural style of LISP. The course has computer labs in the programming and verification system CL.
 | offered_in = Obligatory-optional in Bachelor program in Applied Informatics
 | recommendations = none

}}