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

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

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

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

911 комментирует книгу «Контрольный выброс» (Ливадный Андрей Львович):

нету книги Контрольный выброс

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

Да-а, сильная книга!

Данил комментирует книгу «Время для Звезд» (Хайнлайн Роберт Энсон):

Книга очень понравилась,правда слишком короткая(,но в целом очень интересная

Тихе комментирует книгу «Темное пламя» (Андрей Козлович):

Прочла роман "Тёмное пламя". Очень неожиданное толкование Ефремова, буквально ошарашивает. Но, в то же время, безусловно, резон в этом есть. Мне лично такой взгляд на творчество Ефремова кажется очень интересным. Несмотря на кажущийся расчёт на публику, в романе подняты действительно важные вопросы: - возникновения фашизма, способного выйти в межзвёздный космос, - необратимого изменения психики как индивидуальной, так и социальной, способные превращать как людей, так и целые общества в настоящих чудовищ. (Я читала труды Эриха Фромма и знаю, как хорошо он проработал эти вопросы в научном плане). - и, самое главное, вопрос создания справедливого общества, тоже хорошо проработанный у Фромма и Ефремова. Вместе с тем поражает, насколько в увлекательной, остросюжетной, приключенческой форме всё это подано. Читаешь про чудовищ, звёздные войны и внезапно выскакивают непонятно откуда новые сюжетные линии. Это действительно очень захватывает и щекочет нервы. Роман держит читателя в напряжении до последних строчек. Автору удалось преподнести серьёзные вещи в увлекательной упаковке. И, наверное, сегодня это самое главное.

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

книга просто класс огромное спасибо сижу по несколько раз перечитываю

АХМЕД комментирует книгу «Любовь живет три года» (Бегбедер Фредерик):

ПРОСТО НЕТ СЛОВ КЛАСС

mandragor комментирует книгу «Трое из Леса» (Никитин Юрий Александрович):

вообще не читал до этой книги)из серии первые шесть томов оч хороши

Глеб комментирует книгу «Сенситив и 10 заповедей» (Назин Дмитрий):

Спасибо огромное! Жаль, что не прочитал раньше. А впрочем, лучше поздно... Спасибо.

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

Да... Учебничек по Русскому языку Вам не подарить? А то, наверное, свой потеряла.

даша комментирует книгу «Кулинарная книга Плюшкина, или Как приготовить все практически из ничего» (Велитов Алим):

книга не очень