Название: Вовеки неразрешимое: Путь к Гёделю через занимательные загадки Автор: Смаллиан Р. Издательство: М.: «Канон+» Год: 2013 Формат: PDF/DjVu Страниц: 305 Размер: 18,39 Мб Язык: Русский
Эта книга представляет собой введение в теорию Гёделя посредством логических занимательных задач с применением математической логики. Аргументация Гёделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношение с математикой. то приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Введение в математическую логику (2018) Название: Введение в математическую логику Автор: Зюзьков В.М. Издательство: Лань Год: 2018 Страниц: 266 Формат: PDF Размер: 57 Мб Язык:...
Логические исследования Название: Логические исследования Автор: Кольман Э. и др. (ред.) Издательство: АН СССР Год: 1959 Формат: DjVu Качество: Отсканированные страницы +...
Введение в математическую логику (1959) Название: Введение в математическую логику Автор: Попов А.И. Издательство: Ленинград, издательство Ленинградского университета Год: 1959 Формат:...
Как же называется эта книга?(1981) Название: Как же называется эта книга? Автор: Смаллиан Р.М. Издательство: Мир Год: 1981 Формат: PDF Качество: Отсканированные страницы Страниц: 242...
Навигация
Вход на сайт
Реклама
Вовеки неразрешимое: Путь к Гёделю через занимательные загадки 
