печатная A5
363
Добавить в избранное
Поделиться с друзьями
12+
Теория интеллектуальных систем
Книга третья. Моделирование логических процессов
Под заказ, срок печати до 14 дней. Подробней о доставке
О книге
Предлагаемая книга написана на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова.
Книга рассчитана на студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Ключевые слова: исчисление высказываний, исчисление предикатов, компьютерный решатель математических задач.
Книга публикуется в авторской орфографии и пунктуации
Авторы
Книги автора
С этой книгой читают
0+
A5
Архитектурное проектирование жилых зданий
12+
A5
Управление информационно-политической повесткой в работе с социальными средами
12+
Факторы выбора
16+
A5
Все личное
16+
A5
Дева и Меч
12+
Адыгейская кухня
16+
A5
Я+Я. Жизнь карикатуриста
6+
A5
Взгляд за горизонт
12+
Законы развития систем
0+
A4
BIM для культурного наследия