Google 
Аннотация: Теория логического вывода
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики - теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
| Автор/составитель | Ганичева Антонина Валериановна |
| Серия | Математика |
| Год выпуска | 2021 |
| ISBN | 978-5-8114-7284-0 |
| Производитель | Лань |
| Издательство | Лань |
| Количество томов | 1 |
| Количество страниц | 92 |
| Переплет | Мягкая обложка |
| Размеры | 235x164x5 мм |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 70x100/16 (170x240 мм) |
| Стандарт | 10 |
| Вес | 132 |
| Язык | русский |
Бесплатная Доставка по Европе (EU)*
*Для заказов свыше 40, - евро Подробнее
Теория логического вывода
-24%- Производитель: Лань
- Модель: MYSH4558363
- ISBN: 978-5-8114-7284-0
- Наличие: Есть в наличии
-
Срок доставки: 21 день
- (6 оценок)
-
18.07€ 13.73€
Во-первых - Вы молодец!
