печатная A5
320
12+
Теория интеллектуальных систем

Теория интеллектуальных систем

Книга третья. Моделирование логических процессов

Объем:
212 стр.
Текстовый блок:
бумага офсетная 80 г/м2, печать черно-белая
Возрастное ограничение:
12+
Формат:
145×205 мм
Обложка:
мягкая
Крепление:
клей
ISBN:
978-5-4493-5159-3

О книге

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

Отзывы

Авторы

Эльяр Гасанов
Эльяр Эльдарович Гасанов
Валерий Борисович Кудрявцев
Александр Сергеевич Подколзин
Кудрявцев Валерий Борисович — д.ф.-м.н., профессор, заведующий кафедрой математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН и РАЕН. Гасанов Эльяр Эльдарович — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН. Подколзин Александр Сергеевич — д.ф.-м.н., профессор кафедры математической теории интеллектуальных систем механико-математического факультета МГУ имени М.В.Ломоносова, академик МАТН.

Вперед! Стань писателем

Создай свою книгу с Ridero бесплатно прямо сейчас.
Это просто, как раз, два, три!