Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Математическая логика и теория алгоритмов
Глава 6 ТЕОРИЯ АЛГОРИТМОВ
Поставить закладку
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
ВВЕДЕНИЕ
Глава 1 ФОРМАЛЬНАЯ АКСИОМА ТИЧЕСКАЯ ТЕОРИЯ
+
Глава 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
+
Глава 3 МНОЖЕСТВА И СПОСОБЫ ИХ ЗАДАНИЯ
+
Глава 4 КЛАССИЧЕСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
+
Глава 5 ЛОГИКА ПРЕДИКАТОВ
+
Глава 6 ТЕОРИЯ АЛГОРИТМОВ
-
6.1. Неформальное понятие алгоритма и его свойства
6.2. Разрешимые и перечислимые множества
6.3. Вычислимые функции, частично-рекурсивные и общерекурсивные функции
6.4. Алгоритм машины Тьюринга
6.5. Нормальные алгоритмы Маркова
Темы для самоконтроля
Задачи и упражнения
Глава 7 ИСПОЛЬЗОВАНИЕ ЭЛЕМЕНТАРНОЙ АЛГЕБРЫ ДЛЯ ЗАДАЧ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
+
СПИСОК ЛИТЕРАТУРЫ
Данный блок поддерживает скрол*