Г47 Гильберт, Давид. Основания математики [Текст] : теория доказательств = Grundlagen der mathematik. II : D. Hilbert, P. Bernays / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорный ; под ред. С. И. Адяна. - М. : Наука, 1982. - 652 с. : рис. - (Математическая логика и основания математики). - Прил.: с. 457-646. - Алфав. указ.: с. 647-652. - 3.40 р.
Рубрики: Математика--Наукові видання Кл.слова (ненормовані): математика -- теорема Эрбрана -- теорема Ербрана -- геометрия -- геометрія -- математический анализ -- математичний аналіз -- теорема Геделя -- теорема Геделя -- гильбертовский подход -- гільбертовський підхід -- теорема Черча -- парадокс Ришара -- парадокс Рішара -- теория доказательств -- теорія доказів -- основания математики -- основи математики Анотація: Подробно излагаются и обсуждаются результаты теории доказательств, относящиеся к логическим исчислениям и формализованной арифметике. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Бернайс, Пауль; Нагорный, Н. М. \пер.\; Адян, С. И. \ред. пер.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
М50 Мендельсон, Элиот. Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.
Рубрики: Математична логіка--Наукові видання Кл.слова (ненормовані): тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
К60 Колмогоров, Андрей Николаевич. Математическая логика. Дополнительные главы [] : учеб. пособие для студентов вузов, обучающихся по специальности "Математика" / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1984. - 120 с. - Лит.: с. 119. - 0.25 р.
Рубрики: Матемиатична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): аксиоматическая теория множеств -- аксіоматична теорія множин -- теория алгоритмов -- теорія алгоритмів -- теория предикатов -- теорія предикатів -- теория доказательств -- теорія доказів -- теорема Геделя -- программа Гильберта -- програма Гільберта Анотація: В данном издании излагаются фундаментальные факты математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Драгалин, Альберт Григорьевич Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
С50 Смаллиан, Рєймонд М.. Принцесса или тигр? [] = The lady or the tiger? / Рэймонд М. Смаллиан ; пер. с англ. И. Е. Зино ; под ред. Ю. И. Манина. - М. : Мир, 1985. - 220 с. : рис. - Библиогр. в подстрочном примеч. - 0.55 р.
Рубрики: Математика--Популярні видання Математична логіка--Популярні видання Кл.слова (ненормовані): логічні задачі -- логические задачи -- арифметичні задачі -- арифметические задачи -- головоломки -- теорема Геделя -- закони Фергюссона -- законы Фергюссона -- цікаві задачі -- занимательные задачи -- принцип Крейга Анотація: Книга в занимательной форме знакомит читателя с логическими парадоксами, головоломками, логическими и арифметическими задачами. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Зино, И. Е. \пер.\; Манина, Ю. И. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |