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