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

Теория логического вывода.Уч.пос
Автор книги: id книги: 2071168     Оценка: 0.0     Голосов: 0     Отзывы, комментарии: 0 555 руб.     (5,42$)

Ниже по кнопкам можно купить бумажную книгу в интернет-магазинах по самым выгодным ценам с доставкой в Москве, Санкт-Петербурге и других городах России!

Купить книгу на сайте Лабиринта Купить в других магазинах Бумажная книга Жанр: Математические науки Правообладатель и/или издательство: Лань Дата публикации, год издания: 2021 Дата добавления в каталог КнигаЛит:

Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgC8Csm.

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

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

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

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

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

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