Шангин В.О. Автоматический поиск натурального вывода в классической логике предикатов

Дисертация

формат pdf
размер 694.91 КБ
добавлен 15 мая 2011 г.

Шангин В.О. Автоматический поиск натурального вывода в классической логике предикатов

-Москва, - МГУ, - 2004, – 109 стр. Диссертация на соискание ученой степени кандидата философских наук. Специальность: 09.00.07 – Логика. (На правах рукописи). Научный руководитель: профессор Бочаров В. А.

Аннотация.
Целью диссертационного исследования является пересмотр алгоритма поиска натурального вывода типа Куайна в классической логике предикатов первого порядка, предложенного В. А. Бочаровым, А. Е. Болотовым и А. Е. Горчаковым, и доказательство для этого алгоритма теорем о семантической непротиворечивости и семантической полноте.

Содержание.
Автоматический поиск натурального вывода: история вопроса.
Натуральный вывод как тип логического вывода.
История создания систем автоматического поиска вывода.
Автоматический поиск вывода в натуральном исчислении.
Анализ системы натурального вывода BMV.
Формулировка системы BMV.
Семантическая непротиворечивость системы BMV.
Алгоритм поиска вывода в системе BMV.
Изменение формулировки системы BMV .
Унификация.
Правила поиска вывода в системе BMV.
Описание алгоритма поиска вывода в системе BMV.
Анализ алгоритма поиска вывода в системе BMV.
Семантическая непротиворечивость алгоритма.
Свойства алгоритма.
Семантическая полнота алгоритма.

Похожие разделы

Смотрите также

Анисов А.М. Логика неопределенности и неопределенности во времени

формат doc
размер 40.68 КБ
добавлен 05 февраля 2012 г.

Русский Гуманитарный Интернет Университет. 28 с. Библ. - 17. Имеется 11 логических предложений, обсуждению которых посвящено 11 из 28 страниц работы. В классической логике высказываниями называют предложения, которые оцениваются либо как истинные, либо как ложные, но не то и другое одновременно. Даже если для конкретного высказывания ни один из людей не в состоянии доказательно обосновать его истинность или ложность, высказывание считается объе...

Конспекты лекций по логике

Статья

формат doc
размер 170.09 КБ
добавлен 06 января 2010 г.

Конспекты лекций по логике (лектор-Романов П. А. ) МарГУ +определения по логике.

Контрольная работа по логике

Контрольная работа

формат docx
размер 105.72 КБ
добавлен 14 января 2011 г.

Московский Городской Психологический университет. Ограничение понятий. Отношения следующие понятия. Определение понятия. Вид и логическая форма следующего сложного суждения; его структура на языке логики. Характер аналогии и степень правомерности ее вывода. Преподаватель Бойко А. Б.

Лабораторная работа - Эссе. Парадоксы в логике и математике

Реферат

формат docx
размер 25.74 КБ
добавлен 17 ноября 2010 г.

Тема: Логические парадоксы как «белые пятна» в логике, способы преодоления парадоксов. Парадоксы в логике и математике. Всего 5 стр.

Лобанов В.И. Русская логика для школьников (азбука математической логики)

формат pdf
размер 2.31 МБ
добавлен 14 марта 2011 г.

М.: Эндемик, 2004. - 122 с. Азбука математической логики. Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Книга полезна школьникам и академикам, "физикам" и "лирикам".

Никифоров А.Л. Общедоступная и увлекательная книга по логике, содержащая объемное и систематическое изложение этой науки профессором философии

формат doc
размер 2.93 МБ
добавлен 06 июля 2010 г.

(учебное пособие), 3-е изд., доп. и перераб. — М.: Дом интеллектуальной книги, 1998. — 240 с. Книга содержит 13 лекций по логике профессора философии. В этом учебном пособии впервые предпринята попытка пропорционально представить все основные темы классической логики. Нужно отметить, например, включение лекций на такие темы, как "Индуктивные умозаключения" и "Нелояльные приемы и аргументы спора". В конце каждой лекции автором задаются вопросы (к...

Реферат - Логика предикатов

Реферат

формат doc
размер 114.54 КБ
добавлен 13 октября 2009 г.

Юридический факультет Кафедра философии Реферат по логике. на тему: Логика предикатов. Выполнил: студент гр. Ю-993 Грибанов Ю. Ю. Проверил: Овчаров А. А. Кемерово 1999 г. Введение Основные понятия Логика предикатов с одним переменным Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного Поиск доказательств в натуральном интуиционистском исчислении предикатов с символом и предикатом существования Литерату...

Серебрянников О.Ф. Эвристические принципы и логические исчисления

формат djvu
размер 2.2 МБ
добавлен 11 июля 2011 г.

М.: Наука, 1970. - 283 с. В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики. Содержание Современная формальная логика и научная эвристика Общие замечания о методах формальной дедукции Аналоги принципов эвристической деятельности в логических исчислениях Системное выражение эвристических принципов в логических исчислениях Роль принципов логики в развитии научного знания Критерии нетриви...

Труды научно-исследовательского семинара Логического центра Института философии РАН 1996

Статья

формат djvu
размер 3.75 МБ
добавлен 18 октября 2011 г.

Труды научно-исследовательского семинара Логического центра Института философии РАН 1996. - М.,1997. - 205 с. Смирнова Е.Д. К вопросу построения семантик формализованных и естественных языков. Сидоренко Е.А. Семантика следования(для системы Е). Карпенко А.С.,Шалак В.И. Минимальные модели для нечеткой алгебры типа 2. Васюков В.Л. Метафора в прагматических матрицах. Карпенко А.С.,Попов В.М. Новая аксиоматизация импликативного фрагмента бесконечнозн...

Уёмов А.И. Основы практической логики с задачами и упражнениями

формат doc
размер 2.91 МБ
добавлен 16 сентября 2011 г.

Одесса, 1997. – 388 с. Введение. Логика высказываний. Таблицы истинности. Проблема вывода в логике высказываний. Задачи и упражнения к части первой. Атрибутивная логика. Суждение и понятие. Непосредственные умозаключения. Категорический силлогизм. Задачи и упражнения к части второй. Реляционная логика. Логика отношений. Логика предикатов. Язык тернарного описания. Задачи и упражнения к части третьей. Индуктивная логика. Сущность и виды индукции...