Компьютерное моделирование посредством решения математических задач
Подколзин А.С.
Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. В пособии возникающие здесь математические модели иллюстрируются на двух типичных примерах - языке и исчислении логики высказываний, а также языке и исчислении логики предикатов
年:
2000
出版社:
Изд-во ЦПИ при мех.-мат. ф-те МГУ
语言:
russian
页:
24
文件:
PDF, 246 KB
IPFS:
,
russian, 2000