Ústav teorie informace a automatizace

Jste zde

Logic for Computer Science

Přednášející: 
Fakulta: 
Fakulta jaderná a fyzikálně-inženýrská ČVUT
Semestr: 
letní
Typ kurzu: 
bakalářský
magisterský
Vyučován: 
Ne

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.

25.09.2023 - 20:09