Поисковый запрос: (<.>KL=теорема Геделя<.>) |
Общее количество найденных документов : 8
Показаны документы с 1 по 8 |
1. 
|
Вид документа : Однотомное издание
Шифр издания : 5/П 25
Автор(ы) : Пенроуз Р.
Заглавие : Новый ум короля. О компьютерах, мышлении и законах физики
. -2-е изд., испр.
Выходные данные : М.: УРСС, 2005
Колич.характеристики :400 с.:
ил.; 25 см
Серия: Синергетика: от прошлого к будущему
Примечания : Библиогр. : с. 384-390
ISBN, Цена 5-354-00993-6: 252.70 р.
ГРНТИ : 43
УДК : 5
ББК : 20
Предметные рубрики: Естественные науки-- Синергетика
Ключевые слова (''Своб.индексиров.''): естественные науки--синергетика--искусственный интеллект--машина тьюринга--теория сложности--теорема геделя--парадоксы--энтропия--классический мир--квантовая магия--теория гравитации
Аннотация: Монография посвящена изучению проблемы искусственного интеллекта на основе всестороннего анализа достижений современных наук.
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 510/У 77
Автор(ы) : Успенский В.А.
Заглавие : Теорема Геделя о неполноте
: научно-популярная литература
Выходные данные : М.: Наука, 1982
Колич.характеристики :112 с.
; 21 см
Серия: Популярные лекции по математике
Цена : 15.00 р.
ГРНТИ : 27.03
УДК : 510.6
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): математика--математическая логика--теорема геделя--теорема о неполноте--арифметика
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 32.81
Автор(ы) : Манин Ю. И.
Заглавие : Вычислимое и невычислимое
Выходные данные : Москва: Советское радио, 1980
Колич.характеристики :128 с.:
ил.
Серия: Кибернетика
Цена : 0.45 р.
ББК : 32.81
Предметные рубрики: Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): геделя теорема--диофантовы множества--информация--искусственный интеллект--машинный перевод--теорема геделя--эвм
Аннотация: Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач.
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 16/Б 64
Автор(ы) : Бирюков Б. В., Тростников В. Н.
Заглавие : Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики
Выходные данные : М.: Знание, 1977
Колич.характеристики :192 с.:
ил.; 20 см
Серия: Наука и прогресс
Цена : 0.35 р.
ГРНТИ : 02.21
УДК : 16+007
Предметные рубрики: Философия-- Логика
Ключевые слова (''Своб.индексиров.''): развитие логики--кибернетика--вычислительные машины--письменность--теорема геделя--научные открытия
Аннотация: Создана общая картина подготовки и развития логико-математических аспектов кибернетики.
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 007/М 23
Автор(ы) : Манин Ю. И.
Заглавие : Доказуемое и недоказуемое
: научно-популярная литература
Выходные данные : М.: Советское радио, 1979
Колич.характеристики :167 с.
; 0.60
Серия: Кибернетика
Цена : 0.60 р.
ГРНТИ : 28.01
УДК : 007+510.6
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): формальные языки--теорема геделя--счетные модели--парадокс сколема--язык self--теорема тарского--мощность континуума
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику.
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 22.1
Автор(ы) : Колмогоров, Андрей Николаевич
Заглавие : Математическая логика
: дополнительные главы
Выходные данные : Москва: Издательство Московского государственного университета, 1984
Колич.характеристики :119 с
Цена : 0.25 р.
ББК : 22.1
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): рекурсивные множества--тезис черча--теорема геделя--теория алгорифмов--теория доказательств--теория множеств
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 22.1
Автор(ы) : Манин, Юрий Иванович
Заглавие : Доказуемое и недоказуемое
: монография
Выходные данные : Москва: Советское радио, 1979
Колич.характеристики :168 с.:
рис
Серия: Кибернетика
Примечания : Библиогр.: с. 161-166
Цена : 0.60 р.
ББК : 22.1 + 32.81
Предметные рубрики: Математика-- Математическая кибернетика
Радиоэлектроника-- Кибернетика
Ключевые слова (''Своб.индексиров.''): лемма--аксиомы арифметики--аксиомы бесконечности--арифметика шмульяна--булева алгебра--гипотезы континуума--интерпретация--истинность--квантовая логика--кеннинги--математические методы--математический текст--парадоксы сколема--свойства истинности--счетные модели--тавтология--теорема геделя--теорема тарского--формальные языки--формальные языки--форсинг--язык self
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику.
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Линдон Р.
Заглавие : Заметки по логике
Выходные данные : Москва: Мир, 1968
Колич.характеристики :128 с
Цена : 0.41 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): булева алгебра--геделевы номера--логика--математические методы--пропозициональная логика--разрешимые теории--теорема геделя--теорема крейга--теорема левенгейма-сколема--теорема тарского--теорема черча--теорема эрбрана-генцена--теорема адекватности--теорема дедукции--теорема компктности--теорема о непротиворечивости--теоремы (логика)
Найти похожие
|
|
|
Электронный каталог
Стандартный (по одному полю)