Теория логического вывода Лань 978 5 8114 7284 0 Рассмотрены вопросы теории

Цена: 1036 674 руб.

Категория: Образование, учебная литература, ВУЗовская литература, Математика. Алгебра, Учебники: доп. пособия
Производитель: Лань
Артикул: 978-5-8114-7284-0
Модель:

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

Магазин: My-shop.ru

Штрих-код: 9785811472840
ISBN: 978-5-8114-7284-0
Объем: 92
Ширина: 164 мм
Длина: 235 мм
Высота: 5 мм
Серия: Математика
Автор: Ганичева Антонина Валериановна
Формат: 70x100 1/16
Год: 2021
Вес: 132 г
Группа: Книги
Обложка: мягкая обложка
vat: VAT_10