Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=теорема Геделя<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

Форма документа : Однотомне видання
Шифр видання : 51/Г47
Автор(и) : Гильберт, Давид, Бернайс, Пауль
Назва : Основания математики : теория доказательств
Паралельн. назви :Grundlagen der mathematik. II: D. Hilbert, P. Bernays
Вихідні дані : М.: Наука, 1982
Кільк.характеристики :652 с.: рис.
Серія: Математическая логика и основания математики
Примітки : Прил.: с. 457-646. - Алфав. указ.: с. 647-652
Ціна : 3.40 р.
УДК : 51
ББК : 22.12
Предметні рубрики: Математика
Ключові слова (''Вільн.індекс.''): математика--теорема эрбрана--теорема ербрана--геометрия--геометрія--математический анализ--математичний аналіз--теорема геделя--теорема геделя--гильбертовский подход--гільбертовський підхід--теорема черча--парадокс ришара--парадокс рішара--теория доказательств--теорія доказів--основания математики--основи математики
Анотація: Подробно излагаются и обсуждаются результаты теории доказательств, относящиеся к логическим исчислениям и формализованной арифметике.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6/М50
Автор(и) : Мендельсон, Элиот
Назва : Введение в математическую логику . -2-е изд., испр.
Паралельн. назви :Introduktion to mathematical logic
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1976
Кільк.характеристики :320 с.: рис.
Примітки : Лит.: с. 296-309. - Алф. указ.: с. 310-317
Ціна : 1.65 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6(075.8)/К60
Автор(и) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Назва : Математическая логика. Дополнительные главы : учеб. пособие для студентов вузов, обучающихся по специальности "Математика"
Вихідні дані : М.: Изд-во Моск. ун-та, 1984
Кільк.характеристики :120 с
Примітки : Лит.: с. 119
Ціна : 0.25 р.
УДК : 510.6(075.8)
ББК : 22.122я73
Предметні рубрики: Матемиатична логіка
Географіч. рубрики:
Анотація: В данном издании излагаются фундаментальные факты математической логики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 517/С50
Автор(и) : Смаллиан, Рєймонд М.
Назва : Принцесса или тигр?
Паралельн. назви :The lady or the tiger?
Вихідні дані : М.: Мир, 1985
Кільк.характеристики :220 с.: рис.
Примітки : Библиогр. в подстрочном примеч.
Ціна : 0.55 р.
УДК : 517
ББК : 22.122
Предметні рубрики: Математика
Математична логіка
Географіч. рубрики:
Анотація: Книга в занимательной форме знакомит читателя с логическими парадоксами, головоломками, логическими и арифметическими задачами.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)