Вайнштейн Ю.В. Математическая логика и теория алгоритмов: учебное пособие/ Ю.В. Вайнштейн, Т.Г. Пенкова, В.И. Вайнштейн.- Красноярск: Сиб. федер. ун-т , 2019.- 110 с.
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности. Скачать