Прикладная логика
Автор:
Жанр:
Год написания книги: 2013
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются.
Кн…
Далее
На сайте электронной библиотеки Litportal вы можете скачать книгу Прикладная логика в формате fb2.zip, txt, txt.zip, rtf.zip, a4.pdf, a6.pdf, mobi.prc, epub, ios.epub, fb3. У нас можно прочитать отзывы и рецензии о этом произведении.
