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

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

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

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

Виктор комментирует книгу «Служба В Потешных Войсках Хх Века» (Отян Анатолий):

Анатолий, в дополнению к предыдущему: Тебя с нами, салагами Учебки Отдельного гвардейскрго воздушно-десантного батальона связи познакомил во время прыжков на "Куполе" под Тулой наш кумир и изумительный парень Витюха Шапкин. Очень буду признателен, если откликнишся. С уважением Виктор Чупикин.

андрей комментирует книгу «Тухачевский» (Соколов Борис Николаевич):

борюсик-какую блестящую операцию провернул гений тухачевский ?

Кара комментирует книгу «Первое правило волшебника» (Гудкайнд Терри):

суперская книга мне очень понравилось

Роману комментирует книгу «Опустошение» (Егор Роге):

Ничего собственно не изменилось, разве что возможностей стало меньше для простых людей. Сейчас все решают связи дружеские родственные. А проблема превращения нормального человека в раба порока как была вечной так и осталась...

Александр комментирует книгу «Тихий Дон» (Шолохов Михаил Александрович):

Подскажите! В одной ссылке все 4 книги тихого Дона или только одна

Фазер комментирует книгу «Чук и Гек» (Гайдар Аркадий):

Спасибо !!!

Тятьяна комментирует книгу «Любовь, только любовь» (Бенцони Жюльетта):

Вся серия очень интересная, много реальных фактов истории и реальных героев 10летней войны. Советую почитать её же серию Марианна и канигу Короли и Королевы: трагедии любви

Аня комментирует книгу «Секрет синей папки» (Вильмонт Екатерина Николаевна):

Мне очень понравилась книга Секреты Синей Папки замечательно

Екатерина комментирует книгу «Любавины» (Шукшин Василий Макарович):

Спасибо! Давно хотела прочитать, замечетельный роман, неизгладимые впечатления!

Наталья комментирует книгу «Стерва» (Коллинз Джеки):

Анютке. Лучше бы Вы не писали никаких комментариев! Это ж просто кошмар какой-то! Не позорьтесь! Купите учебник русского языка и сборник диктантов, учите правила и пишите диктанты! Это единственное и самое лучшее, что Вам можно посоветовать!

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

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

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

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

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

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

Жанры