View source for Introduction to Declarative Programming

<small>[[List of All Courses Provided by Department of Applied Informatics|go back to list of subjects...]]</small>

{{Course
  | name = Introduction to Declarative Programming
  | code = 1-AIN-505
  | prerequisites = none
  | semester = Summer
  | year = 1
  | credits = 4
  | form = P - lecture, C - exercise
  | hours = 1, 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/
}}

Short 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.
<br><br>
''Offered in these study programs:'' Obligatory in [[Bachelor program in Applied Informatics]]