Теория логического вывода Лань 978-5-8114-7284-0, Ганичева Антонина Валериановна

Цена: 1036 674 руб.

Цены на книгу в магазинах:
	My-shop.ru	- 674 руб. 0%
	Лабиринт	- 776 руб. 0%

Категория: Образование, учебная литература, ВУЗовская литература, Математика. Алгебра, Учебники: доп. пособия

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

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

подробнее...

Комментарии, отзывы о "Теория логического вывода":

Добавить первый отзыв ...

Посетители интересовались: