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

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

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

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

Павел комментирует книгу «Рама Явленный» (Кларк Артур Чарльз):

Сэр Артур Чарльз Кларк - Свидание с Рамой (Rendezvous With Rama, 1973) - Пример того как НАДО писать научную фантастику Джентри Ли - "Рама 2", "Сад Рамы", "Рама явленный" - Пример того как можно научную фантастику УГРОБИТЬ.

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

воот

Алинка комментирует книгу «Мастер и Маргарита» (Булгаков Михаил Афанасьевич):

ты бред несешь!!

илья комментирует книгу «Новый англо-русский, русско-английский словарь. 40 000 слов и выражений» (Владимир Карлович Мюллер):

не понравилось

песчаная буря комментирует книгу «Битва за лес» (Хантер Эрин):

Мне они тоже нравятся... Самое обидное что Остролистая(Оспролапка) Ушла из племени...(((((((

СЕРГЕЙ комментирует книгу «Живые мертвые (Мир пауков - 7)» (Уилсон Колин Генри):

Спасибо за отличную библиотеку

ни-кто) комментирует книгу «Анти-Зеланд или На халяву и уксус сладкий» (Преображенский Николай):

братья,вы я так понимаю все читали Зеланда? ну так гляньте же трезво - это битва маятников!!! принцип "делай как я,верь в то,что и я!" - вот что не понравилось анти-маятнику трансерфинга!)) сочувствуем автору книги))

Рафаэль комментирует книгу «AutoCAD 2011. Самоучитель» (Андрей Александрович Орлов):

класс. то что я искал

Юленька комментирует книгу «Три мушкетера» (Дюма Александр):

Обязательно почитайте! Не пожалеете. Интересная, полезная, стоящая.

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

Да, Варвара, как бы Бажанов не написал хорошо, он останется предателем, он предал людей!!! И второе, почему Вы называете его иммигрантом?

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

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

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

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

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

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

Жанры