Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Прикладная логика
Глава 4. Преобразования выводов
Поставить закладку
4.1. Система схем преобразований выводов
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Введение
Глава 1. Классификация логических задач
+
Глава 2. Синтаксический логический анализ
+
Глава 3. О выводах в секвенциальном исчислении
+
Глава 4. Преобразования выводов
-
4.1. Система схем преобразований выводов
4.2. Приведение выводов к каноническому виду
4.3. Локальность задач по выводимости
Литература
Данный блок поддерживает скрол*