В.Г. Скобелев - Компьютерное моделирование логических процессов » Мир книг » Электронная библиотека

13  сен

В.Г. Скобелев - Компьютерное моделирование логических процессов

Добавил natagu в категорию Книги / Учебная литература


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


Название: Компьютерное моделирование логических процессов. Учебное пособие
Автор: Скобелев В.Г.
Год: 2010
Страниц: 197
Формат: djvu
Размер: 14,3 Мб
Качество: хорошее, текстовый слой, оглавление.

Скачать В.Г. Скобелев - Компьютерное моделирование логических процессов




Купить эту книгу в бумажном исполнении с доставкой




Рекомендуем к просмотру:






Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.