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

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

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

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

x-girl комментирует книгу «Виват, Сатана!» (де Сайн Али):

лучше не читать.Пор*уха страшная.Прочитала несколько страниц и бросила.

наталья комментирует книгу «Формула здоровья» (Лободин Владимир):

владимир тихонович,ваша деятельность заслуживает поклона

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

Очень понравилось.

Кира комментирует книгу «Вирус» (Сергей Гатаулин):

Да нет там ничего страшного про церковь. Фантастическая книга, автор фантазирует, еще и здесь дурацкую толерантность если поддерживать, то вобще капец настанет. Фантастические приключения старшеклассников. Нигде не запнулась. Все понятно и доступно. +1

КОРОТКОВ комментирует книгу «Авантюра» (Старк Ричард):

ПРИВЕТ

ксения комментирует книгу «Лолита» (Набоков Владимир Владимирович):

это очень интересный рассказ он мне очень нравится

Кака комментирует книгу «Дневник Дельфины» (Жуайе Одетт):

Очень хорошая книга всем советую она теперь моя любимая!

собака комментирует книгу «50 уроков привлечения денег от великих учителей мира. Р. Кийосаки, С. Кови, Н. Хилл, Э. де Боно, О. Мандино, Х. Сильва» (Валентин Штерн):

как здесь качать вы непанемаете

МамаМылаРаму комментирует книгу «Гость из пекла» (Кирилл Кащеев):

"Извините, данная книга недоступна в связи с жалобой правообладателя." Видимо, пока никак.

СЕРГЕЙ комментирует книгу «Ведьмак» (Сапковский Анджей):

ЧЕСТНО, КНИГУ НЕ ЧИТАЛ , А ФИЛЬМ НРАВИТСЯ ! ЖАЛЬ, ЧТО ТАКИХ ФИЛЬМОВ МАЛО , А КНИГ ДОСТАТОЧНО ! СПАСИБО!!!

Информация для правообладателей

ЭЛЕКТРОННАЯ БИБЛИОТЕКА ModernLib.Net

С. В. Попов - Прикладная логика, скачать книгу бесплатно

Популярные авторы

Популярные книги

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

Жанры