Теория логического вывода. Учебное пособие для вузов
Этот товар закончился.
Описание и характеристики
ID товара
2854445
Издательство
Лань
Серия
Высшее образование
Год издания
2021
ISBN
978-5-8114-7284-0
Количество страниц
92
Размер
0.4x16.5x23.5
Тип обложки
Мягкий переплёт
Тираж
30
Вес, г
140
Отзывы
15 бонусов
за полезный отзыв длиной от 300 символов
15 бонусов
если купили в интернет-магазине «Читай-город»
Оставьте отзыв и получите бонусы
Оставьте первый отзыв и получите за него бонусы.
Это поможет другим покупателям сделать правильный выбор.
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.