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