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

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

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

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

смычка комментирует книгу «Античные хроники» (Леженда Валентин):

жвачка ,но классная

Татьяна комментирует книгу «Стать Демиургом» (Петрова Елена Владимировна):

Прочитала залпом. Прочла и всю критику. Я не специалист- литератор. Но очень захотелось быть такой- чтобы многое уметь и многое получалось. Чтобы были настоящие друзья. И ЛЮБОВЬ. Очень хочется продолжения...?

Миха комментирует книгу «Первый эйдос» (Емец Дмитрий):

Да уж сейчас бесплатно не почитаешь

андрюха комментирует книгу «Стань диким!» (Хантер Эрин):

я поклонник котов-воителей если нужно чо спросить спрашивайте на этом сайте (только про котов-воителей)

ыыы комментирует книгу «Первое правило волшебника» (Гудкайнд Терри):

НЕ СУПЕРСКАЯ А КЛАССНАЯ И КЛЁВАЯ

ильдар комментирует книгу «Гостья из будущего» (Кир Булычев):

нармально такто

олеся комментирует книгу «Древний. Война» (Сергей Тармашев):

книга класс

Константин комментирует книгу «Любовь к жизни» (Лондон Джек):

чуть повыше комментариев ссылки чтобы скачать книгу бесплатно в любом из популярных форматов: fb2, doc, txt, html