12.89 USD
Наличие на складе:
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 06.07.2024; планируемая отправка: 07.07.2024
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 09.07.2024; планируемая отправка: 10.07.2024
Издательство: | Юрайт |
Дата выхода: | ноябрь 2023 |
ISBN: | 9785534153361 |
Объём: | 143 страниц |
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.