7 - Метод резолюций. Скулемовские функции. Метод резолюций для исчисления высказываний. Метод резолюций для исчисления предикатов (1075774), страница 4

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 4)

. . . . . . . . . . . . . . . . . . . . . . .434344465. Генценовские формальные системы5.1. Исчисление GV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5.2. Исчисление GP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .5454586. Примеры формальных теорий6.1. Теория групп .

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6.2. Формальная арифметика . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6161647. Метод резолюций7.1. Скулемовские функции . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . .7.2. Метод резолюций для исчисления высказываний . . . . . . . . . . . . . . . . . . .7.3. Метод резолюций для исчисления предикатов . . . . . . . . . . . . . . . . . . . . .70707275......................................................................................................................................................................................................................................................ÌÃÒÓ2. Исчисление высказываний2.1. Основные положения теории N .

. . . . . . . . . . . . . . . . . . . . . . . . . . . .2.2. Правила естественного вывода . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2.3. Глобальные свойства теории N . . . . . . . . . . . . . . . . . . . . . . . . . . . . .....ÔÍ-12....224610ÔÍ-12ÔÍ-121. Алгебра высказываний1.1. Введение . . . . . . . . . . . . . .

. . .1.2. Алгебра логики . . . . . . . . . . . . .1.3. Тавтологии и эквивалентность формул1.4. Функции алгебры логики . . . . . . . .ÔÍ-1279ÌÃÒÓÔÍ-12ОГЛАВЛЕНИЕÌÃÒÓÌÃÒÓÌÃÒÓÔÍ-12ÔÍ-12ÔÍ-12ÌÃÒÓÌÃÒÓÌÃÒÓÔÍ-12ÔÍ-12ÔÍ-12ÌÃÒÓÌÃÒÓÔÍ-12ÌÃÒÓ.

Характеристики

Список файлов лекций