Основания математики. Математическая логика. Теория чисел
В. Н. Крупский, В. Е. Плиско  Теория алгоритмов

В. Н. Крупский, В. Е. Плиско Теория алгоритмов

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

Л. М. Лихтарников, Т. Г. Сукачева  Математическая логика

Л. М. Лихтарников, Т. Г. Сукачева Математическая логика

Учебное пособие в двух частях. В первой представлен курс лекций по математической логике, который включает теоретический материал и состоит из нескольких разделов: исчисление высказываний, алгебра логики, логика предикатов, алгоритмы, математические теории.

В. И. Игошин  Задачи и упражнения по математической логике и теории алгоритмов

В. И. Игошин Задачи и упражнения по математической логике и теории алгоритмов

Сборник, содержащий упражнения и задачи по традиционным разделам теории алгоритмов и математической логики.

В. И. Игошин  Математическая логика и теория алгоритмов

В. И. Игошин Математическая логика и теория алгоритмов

Учебное пособие представляет собой основу комплекта для изучения курса теории алгоритмов и математической логики.

Ю. В. Нестеренко  Теория чисел

Ю. В. Нестеренко Теория чисел

В основе учебника лежат результаты работ Ферма, Гаусса, Эйлера, которые собственно и создали элементарную теорию чисел.

И. А. Лавров  Математическая логика

И. А. Лавров Математическая логика

В пособии подробно рассказывается об основах современного подхода в изучении математических теорий.

С. Б. Гашков, В. Н. Чубариков  Арифметика. Алгоритмы. Сложность вычислений

С. Б. Гашков, В. Н. Чубариков Арифметика. Алгоритмы. Сложность вычислений

В данном пособии впервые в истории отечественной литературы рассмотрена связь современных проблем кибернетики и вопросов арифметики.

А. В. Бабичев  Распознавание и спецификация структур данных

А. В. Бабичев Распознавание и спецификация структур данных

В данной книге представлен аппарат, который позволяет автоматизировать процесс верификации и анализа структур данных.

И. А. Лавров, Л. Л. Максимова  Задачи по теории множеств, математической логике и теории алгоритмов

И. А. Лавров, Л. Л. Максимова Задачи по теории множеств, математической логике и теории алгоритмов

В книге систематизированы основные аспекты теории множеств, теории алгоритмов и математической логики.

И. Л. Тимофеева  Математическая логика. Курс лекций

И. Л. Тимофеева Математическая логика. Курс лекций

В данном пособии рассмотрены темы: исчисление высказываний, языки логики высказываний и предикатов, теория первого порядка, исчисление предикатов. В центре изучаемого материала - основы теории доказательств.

Teor-meh.ru © 2009-2025

Вверх