Нет отзывов
Купили 13 человек
Аннотация
| Издательство | |
|---|---|
| Переплет | Мягкий переплёт |
| Страниц | 312 |
| Год, тираж | 2018 |
1 349 ₽1 592 ₽
-15%
Последний экземпляр
как получить заказ
В магазинах сетиВ пн, 30 марта — бесплатно
- В пунктах выдачиВо вт, 31 марта — от 267 ₽
- КурьеромВо вт, 31 марта — от 317 ₽
- Почтой РоссииВ ср, 1 апреля — от 539 ₽
Получить сегодня
Нет в наличии, но есть в 1 магазине в других городах, 1 599 ₽
Отзывы
0Описание и характеристики
В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями "непротиворечивость", "доказуемость" и "разрешимость".
| Код | 2630313 |
|---|---|
| Издательство | |
| Автор | |
| Переплет | Мягкий переплёт |
| Кол-во страниц | 312 |
| Год издания | 2018 |
| ISBN | 978-5-8558-2335-6 |
| Раздел | Общие вопросы |
| Размеры | 1.3 см × 12.8 см × 20.1 см |
| Вес | 0.28 кг |