Теория логического вывода.Уч.пос; Лань, 2021
- Издатель: Лань
- ISBN: 978-5-8114-7284-0
EAN: 978-5-8114-7284-0
- Книги: Математика
- ID: 7921211
Описание
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Видео Обзоры (5)
Анатолий Фоменко. Как распадалась Всемирная Империя. Часть 1
Направленная эволюция — Борис Злотин — Семинар AGI
Формирование и развитие теории менеджмента
Укрытое море: работа с путевыми случайностями
Просто о дизайне | №10 Логостроение
Характеристики (15)
Параметр | Значение |
---|---|
Автор(ы) | Ганичева Антонина Валериановна |
Переплет | Мягкий переплёт |
Издатель | Лань |
Год издания | 2021 |
Возрастные ограничения | 12 |
Кол-во страниц | 92 |
Серия | Математика |
Раздел | Математические науки |
ISBN | 978-5-8114-7284-0 |
Количество страниц | 92 |
Формат | 165x235мм |
Вес | 0.14кг |
Размеры | 70x100 1/16 |
Обложка | мягкая обложка |
Язык издания | rus |
Сравнить цены (8)
Цена от 137 грн. до 636 грн. в 8 магазинах
Магазин | Цена | Наличие |
---|---|---|
Купить в кредит (2)
Компания | Предложение |
---|---|
Полезные онлайн-сервисы
Компания | Предложение |
---|