Компьютерное моделирование логических процессов, учебник для вузов
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Περίληψη: | URL: https://urait.ru/bcode/488541 (дата обращения: 27.08.2025). Курс разработан на основе специальных курсов «Компьютерный решатель математических задач», «Интеллектуальные системы», читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ имени М. В. Ломоносова. Рассматриваются два подхода к моделированию логических процессов: стандартный подход с использованием формальных логик и подход, который пытается повторить логику рассуждений человека. В рамках первого подхода приводятся понятия и результаты исчисления высказываний и исчисления предикатов. Второй подход иллюстрируется на примере компьютерного решателя математических задач. Для студентов, аспирантов и специалистов в области математической кибернетики, дискретной математики и информатики. |
| Έκδοση: |
Москва, Юрайт, 2024
|
| Έκδοση: | 2-е изд. |
| Σειρά: | Высшее образование |
| Θέματα: | |
| Διαθέσιμο Online: | https://urait.ru/bcode/488541 |
| Μορφή: | MixedMaterials Ηλεκτρονική πηγή Βιβλίο |