Introduction to Mathematical Logic for Programmers/en: Rozdiel medzi revíziami
| Riadok 10: | Riadok 10: | ||
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=en | | webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=en | ||
| teacher = [[Jan Komara|Ing. Ján Komara]] | | teacher = [[Jan Komara|Ing. Ján Komara]] | ||
| − | |||
| − | |||
| description = | | description = | ||
To give mathematical foundations of declarative programming languages. Programs are definitions of recursive functions. Computational model is based on the reduction of terms. Data structures are coded into the domain of natural numbers. The course has computer labs in the programming system CL. | To give mathematical foundations of declarative programming languages. Programs are definitions of recursive functions. Computational model is based on the reduction of terms. Data structures are coded into the domain of natural numbers. The course has computer labs in the programming system CL. | ||
Verzia zo dňa a času 12:23, 20. február 2011
Introduction to Mathematical Logic for Programmers 1-AIN-625
| Course name and code: | Introduction to Mathematical Logic for Programmers (1-AIN-625) |
| Prerequisite courses: | 1-AIN-505 (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): | 40/60 |
| Course webpage: | http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=en |
| Information sheet: | 1-AIN-625 information sheet |
| Teacher(s): | Ing. Ján Komara |
Short description:
To give mathematical foundations of declarative programming languages. Programs are definitions of recursive functions. Computational model is based on the reduction of terms. Data structures are coded into the domain of natural numbers. The course has computer labs in the programming system CL.
Offered in these study programs: Obligatory-optional in Bachelor program in Applied Informatics
Recommendations: none