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

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

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

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

Andrew комментирует книгу «Вторжение» (Лейнстер Мюррей):

Редкостный бред

Ю.Ф.Орехов комментирует книгу «Зайти с короля» (Доббс Майкл):

Федот именно тот! Федот, спасибо! Ваш комментарий позволяет предложить единицу измерения невежества и невоспитанности пользователей интернета. Вы не станете возражать, если мы оценим его в 1 федот?

Александр Тишенко комментирует книгу «Гадание на рунах или рунический оракул Ральфа Блума» (Пелевин Виктор Олегович):

Очень хорошая книга про гадание! Спасибо администраторам сайта!

николай комментирует книгу «Стоп! Алкоголь!» (Авторов Коллектив):

пью как перестать

София комментирует книгу «Ник» (Ясинский Анджей):

Прочитала книгу Анджея Ясинского"Ник".Да,это фантастика,или,как говорят сейчас,фэнтези.Но написано интересно,герои выписаны с любовью, интрига -тоже.Жаль,что только одна его книга.Пытаюсь найти еше.

Светлана комментирует книгу «Антик с гвоздикой» (Мельникова Ирина):

Абсолютно согласна. Читать с интернета книгу в почти 300-400 страниц крайне неудобно, а скопировать себе, чтоб почитать с удовольствием с того же компьютера, нельзя. Действительно, зачем тогда таких авторов на этом сайте указывать?!

Степан комментирует книгу «Ледокол» (Суворов Виктор):

Благодарю, автора за его труд, это открыло очень много интересного и расставило многое на места. Стало понятно, что происходило в истории России, а так же понятно, что происходит теперь. И мне очень жаль, что многие не могут взять в толк роль человека.

я Я люблю Котов - Воителей, комментирует книгу «Битва за лес» (Хантер Эрин):

Класные книги осталось прочитать всего 5 ))когда к то умирает я плачу(

Славенский комментирует книгу «Запретная дверь» (Синицын Олег Геннадьевич):

Отличная книга))))интересная и печальная местами... Можно сравнить с фильмом "Эффект Бабочки",ибо похожа тема немного))))) Самое интересное - в конце. Ведь автор самый главный момент оставил напоследок...

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

Дальше идёт книга "Знак Луны".

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

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

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

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

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

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

Жанры