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

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

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

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

Igor комментирует книгу «Скрытый гипноз. Практическое руководство» (Мелихов И.Н.):

fignia

Марина комментирует книгу «Одиночка» (Головачев Василий):

присоединяюсь к Сергею.сверху-скачать книгу бесплатно.ниже-купить и скачать на литрес.ру.обидно.не вижу правил сайта.непонятно.огорчена до глубины души.путаный сайт.

Валерон комментирует книгу «Цена Империи» (Мазин Александр Владимирович):

Классная книжка!!!

виктория комментирует книгу «Джельсомино в Стране Лгунов» (Родари Джанни):

Хотелось бы мне прочитать эту книгу в классе но вот родители не разрешают взять в школу ноутбук apple но еще немного хочется похвастаться а в магазине или в библиотеке мы не нашли книгу /

v.rayko комментирует книгу «Головные боли, или Зачем человеку плечи?» (Сергей Бубновский):

Заказал книгу в магазине,через две недели заявку сняли,дефицит ?

Мариша комментирует книгу «Такая разная любовь» (Воробей Вера и Марина):

Офигенно

Виктория комментирует книгу «Ответы на экзаменационные билеты по географии. 9 класс» (Дмитрий Обычев):

как скачать ответы на экзамены по географии на 9 класс?автор:Р.В.Гладковский,А,И.Довгань,Л,Б,Паламарчук,В,В,Совенко!!!!!!!!!!!!!

Н.Е. комментирует книгу «Канон врачебной науки» (ибн Сина Абу Али):

Спасибо!

bassilla комментирует книгу «Баронесса Изнанки» (Сертаков Виталий):

Прочел "пастухи вечности", первые две части. Книга очень увлекла, нашел у вас и скачал третью часть, спасибо! Рекомендую прочесть.

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

А ты попробуй прочитать серию "Мефодий Буслаев" Я прочитала уже 13 книг,и это только из этой серии,всего больше 50-60 книг этого автора я прочитала.