Теория логического вывода.Уч.пос; Издательство ЛАНЬ, 2024
Где купить (1)
Цена от 416 р. до 416 р. в 1 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Лабиринт | 1109 р. | 21.11.2024 |
| book24 | 969 р. | 28.12.2023 |
| Яндекс.Маркет | 1449 р. | 27.06.2024 |
| МАЙШОП | 674 р. | 23.06.2024 |
| OZON | 582 р. | 24.06.2024 |
Описание
Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным.
Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным группам специальностей «Информатика и вычислительная техника», а также других специальностей, изучающих раздел математической логики – теорию логического вывода. Может быть полезно для магистров, аспирантов, преподавателей и специалистов, профиль интересов и работа которых связаны с вопросами математической логики.
Смотри также о книге.
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | А. В. Ганичева |
| Переплет | Мягкий переплёт |
| Издатель | Издательство ЛАНЬ |
| Год издания | 2024 |
| Возрастные ограничения | 12 |
| Кол-во страниц | 92 |
| Серия | Высшее образование (Лань) |
| Раздел | Математические науки |
| ISBN | 978-5-507-51643-8 |
| Количество страниц | 92 |
| Формат | 165x235мм |
| Вес | 0.14кг |
| Размеры | 70x100 1/16 |
| Обложка | мягкая обложка |
| Язык издания | rus |
| Форматы электронной версии |
Отзывы (0)
Добавить отзыв
Зарегистрируйтесь и получайте бонусы за покупки!
Книги: Прикладная математика. Вычислительная математика - издательство "Лань"
Категория 332 р. - 499 р.
Дискретная математика для инженера
от 436 р.
История отечественной математики
от 338 р.
Краткая история математики.Уч.пос,3изд
от 345 р.
Книги: Прикладная математика. Вычислительная математика
Категория 332 р. - 499 р.
Теория тестирования логических устройств
от 349 р.
Стохастические задачи о разладке
от 390 р.
Теория графов
от 480 р.