Раздел 3 / 6

Страница 22 / 29

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

Введение

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

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

2.1. Логические исчисления

2.2. Непротиворечивость и полнота исчисления ГК

Непротиворечивость и полнота исчисления ГК

2.3. Свойство подформульности выводов

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

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

Литература