Сотрудники :: Подколзин Александр Сергеевич :: Публикации Подколзина А.С.
Компьютерное моделирование посредством решения математических задач.
Подколзин А.С. Учебное пособие по спецкурсу "Компьютерный решатель математических задач" (24 стр.)
Скачать пособие полностью в формате PDF (200 кб): reshatel.zip
Для просмотра Вам понадобится Adobe Acrobat Reader 4.x-5.x
Узнать подробнее о Решателе и познакомиться с его компьютерной версией
можно в отдельном разделе нашего сайта.
Оглавление
Логический подход к автоматическому решению задач
Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. Возникающие здесь математические модели мы проиллюстрируем на двух типичных примерах - языке и исчислении логики высказываний, а также языке и исчислении логики предикатов.
1. Язык логики высказываний
При задании формального логического языка обычно следуют следующей схеме:
а) Указывается конечный либо бесконечный набор символов, образующих алфавит языка; при описании алфавита могут вводиться те или иные характеристики его символов, в частности определяться разбиения их на подклассы.
б) Вводится индуктивное описание множества правильных выражений языка - конечных последовательностей символов алфавита.
в) Индуктивным образом определяется интерпретация языка (либо множеств допустимых интерпретаций), сопоставляющая каждому выражению языка обозначаемую им функцию, либо объект из некоторой "области интерпретации".
Пункты а) и б) задают синтаксис логического языка, пункт в) - его семантику...
2. Язык логики предикатов.
В случае языка логики предикатов наш алфавит будет состоять из следующих групп символов:
1) Счетный список предметных переменных
2) Счетный список предметных констант
3) Счетный список функциональных символов
4) Счетный список предикатных символов
5) Логические константы ,
6) Логические связки
7) Скобки (,)
Каждый функциональный либо предикатный символ характеризуется своей арностью - некоторым натуральным числом. При этом предполагается, что для каждого натурального имеется бесконечно много как предикатных, так и функциоанальных символов арности ...
Оглавление
Московский государственный университет
Наверх
|