Дисциплина «Математическая логика и теория алгоритмов» является важным звеном математического и алгоритмического образования.
Целью дисциплины является дать обучающимся общее представление о различных определениях алгоритмической вычислимости, их эквивалентности, о существовании неразрешимых проблем, о различных способах сравнения алгоритмических проблем, о формальных исчислениях, о понятиях истинности, логической выводимости, их свойствах и взаимосвязи, о различных методах поиска логических выводов, о неразрешимости логики предикатов и формальной арифметики, неполноте последней, о существовании различных классов вычислительной сложности, о сравнении различных классов сложности, о существовании труднорешаемых проблем.
- Преподаватель: Маргарита Геннадьевна Козлова