Описание:Обязательный курс для слушателей вечернего отделения мехмата МГУ. Содержание: элементы теории множеств; начальные понятия теории алгоритмов; алгоритмическая теория множеств; машины Тьюринга; рекурсивные функции; неразрешимые алгоритмические проблемы; элементы теории сложности вычислений; легко- и трудноразрешимые задачи; логика высказываний; исчисление высказываний; логика предикатов; элементарные языки; исчисление предикатов; элементарные теории и модели; формальная арифметика.