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