Современная электронная библиотека ModernLib.Net

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

Автор:	С. В. Попов
Жанр:	Математика
Аннотация: Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический – установление выполнимости логических функций – и синтаксический – построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами как установления выполнимости, так и построения выводов. Для описания этих классов задач вводятся матричное представление логических формул и операции над матрицами. Такое представление дает возможность увидеть существенные свойства логических формул, которые при традиционном подходе не проявляются. Книга может быть полезна в качестве учебного пособия по дисциплинам: дискретная математика, информационное моделирование, искусственный интеллект и проектирование экспертных систем.

Случайные комментарии

денис комментирует книгу «Александр ДИХНОВ» (Керторию Портал):

очень классные книги, увлекают с головой, всем любителям научной фантастики и детективов советую ознакомится, только одно но, не понятно чем все закончилось

тараиа комментирует книгу «Ааст Ллун – архитектор неба» (Гуревич Георгий Иосифович):

недочитал еще

veron комментирует книгу «Советские торты и пирожные» (Александр Селезнев):

I can't download this book. Please explain, how download this book (selesnev- sovetskie torty i pirozhnye).

алина комментирует книгу «Огненные врата» (Дмитрий Емец):

и мнеее

Настя комментирует книгу «Легенды и мифы Древней Греции» (Кун Николай Альбертович):

А нам задали целых две страницы сказок читать во 2 классе и про эти мифы и легенды древней греции:(

Светлана комментирует книгу «Собака Пес» (Пеннак Даниэль):

все должны прочитать жизненная

Luba комментирует книгу «Фантазии женщины средних лет» (Тосс Анатолий):

Присоединяюсь к тем, кому книга понравилась. Ее я читала уже несколько раз (открываешь на любой странице и читаешь).