Theory of Declarative Programming 2-INF-264

Theory of Declarative Programming 2-INF-264

go to list of all courses...

Course name and code: Theory of Declarative Programming (2-INF-264)
Prerequisite courses: either 1-AIN-505 or 1-INF-465 or 2-INF-265 (recommended)
Available in/recommended study year: Winter semester / 2
Form and # of hours/week: L - lecture (2), P - practicals (2)
Credits: 6
Evaluation (semester/exam): 100/0
Course webpage: http://ii.fmph.uniba.sk/cl/view/courses/2-INF-264-tdp/?lang=en
Information sheet: 2-INF-264 information sheet
Teacher(s): Ing. Ján Komara, PhD.

Short description:

To give mathematical foundations of declarative programming languages.

Offered in these study programs: Obligatory-optional in Master program in Applied Informatics and in Master program in Informatics

Recommendations: žiadne