| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=теорема Геделя<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.

    Пенроуз, Р.
    Новый ум короля. О компьютерах, мышлении и законах физики [Текст] / Р. Пенроуз ; пер. с англ. под общ. ред. В. О. Малышенко. - 2-е изд., испр. - М. : УРСС, 2005. - 400 с. : ил. ; 25 см. - (Синергетика: от прошлого к будущему). - Библиогр. : с. 384-390. - ISBN 5-354-00993-6 : 252.70 р.
ГРНТИ
43
УДК
5
ББК 20

Рубрики: Естественные науки--Синергетика

Кл.слова (ненормированные):
естественные науки -- синергетика -- искусственный интеллект -- машина Тьюринга -- теория сложности -- теорема Геделя -- парадоксы -- энтропия -- классический мир -- квантовая магия -- теория гравитации
Аннотация: Монография посвящена изучению проблемы искусственного интеллекта на основе всестороннего анализа достижений современных наук.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
2.

    Успенский, В. А.
    Теорема Геделя о неполноте [Текст] : научно-популярная литература / В. А. Успенский. - М. : Наука, 1982. - 112 с. ; 21 см. - (Популярные лекции по математике). - 15.00 р.
ГРНТИ
27.03
УДК
510.6
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРЕМА ГЕДЕЛЯ -- ТЕОРЕМА О НЕПОЛНОТЕ -- АРИФМЕТИКА
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
3.

    Манин, Ю. И.
    Вычислимое и невычислимое [Текст] / Ю. И. Манин. - Москва : Советское радио, 1980. - 128 с. : ил. - (Кибернетика). - 0.45 р.
ББК 32.81

Рубрики: Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
Геделя теорема -- диофантовы множества -- информация -- искусственный интеллект -- машинный перевод -- теорема Геделя -- эвм
Аннотация: Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
4.

    Бирюков, Б. В.
    Жар холодных чисел и пафос бесстрастной логики. Формализация мышления от античных времен до эпохи кибернетики [Текст] / Б. В. Бирюков, В. Н. Тростников. - М. : Знание, 1977. - 192 с. : ил. ; 20 см. - (Наука и прогресс). - 0.35 р.
ГРНТИ
02.21
УДК
16+007

Рубрики: Философия--Логика

Кл.слова (ненормированные):
РАЗВИТИЕ ЛОГИКИ -- КИБЕРНЕТИКА -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ -- ПИСЬМЕННОСТЬ -- ТЕОРЕМА ГЕДЕЛЯ -- НАУЧНЫЕ ОТКРЫТИЯ
Аннотация: Создана общая картина подготовки и развития логико-математических аспектов кибернетики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Тростников, В. Н.
Найти похожие
5.

    Манин, Ю. И.
    Доказуемое и недоказуемое [Текст] : научно-популярная литература / Ю. И. Манин. - М. : Советское радио, 1979. - 167 с. ; 0.60. - (Кибернетика). - 0.60 р.
ГРНТИ
28.01
УДК
007+510.6

Рубрики: Кибернетика

Кл.слова (ненормированные):
ФОРМАЛЬНЫЕ ЯЗЫКИ -- ТЕОРЕМА ГЕДЕЛЯ -- СЧЕТНЫЕ МОДЕЛИ -- ПАРАДОКС СКОЛЕМА -- ЯЗЫК SELF -- ТЕОРЕМА ТАРСКОГО -- МОЩНОСТЬ КОНТИНУУМА
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие
6.

    Колмогоров, Андрей Николаевич.
    Математическая логика [Текст] : дополнительные главы / А. Н. Колмогоров. - Москва : Издательство Московского государственного университета, 1984. - 119 с. - 0.25 р.
ББК 22.1

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
рекурсивные множества -- тезис Черча -- теорема Геделя -- теория алгорифмов -- теория доказательств -- теория множеств
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
7.

    Манин, Юрий Иванович.
    Доказуемое и недоказуемое [Текст] : монография / Ю. И. Манин. - Москва : Советское радио, 1979. - 168 с. : рис. - (Кибернетика). - Библиогр.: с. 161-166. - 0.60 р.
ББК 22.1 + 32.81

Рубрики: Математика--Математическая кибернетика

   Радиоэлектроника--Кибернетика

Кл.слова (ненормированные):
Лемма -- аксиомы арифметики -- аксиомы бесконечности -- арифметика Шмульяна -- булева алгебра -- гипотезы континуума -- интерпретация -- истинность -- квантовая логика -- кеннинги -- математические методы -- математический текст -- парадоксы Сколема -- свойства истинности -- счетные модели -- тавтология -- теорема Геделя -- теорема Тарского -- формальные языки -- формальные языки -- форсинг -- язык SELF
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив на достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение, сопровождается экскурсами в физику, психологию и семиотику.
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие
8.

    Линдон, Р.
    Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гастева ; ред. И. М. Яглом. - Москва : Мир, 1968. - 128 с. - 0.41 р.
ББК 22.12

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
булева алгебра -- геделевы номера -- логика -- математические методы -- пропозициональная логика -- разрешимые теории -- теорема Геделя -- теорема Крейга -- теорема Левенгейма-Сколема -- теорема Тарского -- теорема Черча -- теорема Эрбрана-Генцена -- теорема адекватности -- теорема дедукции -- теорема компктности -- теорема о непротиворечивости -- теоремы (логика)
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)


Доп. точки доступа:
Гастева, Ю. А.
Яглом, Исаак Моисеевич
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)