Курс лекций по математической логике и теории алгоритмов
Ф.К. Алиев
В настоящем учебном пособии изложены основы тео-рии двоичных функций, исчисления предикатов, теории мо-делей, элементов теории алгоритмов и теории сложности вы-числительных задач.