Institute of Information Theory and Automation

You are here

Logic for Computer Science

Faculcy: 
Fakulta jaderná a fyzikálně-inženýrská ČVUT
Semester: 
letní
Course type: 
bakalářský
magisterský
Current: 
Ano
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.
2018-02-23 09:40