|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Теория интеллектуальных систем: в 4 кн. Книга третья. Моделирование логических процессовкнига
- Авторы: Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С.
- Год издания: 2018
- Место издания: Издательские решения Москва
- Объём: 212 страниц
- ISBN: ISBN 978-5-4493-5159-3 (т. 3), ISBN 978-5-4493-5157-9
- Тираж: 200 экз.
- Монография
- Аннотация: Предлагаемая книга написана на основе специальных курсов ``Компьютерный решатель математических задач'', ``Интеллектуальные системы'', читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Книга рассчитана на студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики. Ключевые слова: исчисление высказываний, исчисление предикатов, компьютерный решатель математических задач.
- Добавил в систему: Гасанов Эльяр Эльдарович