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

Учебное пособие по спецкурсу "Компьютерный решатель математических задач". 24 стр.
Изд-во ЦПИ при мех-мат ф-те МГУ, М. , 2000.Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. В пособии возникающие здесь математические модели иллюстрируются на двух типичных примерах – языке и исчислении логики высказываний, а также языке и исчислении логики предикатов.
Содержание:
Логический подход к автоматическому решению задач.
Язык логики высказываний.
Язык логики предикатов.