Этот товар закончился, но мы подобрали похожие
Нет отзывов
Купили 20 человек
Аннотация
| Серия | Высшее образование |
|---|---|
| Издательство | |
| Страниц | 92 |
| Год, тираж | 2021 |
Описание и характеристики
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
| Код | 2854445 |
|---|---|
| Издательство | |
| Серия | Высшее образование |
| Автор |
|
| Кол-во страниц | 92 |
| Год издания | 2021 |
| ISBN | 978-5-8114-7284-0 |
| Раздел | Математические науки |
| Размеры | 16.5 см × 23.5 см |
| Вес | 0.14 кг |