АвторыПопов С.В., Брошкова Н.Л.
Прикладная логика
ИздательствоФизматлит
Тип изданияучебное пособие
Год издания2011
Скопировать биб. запись
Для каталогаПопов, С. В. Прикладная логика / Попов С. В. , Брошкова Н. Л. - Москва : ФИЗМАТЛИТ, 2011. - 216 с. - ISBN 978-5-9221-1340-3. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785922113403.html (дата обращения: 25.11.2024). - Режим доступа : по подписке.
АннотацияЛогический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический - установление выполнимости логических функций - и синтаксический - построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.