Основания математики. Математическая логика. Теория чисел

Прикладная логика, С. В. Попов, Н. Л. Брошкова

Скачать книгу "Прикладная логика, С. В. Попов, Н. Л. Брошкова"
Страниц: 216
Год издания: 2011
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и син ...

Математическая логика, Ю. Л. Ершов, Е. А. Палютин

Скачать книгу "Математическая логика, Ю. Л. Ершов, Е. А. Палютин"
Страниц: 356
Год издания: 2011
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов ...

Лекции о сложности алгоритмов, С. А. Абрамов

Скачать книгу "Лекции о сложности алгоритмов, С. А. Абрамов"
Страниц: 248
Год издания: 2012
В книге излагаются основные (начальные) разделы теории сложности алгоритмов. Различаются алгебраическая и битовая сложности, каждая из которых рассматривается в худшем случае и в среднем. Ряд основных ...

Колмогоровская сложность и алгоритмическая случайность, Н. К. Верещагин, В. А. Успенский, А. Шень

Скачать книгу "Колмогоровская сложность и алгоритмическая случайность, Н. К. Верещагин, В. А. Успенский, А. Шень"
Страниц: 576
Год издания: 2013
Классическая (шенноновская) теория информации измеряет количество информации, заключенной в случайных величинах. В середине 1960-х годов А.Н.Колмогоров (и другие авторы) предложили измерять количество ...

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

Скачать книгу "Математическая логика и теория алгоритмов, В. Н. Крупский, В. Е. Плиско"
Страниц: 416
Год издания: 2013
Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундамента ...
Страницы: 1 2 3 4 5 6 7