ЛИТЕРАТУРА ПО ФУНДАМЕНТАЛЬНЫМ И ПРИКЛАДНЫМ НАУКАМ
|
Авторизация
|
|||||||||||
КнигиПрикладная логика
334 руб.
Оставить заявку
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем. |
Новости
2024-04-11
14-го апреля (воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2024-02-10
11-го февраля(воскресенье) магазин в МФТИ работает с 9:00 до 18:00
2023-12-26
Уважаемые покупатели! В связи с новогодними каникулами заказы, оформленные после 26.12.2023, будут обработаны после 9 января 2024 г. Заказы, содержащие только книги издательства «ФИЗМАТКНИГА», будут отправлены раньше. Приносим извинения за задержку!
2023-10-30
31-го декабря, 1, 2, 3 и 7-го января — магазин не работает
4,5, и 6-го января — магазин работает с 10:00 до 17:30
с 8-го января — в обычном режиме
Лидеры продаж
|
|||||||||||
© ООО «Научная книга», 2021 |