Справка
ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Электронная библиотека технического вуза
Все издания
Вход / регистрация
Во весь экран / Свернуть
en
Версия для слабовидящих
Каталог
Все издания
Меню
Искать в книге
К результату поиска
Расширенный поиск
Закладки
На главную
Вход / регистрация
Во весь экран / Свернуть
en
Управление
Мои отчеты
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета
Оборот титула
Оглавление
Введение
1. ЯЗЫК ВЫСКАЗЫВАНИЙ
+
2. ЯЗЫК ПРЕДИКАТОВ
+
3. ТЕОРИЯ АЛГОРИТМОВ
-
3.1. Алгоритмы
3.2. Машины с неограниченными регистрами. Тезис Черча
3.3. Задачи нумерации и перечислениямножеств
3.4. Некоторые свойства разрешимых и перечислимых множеств
3.5. Алгоритмическаяразрешимость и неразрешимость
3. ТЕОРИЯ АЛГОРИТМОВ
Справка
ЭБС "КОНСУЛЬТАНТ СТУДЕНТА"
Электронная библиотека технического вуза
Все издания
Вход / регистрация
Во весь экран / Свернуть
en
Версия для слабовидящих
Каталог
Все издания
Меню
Искать в книге
К результату поиска
Расширенный поиск
Закладки
На главную
Вход / регистрация
Во весь экран / Свернуть
en
Управление
Мои отчеты
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета
Оборот титула
Оглавление
Введение