Прикладная логика

Прикладная логика

Bibliografiska uppgifter
Huvudupphovsman: Попов С. В. Сергей Викторович
Övriga upphovsmän: Брошкова Н. Л. Наталья Леонидовна
Sammanfattning:Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
Språk:ryska
Publicerad: Москва, Физматлит, 2011
Ämnen:
Логика
логические задачи
классификация
логическое следование
эквивалентность
логические матрицы
обратные матрицы
алгоритмы построения
логический анализ
выводы
преобразование
Materialtyp: Bok
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=205574

Liknande verk

Liknande verk