Раздел 4 / 6

Страница 1 / 30

Глава 3. О выводах в секвенциальном исчислении

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Registration

На предыдущую главу

На следующую главу

Скачать приложение

Прикладная логика

Table of contents

Введение

Глава 1. Классификация логических задач +

Глава 2. Синтаксический логический анализ +

Глава 3. О выводах в секвенциальном исчислении -

3.1. Предполные множества аксиом

3.2. Канонические выводы

3.3. Канонические диаграммы выводов

Глава 4. Преобразования выводов +

Литература