Сравнить цены на книгу: Теория логического вывода.Уч.пос; Лань, 2021
Где купить (5)
Цена от 312 р. до 1449 р. в 5 магазинах
Магазин | Цена | Наличие |
---|---|---|
Магазин | Последняя известная цена | Обновлено |
---|---|---|
Буквоед | 969 р. | 28.12.2023 |
book24 | 969 р. | 28.12.2023 |
Читай-город | 969 р. | 28.12.2023 |
Описание
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Ганичева Антонина Валериановна |
Переплет | Мягкий переплёт |
Издатель | Лань |
Год издания | 2021 |
Возрастные ограничения | 12 |
Кол-во страниц | 92 |
Серия | Математика |
Раздел | Математические науки |
ISBN | 978-5-8114-7284-0 |
Количество страниц | 92 |
Формат | 165x235мм |
Вес | 0.14кг |
Размеры | 70x100 1/16 |
Обложка | мягкая обложка |
Язык издания | rus |
Отзывы (0)
Добавить отзыв
Книги: Прикладная математика. Вычислительная математика - издательство "Лань"
Категория 249 р. - 374 р.
Книги: Прикладная математика. Вычислительная математика
Категория 249 р. - 374 р.