Компьютерное моделирование посредством решения математических задач
Подколзин А.С.
Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. В пособии возникающие здесь математические модели иллюстрируются на двух типичных примерах - языке и исчислении логики высказываний, а также языке и исчислении логики предикатов
Catégories:
Année:
2000
Editeur::
Изд-во ЦПИ при мех.-мат. ф-те МГУ
Langue:
russian
Pages:
24
Fichier:
PDF, 246 KB
IPFS:
,
russian, 2000