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

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

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

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

Александр комментирует книгу «А жизнь так коротка» (Чейз Джеймс Хэдли):

Чейз есть Чейз!!! Хорошее и интересное чтение для всех...

Александр комментирует книгу «Солдаты последней империи (Записки недисциплинированного офицера)» (Чечило Виталий Иванович):

Некоторые считают, что измазав окружающих говном они становяться чище. Чечило - как раз из таких. Даже плевать в его сторону и то противно.

Спиря комментирует книгу «История человеческой глупости» (Рат-Вег Иштван):

читала отрывки из книги История человеческой глупости лет 30 назад с тех пор мечтаю прочитать всю книгу

Маша 11 лет комментирует книгу «Юлианна, или Игра в киднеппинг» (Вознесенская Юлия Николаевна):

хоть я и девочка но это не значит что я не могу прочитать эту книгу - юллианна, или игра в киднеппинг я очень хочу изменится по вредным привычкам и стать Анной как в книге прочитайте женщины!советую!написала книгу юлия вознесенская также есть и другие интересные книги такие как женский декамерон и другие...

каролина комментирует книгу «Рабыня страсти» (Смолл Бертрис):

слышала много хороших отзывов! непременно прочитаю эту книгу.

михаил комментирует книгу «Завтра была война…» (Васильев Борис Львович):

Каждая книга должна быть прочитана в свое время, тогда она производит максимальное впечатление. Я прочитал «Завтра была война» именно в такой период. Великолепное произведение! Особенно окончание.

Любитель Истории комментирует книгу «Тайный советник вождя» (Успенский Владимир Дмитриевич):

Феликс Чуев "Так говорил Каганович" "21 февраля 1991 года. ....Я думаю, что никакого советника не было. Врет. Это против Сталина, а не за Сталина. Сталин никогда не имел дела с тайными советниками! "

Игорь Ветров комментирует книгу «Останкино. Зона проклятых» (Артемий Ульянов):

Ехал с учебы домой, а напротив меня в метро сидел ульянов и пил себе спокойно пиво

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

может есть похожие герой в других книгах??? где герой любят друг друга как Ричард и Кэлен ??подскажите пожалуйста???

Closer комментирует книгу «Духовные практики и медитации» (Анастасия Новых):

Cпасибо

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

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

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

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

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

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

Жанры