Математическая логика и теория алгоритмов
Блатов И. А., Старожилова О.В. (2017)

Учебное пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов.

Скачать книгу