Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.intsys.msu.ru/staff/podkolzin/reshatel.htm
Дата изменения: Unknown
Дата индексирования: Sat Apr 9 23:28:07 2016
Кодировка: Windows-1251
Интеллектуальные системы :: Сотрудники :: Подколзин Александр Сергеевич :: Компьютерное моделирование посредством решения математических задач.
English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу

Сотрудники :: Подколзин Александр Сергеевич :: Публикации Подколзина А.С.

Компьютерное моделирование посредством решения математических задач.

Подколзин А.С.
Учебное пособие по спецкурсу "Компьютерный решатель математических задач" (24 стр.)

Скачать пособие полностью в формате PDF (200 кб): reshatel.zip
Для просмотра Вам понадобится Adobe Acrobat Reader 4.x-5.x
Узнать подробнее о Решателе и познакомиться с его компьютерной версией
можно в отдельном разделе нашего сайта.

Оглавление


Логический подход к автоматическому решению задач

Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. Возникающие здесь математические модели мы проиллюстрируем на двух типичных примерах - языке и исчислении логики высказываний, а также языке и исчислении логики предикатов.


1. Язык логики высказываний

При задании формального логического языка обычно следуют следующей схеме:

а) Указывается конечный либо бесконечный набор символов, образующих алфавит языка; при описании алфавита могут вводиться те или иные характеристики его символов, в частности определяться разбиения их на подклассы.

б) Вводится индуктивное описание множества правильных выражений языка - конечных последовательностей символов алфавита.

в) Индуктивным образом определяется интерпретация языка (либо множеств допустимых интерпретаций), сопоставляющая каждому выражению языка обозначаемую им функцию, либо объект из некоторой "области интерпретации".

Пункты а) и б) задают синтаксис логического языка, пункт в) - его семантику...


2. Язык логики предикатов.

В случае языка логики предикатов наш алфавит будет состоять из следующих групп символов:

1) Счетный список предметных переменных $ x_1,x_2,\dots$

2) Счетный список предметных констант $ a_1,a_2,\dots$

3) Счетный список функциональных символов $ f_1,f_2,\dots$

4) Счетный список предикатных символов $ P_1,P_2,\dots$

5) Логические константы $ \И $, $ \Л $

6) Логические связки $ \neg,\lor,\&,\rightarrow ,\leftrightarrow $

7) Скобки (,)

Каждый функциональный либо предикатный символ характеризуется своей арностью - некоторым натуральным числом. При этом предполагается, что для каждого натурального $ n$ имеется бесконечно много как предикатных, так и функциоанальных символов арности $ n$...


Оглавление

Московский государственный университет

Наверх

   ї 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru