Книга: Раймонд Смаллиан «Вовеки неразрешимое. Путь к Геделю через занимательные загадки»
|
Производитель: "Канон+РООИ Реабилитация" Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте. ISBN:978-5-88373-081-7, 978-5-88373-319-1 Издательство: "Канон+РООИ Реабилитация" (2013) Формат: 84x108/32, 304 стр.
ISBN: 978-5-88373-319-1 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Молчаливое Дао | Книга представляет собой размышления, инспирированные китайской философией, видного американского… — Канон+РООИ Реабилитация, (формат: 84x108/32, 224 стр.) Библиотека аналитической философии Подробнее... | бумажная книга |
