Компьютерное моделирование посредством решения математических задач
Подколзин А.С.
Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. В пособии возникающие здесь математические модели иллюстрируются на двух типичных примерах - языке и исчислении логики высказываний, а также языке и исчислении логики предикатов
درجه (قاطیغوری(:
کال:
2000
خپرندویه اداره:
Изд-во ЦПИ при мех.-мат. ф-те МГУ
ژبه:
russian
صفحه:
24
فایل:
PDF, 246 KB
IPFS:
,
russian, 2000