|
Название: Вовеки неразрешимое: Путь к Гёделю через занимательные загадки
Автор: Смаллиан Р.
Издательство: М.: «Канон+»
Год: 2013
Формат: PDF/DjVu
Качество: Отсканированные страницы + слой распознанного текста
Интерактивное оглавление: Да
Страниц: 305
Размер: 52.3 MB
Язык: Русский
Эта книга представляет собой введение в теорию Гёделя посредством логических занимательных задач с применением математической логики. Аргументация Гёделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношение с математикой. то приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте. |
Автор: Имедведь 24-02-2017, 22:59 | Напечатать
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
|
|
|
Разделы сайта
Авторизация
Реклама
Вовеки неразрешимое: Путь к Гёделю через занимательные загадки 
