Логика и компьютер : Вып. 3 : Доказательство и его поиск (Курс логики компютерный практикум) Cover Image

Book

Логика и компьютер : Вып. 3 : Доказательство и его поиск (Курс логики компютерный практикум) / Авторы: Смирнов, В. А., Маркин, В. И. и др.; Ответственный редактор: В. А. Смирнов: Российская академия наук.

Российская академия наук. (Author). Смирнов, В. А. (Автор., Ответственный редактор.). Маркин, В. И. (Автор.). Российская академия наук. (Added Author).

Record details

ISBN: 5020136034
Physical Description: 1-254 стр.
Publisher: Москва : Наука , 1996.

Content descriptions

General Note:

მინაწერით.

Formatted Contents Note:

Предисловие -- Введение -- Глава I. Натуральное исчисление высказываний -- Глава II. Натуральное исчисление предикатов -- Глава III.Натуральное исчисление предикатов с равенством -- Глава IV. Метод аналитических таблиц -- Глава V. Аксиоматическое построение исчисления предикатов -- Глава VI. Натуральное исчисление с равенством и правилом замены эквивиалентного эквивалентным -- Глава VII. Первопарядковые теории -- Глава VIII. Силлогистика -- Приложение 1. Руководство по исползованию программи deductio -- Приложение 2.Как описывать логические системы -- Приложение 3. Точное определение вывода для натурального исчисления предикатов -- Приложение 4. Задачи.