Institute of Information Theory and Automation

Logic for Computer Science

Lecturer: Carles Noguera, Ph.D.
Faculty: Fakulta jaderná a fyzikálně-inženýrská ČVUT
Type of course: bakalářský, magisterský
Department: MTR
Semester: letní
Active: yes


Mathematical logic develops and explores flexible formal languages and various concepts of consequence. Many of its results can be used in pratical applications, especially in modeling and solving problems in the field of (theoretical) computer science. The aim of this course is to introduce basic concepts of classical and non-classical logics and their potential for applications in computer science.
Responsible for information: MTR
Last modification: 23.02.2018
Institute of Information Theory and Automation