Introduction to Mathematical Logic for Programmers 1-AIN-625
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