Поиск :
Личный кабинет :
Электронный каталог: Попов, С. В. - Прикладная логика
Попов, С. В. - Прикладная логика
Нет экз.
Электронный ресурс
Автор: Попов, С. В.
Прикладная логика
Издательство: ФИЗМАТЛИТ, 2011 г.
ISBN 978-5-9221-1340-3
Автор: Попов, С. В.
Прикладная логика
Издательство: ФИЗМАТЛИТ, 2011 г.
ISBN 978-5-9221-1340-3
На полку
Электронный ресурс
Попов, С. В.
Прикладная логика. – Москва : ФИЗМАТЛИТ, 2011. – 213 с. : ил., схем., табл. – URL: https://biblioclub.ru/index.php?page=book&id=457468. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-9221-1340-3.
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
004.312
Попов, С. В.
Прикладная логика. – Москва : ФИЗМАТЛИТ, 2011. – 213 с. : ил., схем., табл. – URL: https://biblioclub.ru/index.php?page=book&id=457468. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-9221-1340-3.
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.
004.312