7 - Метод резолюций. Скулемовские функции. Метод резолюций для исчисления высказываний. Метод резолюций для исчисления предикатов (Конспект лекций), страница 4
Описание файла
Файл "7 - Метод резолюций. Скулемовские функции. Метод резолюций для исчисления высказываний. Метод резолюций для исчисления предикатов" внутри архива находится в папке "Конспект лекций". PDF-файл из архива "Конспект лекций", который расположен в категории "". Всё это находится в предмете "математическая логика и теория алгоритмов" из 4 семестр, которые можно найти в файловом архиве МГТУ им. Н.Э.Баумана. Не смотря на прямую связь этого архива с МГТУ им. Н.Э.Баумана, его также можно найти и в других разделах. Архив можно найти в разделе "лекции и семинары", в предмете "математическая логика и теория алгоритмов" в общих файлах.
Просмотр PDF-файла онлайн
Текст 4 страницы из PDF
. . . . . . . . . . . . . . . . . . . . . . .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ÌÃÒÓ.