Аннотация к книге «Вовеки неразрешимое. Путь к Геделю через занимательные загадки» Смаллиан Р.:Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте. Читать дальше…
Вовеки неразрешимое. Путь к Геделю через занимательные загадки
Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики.
Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вер и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
$16.49
| Вес | 13 унция |
|---|---|
| Габариты | 8.5 × 5.7 × 1.0 дюйм |
| ISBN | 978-5-88373-319-1 |
| EAN | 9785883733191 |
| Формат | 84×108/32 |
| Издательство | |
| Серия | |
| Переплет | Твердый переплет |
| Автор | Смаллиан Р. Вовеки неразрешимое.Путь к Геделю через занимательные загадки. |
| Стандарт | 14 |
| Дата получения | 07.04.2021 |
| Год выпуска | |
| Количество страниц | 304 |
| SKU | 275430 |
| Формат, мм\см | 130×200 |
| Город | Москва |
| Язык текста | |
| Тираж | 1000 |