Теория логического вывода

Теория логического вывода
Автор книги: id книги: 2127706     Оценка: 0.0     Голосов: 0     Отзывы, комментарии: 0 390 руб.     (3,89$) Купить и читать книгу Электронная книга Жанр: Учебная литература Правообладатель и/или издательство: Издательство ЛАНЬ Дата добавления в каталог КнигаЛит: ISBN: 978-5-8114-7284-0 Возрастное ограничение: 0+

Реклама. ООО «ЛитРес», ИНН: 7719571260.

Описание книги

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.

Добавление нового отзыва

Комментарий Поле, отмеченное звёздочкой  — обязательно к заполнению

Отзывы и комментарии читателей

Нет рецензий. Будьте первым, кто напишет рецензию на книгу Теория логического вывода
Подняться наверх