Основания математики. Математическая логика
Сложностный метод теории алгоритмов, В. А. Шурыгин
Страниц: 200
Год издания: 2009
Язык: Русский
Направление в теории алгоритмов, в котором размеры программ, задающих алгоритмы, используются как средство исследования алгоритмических проблем, было основано А.А.Марковым в начале 60-х годов XX в. Сл ...
Азбука математической логики, Г. П. Мельников
Страниц: 104
Год издания: 2016
Язык: Русский
Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, ...