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

Поставить закладку

4.1. Система схем преобразований выводов

Если Вы наш подписчик,то для того чтобы скопировать текст этой страницы в свой конспект,
используйте просмотр в виде pdf. Вам доступно 8 стр. из этой главы.

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

Предыдущая страница

Следующая страница

Введение

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

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

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

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

4.1. Система схем преобразований выводов

4.2. Приведение выводов к каноническому виду

4.3. Локальность задач по выводимости

Литература

Данный блок поддерживает скрол*

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

Table of contents