Компьютерное моделирование логических процессов учебник В. Б. Кудрявцев, Э. Э. Гасанов, А. С. Подколзин.
Material type:
TextLanguage: Russian Series: Высшее образованиеPublication details: Москва Юрайт 2024Edition: 2-е изд. пер. и допDescription: 143 сISBN: 978-5-534-15336-1Subject(s): Информатика | Технические науки и информационные технологии | Моделирование процессов и систем | Математическое моделирование систем и процессов | Моделирование систем и процессов | Компьютерное моделирование процессов | Компьютерное моделирование систем и процессов | Программные средства компьютерного моделирования | Компьютерное моделирование производственных и технологических процессов | Компьютерное моделирование в профессиональной деятельности | Компьютерное моделирование инфокоммуникационных сетей и систем | системный Анализ и Компьютерное моделирование сложных систем | компьютерное моделирование технологических процессов | Компьютерное моделирование и обработка данных социально-гуманитарных исследований | Компьютерное моделирование и планирование | Основы компьютерного моделирования технологических процессов | Компьютерное моделирование: задачи и решения | Компьютерное моделирование и базы данных | Логическое моделирование | Моделирование процессов в расчетах на ЭВМ | Компьютерное моделирование процессов и систем | Профессиональное программирование и компьютерное моделирование | Моделирование систем и процессов (МСП) | Теория интеллектуальных систем управления | Компьютерное моделирование информационных процессов | Компьютерное моделирование и анализ бизнес-процессов | Компьютерное моделирование технологических и производственных процессов | Математические модели и методология компьютерного моделирования | Теория интеллектуальных систем обработки информации | Компьютерное моделирование в технических и информационных системах | Компьютерное моделирование и оптимизация в инфокоммуникационных системах и сетях | Компьютерное моделирование и оптимизация технологических процессов | Моделирование логических систем | Компьютерное моделирование логических процессовOther classification: 22.18я73 Online resources: Click here to access online | Click here to access online Summary: Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
URL: https://urait.ru/bcode/488541 (дата обращения: 31.01.2024).
Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики.
Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей
There are no comments on this title.