Теория логического вывода. Учебное пособие для вузов
Купили 2 человека
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики — теорию логического вывода. Может быть полезно для магистров, асп
- Переплёт Мягкий
- Кол-во стр. 92
- Вес 140 г
- Год издания 2021
Отзывы
Описание и характеристики
- Переплёт Мягкий
- Кол-во стр. 92
- Вес 140 г
- Год издания 2021
- Издательство
- Серия
- Автор
- Размеры в см 0.4x16.5x23.5
- ID товара 2854445
- ISBN 978-5-8114-7284-0
