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

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

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

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

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

Люблю этот рассказ!))

Svora комментирует книгу «Таня Гроттер и Болтливый сфинкс» (Емец Дмитрий):

Мне понравились книги про Таню. Дома на полке стоит. Я читала отзывы и все недовольны схожестью с ГП. Но ведь так было задумано. Как снимают всякие смешные пародии на фильмы. Так и тут, только гораздо лучше получилось, без пошлости. Только вот автору стоило остановится на Локоне Афродиты. Увы, но он исписался.

неясыть комментирует книгу «Летающие острова» (Бушков Александр Александрович):

хотелось бы больше книг про приключения

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

а я и не знал, что некоторые из вас писать не умеют

Олег комментирует книгу «Теория литературы» (Хализев В.):

Огромное спасибо Вашему сайту,нашёл всё что надо ! ))

Рома комментирует книгу «Месть валькирий» (Емец Дмитрий):

Ага, я че то такого вообще не слышал..

irraccontabile комментирует книгу «Демоны в Ватикане» (Рудазов Александр):

уже есть, вроде как

Zaika комментирует книгу «Один день в парке ужасов» (Стайн Роберт Лоуренс):

обожаю книги Стайна!!!!!!!!!!!!!!!!!!!