Вы здесь

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

Автор: 

Шангин Василий Олегович

Тип работы: 

кандидатская

Год: 

2004

Количество страниц: 

109

Артикул:

203331

179 грн

Добавить в корзину

Рекомендуемые диссертации

• Анализ контрфактических высказываний в логике и искусственном интеллекте
• Семантический анализ простых паранормальных логик
• Алгоритм поиска вывода для систем негативной силлогистики
• Теория смысла в общей интенсиональной логике
• Логико-методологические проблемы научного объяснения
• Логические учения средневекового Ирана и их значение для западноевропейской логики
• Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта
• Роль эстетического восприятия в религиозном и атеистическом сознании
• Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
• Модальные логики с нестандартными модальностями