Theory of Declarative Programming 2-INF-264
Theory of Declarative Programming 2-INF-264
| 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