Courses taught using CL

Current term courses

All our courses at FMPHI

• 1-AIN-470 Specification and Verification of Programs
• 2-AIN-266 Declarative Programming
• 2-AIN-285 Symbolic programming and LISP

Bachelor and Diploma Theses

• Subjects of bachelor and diploma theses
• Finished theses

Former Bachelor and Master Study

• 1-AIN-425 Declarative Programming of Web Applications
• 1-AIN-506 Introduction to Declarative Programming
• 1-AIN-616 Symbolic programming and LISP
• 1-AIN-625 Introduction to Mathematical Logic for Programmers
• 1-INF-450 Logic for Computer Scientists
• 1-INF-465 Declarative Programming
• 2-INF-121 Computability Theory
• 2-INF-264 Theory of Declarative Programming

Former Bachelor and Master Study (up to AY 2008/09)

Information on courses for the former Bachelor and Master study programme Informatics is available only in Slovak.

Elsewhere

• Students of DIKU at Copenhagen University used CL in the course Metamathematics of Computer Programming taught by Professor Paul J. Voda in the fall term of 2002.