Компьютерное моделирование логических процессов (2024)КНИГИ » НАУКА И УЧЕБА
Название: Компьютерное моделирование логических процессов Автор(ы): В.Б. Кудрявцев, Э.Э. Гасанов, А.С. Подколзин Издательство: Юрайт Год: 2024 Страниц: 144 Формат: PDF Размер: 13 Мб Язык: русский
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Кудрявцев В.Б. и др. - Компьютерное моделирование логических процессов (2024)
Теория сложности информационного поиска Название: Теория сложности информационного поиска. Учебное пособие Автор: Гасанов Э.Э. Издательство: М.: Издательство Центра прикладных исследований...
Курс математической логики и теории вычислимости Название: Курс математической логики и теории вычислимости Автор: Герасимов А.С. Издательство: Лань Год: 2014 ISBN: 978-5-8114-1666-0 Формат: pdf...
Теория хранения и поиска информации Название: Теория хранения и поиска информации Автор: Гасанов Э.Э., Кудрявцев В.Б. Издательство: М.: ФИЗМАТЛИТ Год: 2002 ISBN: 5922102354 Формат: djvu...
Введение в теорию интеллектуальных систем Название: Введение в теорию интеллектуальных систем Автор: Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. Издательство: МАКС Пресс Год: 2006 Формат:...
Навигация
Вход на сайт
Реклама
Компьютерное моделирование логических процессов (2024) 
