m (Replacing page with 'generic page')
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{Course
+
generic page
  | 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 = doc. RNDr. Paul J. Voda, CSc., RNDr. Ján Kľuka
+
  | 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
+
  | 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 in [[Bachelor program in Applied Informatics]]
+
  | recommendations = none
+
}}
+

Latest revision as of 15:30, 24 August 2008

generic page