|
|
| Riadok 1: |
Riadok 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-optional in [[Bachelor program in Applied Informatics]]
| + | |
| − | | recommendations = none
| + | |
| − | }}
| + | |
