Теория логического вывода: Антонина Ганичева

Рейтинг
Оцените и оставьте рецензию

Аннотация

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

Характеристики

ID товара
807377 
ISBN
978-5-8114-7284-0 
Страниц
92 (Офсет)
Вес
132 г
Размеры
235x164x5 мм
Тип обложки
обл - мягкий переплет (крепление скрепкой или клеем) 
Иллюстрации
Черно-белые 
Все характеристики
Ограниченное количество Ограниченное количество
555
1 109
Инфо
Библионочь 2025
-50%
Вы сэкономите
554
Скидка 50%
555
1 109
Рецензии на книгу
Читали книгу? Как она вам?
+50 ₽ за рецензию
Вы можете стать одним из первых, кто напишет рецензию на эту книгу, и получить бонус — до 50 рублей на баланс в Лабиринте!

Книги из серии Математика

Книги из жанра