CL Homepage | Dept. of Appl. Inf. (AI and DP) | Faculty of Math., Physics, and Inf. | Comenius Univ. Bratislava | Slovakia

Courses taught using CL

Current Term

• 1-AIN-425 Declarative Programming of Web Applications Winter 2010/11
• 1-AIN-625 Introduction to Mathematical Logic for Programmers Winter 2010/11*
• 1-INF-450 Logic for Computer Scientists Winter 2010/11*

News

News available only in Slovak.
Novinky uvidíte, keď prepnete jazyk stránky na slovenčinu.

Bachelor and Diploma Theses

• Subjects of bachelor and diploma theses
• Finished theses

Bachelor Study

• Applied informatics

  • 1-AIN-505 Introduction to Declarative Programming
  • 1-AIN-425 Declarative Programming of Web Applications
  • 1-AIN-625 Introduction to Mathematical Logic for Programmers*
  • 1-AIN-470 Specification and Verification of Programs

• Informatics

  • 1-INF-465 Declarative Programming
  • 1-INF-450 Logic for Computer Scientists*
  • 1-AIN-470 Specification and Verification of Programs

Master Study

• Applied informatics

  • 2-INF-121 Computability Theory

• Informatics

  • 2-INF-121 Computability Theory
  • 1-AIN-470 Specification and Verification of Programs

Former Bachelor and Master Study

Information on courses for the Bachelor and Master study programme Informatics, now in termination, 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.