Nemáte oprávnenie upravovať túto stránku z nasledovných dôvodov: Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Činnosť, ktorú požadujete, môže vykonať iba člen skupiny: Používatelia. Môžete si zobraziť a kopírovať zdroj tejto stránky: <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 (1), C - exercise (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/ | 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 }} Späť na Introduction to Declarative Programming. ← Introduction to Declarative Programming