Главная » Книги » Вовеки неразрешимое. Путь к Геделю через занимательные загадки

Вовеки неразрешимое. Путь к Геделю через занимательные загадки

Цена: руб.
Артикул товара 690069
author Смаллиан Р.
publisher Эдиториал УРСС
series -
year 2013
ISBN 978-5-88373-319-1
volume 1
cover твердый переплет
pages 304
интернет магазин игрушек

Купить Вовеки неразрешимое. Путь к Геделю через занимательные загадки в интернет-магазине

Эта книга представляет собой введение в теоремы Геделя посредством логических занимательных проблем с применением математической логики. Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю. Основной упор сделан на системы вере и их соотношению с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте. Купить картины маслом

Популярные товары

Ротационный насос для топлива.
Применяется для снятия изоляции и резания, для медного и алюминиевого кабеля. Новый запатентованный изогнутый профиль. Прецизионные отшлифованные режущие кромки. Регулируемое винтовое соединение. Длина 160 мм.
Файл из картона, покрытого пластиковым материалом с тиснением "под кожу" для увеличения срока использования.Этикетка для маркировки наклеена на корешок файла. Для демонтажа арочного механизма требуется нажать на
С раскрывающей пружиной и фиксатором. Для снятия изоляции и резания, для медного и алюминиевого кабеля. Новый изогнутый профиль. Прецизионные отшлифованные режущие кромки. Регулируемое винтовое соединение. Длина 210 мм.
Файл из картона, покрытого пластиковым материалом с тиснением "под кожу" для увеличения срока использования.Этикетка для маркировки наклеена на корешок файла. Для демонтажа арочного механизма требуется нажать на
Файл из картона, покрытого пластиковым материалом с тиснением "под кожу" для увеличения срока использования.Этикетка для маркировки наклеена на корешок файла. Для демонтажа арочного механизма требуется нажать на
Файл из картона, покрытого пластиковым материалом с тиснением "под кожу" для увеличения срока использования.Этикетка для маркировки наклеена на корешок файла. Для демонтажа арочного механизма требуется нажать на
Кабелерез храповый для медного и алюминиевого кабеля. Для кабеля диаметром до 100 мм. Длина 870 мм.
Файл из картона, покрытого пластиковым материалом с тиснением "под кожу" для увеличения срока использования.Этикетка для маркировки наклеена на корешок файла. Для демонтажа арочного механизма требуется нажать на
Кабелерез храповый для медного и алюминиевого кабеля. Для кабеля диаметром до 32 мм. Длина 250 мм.
Магнитный сборник металлических предметов. Вес: 5,5 кг.
Файл из картона, покрытого пластиковым материалом с тиснением "под кожу" для увеличения срока использования.Этикетка для маркировки наклеена на корешок файла. Для демонтажа арочного механизма требуется нажать на
Кабелерез храповый для медного и алюминиевого кабеля. Для кабеля диаметром до 52 мм. Простота в эксплуатации, оптимальное соотношение рычагов. Длина 280 мм.
Кабелерез храповый для медного и алюминиевого кабеля. Для кабеля диаметром до 55 мм. Простота в эксплуатации, оптимальное соотношение рычагов. Длина 430 мм.
Кабелерез храповый для медного и алюминиевого кабеля. Для кабеля диаметром до 60 мм. Простота в эксплуатации, оптимальное соотношение рычагов. Длина 720 мм.
Ударные головки выполнены из специального хром-ванадиевого сплава с добавлением молибдена и имеют оптимальную толщину стенки для прочности и доступа к труднодоступным болтовым соединениям. Головки ударные имеют сквозные
Кабельный нож раскладной. Длина в разложенном виде 200 мм. Вес 75 грамм.
Файл из картона, покрытого пластиковым материалом с тиснением "под кожу" для увеличения срока использования.Этикетка для маркировки наклеена на корешок файла. Для демонтажа арочного механизма требуется нажать на