В. Н. Крупский, В. Е. Плиско Теория алгоритмов
Учебное пособие, в котором рассмотрены основы количественной и качественной теории алгоритмов.
Л. М. Лихтарников, Т. Г. Сукачева Математическая логика
Учебное пособие в двух частях. В первой представлен курс лекций по математической логике, который включает теоретический материал и состоит из нескольких разделов: исчисление высказываний, алгебра логики, логика предикатов, алгоритмы, математические теории.
В. И. Игошин Задачи и упражнения по математической логике и теории алгоритмов
Сборник, содержащий упражнения и задачи по традиционным разделам теории алгоритмов и математической логики.
В. И. Игошин Математическая логика и теория алгоритмов
Учебное пособие представляет собой основу комплекта для изучения курса теории алгоритмов и математической логики.
В основе учебника лежат результаты работ Ферма, Гаусса, Эйлера, которые собственно и создали элементарную теорию чисел.
И. А. Лавров Математическая логика
В пособии подробно рассказывается об основах современного подхода в изучении математических теорий.
С. Б. Гашков, В. Н. Чубариков Арифметика. Алгоритмы. Сложность вычислений
В данном пособии впервые в истории отечественной литературы рассмотрена связь современных проблем кибернетики и вопросов арифметики.
А. В. Бабичев Распознавание и спецификация структур данных
В данной книге представлен аппарат, который позволяет автоматизировать процесс верификации и анализа структур данных.
И. А. Лавров, Л. Л. Максимова Задачи по теории множеств, математической логике и теории алгоритмов
В книге систематизированы основные аспекты теории множеств, теории алгоритмов и математической логики.
И. Л. Тимофеева Математическая логика. Курс лекций
В данном пособии рассмотрены темы: исчисление высказываний, языки логики высказываний и предикатов, теория первого порядка, исчисление предикатов. В центре изучаемого материала - основы теории доказательств.
