Теорема Гёделя о неполноте

Теорема Гёделя о неполноте

Detaylı Bibliyografya
Yazar:	Успенский В. А. Владимир Андреевич
Baskı/Yayın Bilgisi:	Москва, Наука, 1982
Seri Bilgileri:	Популярные лекции по математике Вып.57
Konular:	математическая логика теорема Геделя алгоритмы применение критерии неполнота арифметика аксиомы
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=311890

Benzer Materyaller

Построение формулировок теорем и способов доказательств. Логические приемы мышления в творческой деятельности
Yazar:: Калошина И. П. Инна Павловна
Baskı/Yayın Bilgisi: (Саранск, Изд-во Саратовского ГТУ, 1988)

Вводный курс математической логики
Yazar:: Успенский В. А. Владимир Андреевич
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2007)

Принцесса или тигр пер. с англ.
Yazar:: Смаллиан Р. М. Рэймонд М.
Baskı/Yayın Bilgisi: (Москва, Мир, 1985)

Последняя теорема Ферма. Генетическое введение в алгебраическую теорию чисел пер. с англ.
Yazar:: Эдвардс Г.
Baskı/Yayın Bilgisi: (Москва, Мир, 1980)

Математическая логика пер. с англ.
Yazar:: Клини С. К. Стивен Коул
Baskı/Yayın Bilgisi: (Москва, Едиториал УРСС, 2005)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
Yazar:: Сангалова М. Е.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)

Математическая логика. Курс лекций. Задачник-практикум и решения
Yazar:: Лихтарников Л. М.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2022)

Теорема существования гладкой неявной функции. Доказательство теоремы. Примеры. Задачи учебно-методическое пособие
Yazar:: Бибишкина Т. Е.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2019)

Вычислимое и невычислимое
Yazar:: Манин Ю. И. Юрий Иванович
Baskı/Yayın Bilgisi: (Москва, Сов. радио, 1980)

Теория формальных систем пер. с англ.
Yazar:: Смальян Р. Раймонд
Baskı/Yayın Bilgisi: (Москва, Наука, 1981)

Элементы булевозначного анализа
Yazar:: Кусраев А. Г.
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во института математики СО АН СССР, 1987)

Математическая логика и алгебра Сборник статей
Baskı/Yayın Bilgisi: (Москва, Наука, 2003)

Проблема неполноты теории и ее гносеологическое значение монография
Yazar:: Антипенко Л. Г. Леонид Григорьевич
Baskı/Yayın Bilgisi: (Москва, Наука, 1986)

Основная теорема арифметики пер. с рус.
Yazar:: Калужнин Л. А. Лев Аркадьевич
Baskı/Yayın Bilgisi: (Москва, Мир, 1979)

Книга о шашках
Yazar:: Городецкий В. Б. Вениамин Борисович
Baskı/Yayın Bilgisi: (Москва, Детская литература, 1980)

Книга о шашках
Yazar:: Городецкий В. Б. Вениамин Борисович
Baskı/Yayın Bilgisi: (Москва, Детская литература, 1984)

Теорема разделения в случае наблюдений с памятью
Yazar:: Демин Н. С. Николай Серапионович
Baskı/Yayın Bilgisi: (2005)

Алгебра и логика сборник научных трудов
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Алгебра и логика сборник научных трудов
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во ИМ СО РАН, 1991)

Математическая логика задачник-практикум для студентов физико-математического факультета
Yazar:: Троякова Г. А.
Baskı/Yayın Bilgisi: (Кызыл, ТувГУ, 2018)

Генценовские системы для исчисления высказываний и аксиоматической арифметики учебное пособие
Yazar:: Кипнис М. М. Михаил Маркович
Baskı/Yayın Bilgisi: (Челябинск, Изд-во ЧПИ, 1985)

Дискретная математика. Часть 1
Yazar:: Лежнина Ю. А.
Baskı/Yayın Bilgisi: (Москва, РТУ МИРЭА, 2023)

Логические и математические исчисления учебное пособие
Yazar:: Шиханович Ю. А. Юрий Александрович
Baskı/Yayın Bilgisi: (Москва, Научный мир, 2011)

Введение в математическую логику пер. с англ.
Yazar:: Мендельсон Э. Эллиот
Baskı/Yayın Bilgisi: (Москва, Наука, 1971)

Книга о шашках русские и международные шашки
Yazar:: Городецкий В. Б. Вениамин Борисович
Baskı/Yayın Bilgisi: (Москва, Физкультура и спорт, 1990)

Тауберовы теоремы и их приложение в анализе и математической физике
Yazar:: Сувейка И. В. Иван Васильевич
Baskı/Yayın Bilgisi: (Кишинев, Штиинца, 1982)

Введение в метаматематику пер. с англ.
Yazar:: Клини С. К. Стефен К.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1957)

Развитие представлений о надежности математического доказательства
Yazar:: Перминов В. Я. Василий Яковлевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1986)

Теоретико-числовые методы в криптографии. Ч. 1 Учебное пособие
Yazar:: Ильин М. Е.
Baskı/Yayın Bilgisi: (Рязань, РГРТУ, 2020)

Элементы математической логики
Yazar:: Новиков П. С. Петр Сергеевич
Baskı/Yayın Bilgisi: (Москва, Наука, 1973)

Доказуемое и недоказуемое
Yazar:: Манин Ю. И. Юрий Иванович
Baskı/Yayın Bilgisi: (Москва, Советское радио, 1979)

Дискретная математика учебник
Yazar:: Поздняков С. Н. Сергей Николаевич
Baskı/Yayın Bilgisi: (Москва, Академия, 2008)

Апология математики сборник статей
Yazar:: Успенский В. А. Владимир Андреевич
Baskı/Yayın Bilgisi: (СПб., Амфора, 2010)

О математической модели, описывающей движение растворов полимеров учебно–методическое пособие
Yazar:: Звягин А. В.
Baskı/Yayın Bilgisi: (Воронеж, ВГУ, 2015)

Сб. 8. Математика и философия I
Baskı/Yayın Bilgisi: (1914)

Математическая логика и теория алгоритмов учебное пособие
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Academia, 2004)

Симметрическая конструктивная логика
Yazar:: Заславский И. Д. Игорь Дмитриевич
Baskı/Yayın Bilgisi: (Ереван, Изд-во АН Армянской ССР, 1978)

Основания математики. Логические исчисления и формализация арифметики.
Yazar:: Гильберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1982)

Математическая логика и теория алгоритмов
Yazar:: Блатов И. А.
Baskı/Yayın Bilgisi: (Самара, ПГУТИ, 2017)

Математическая логика и теория алгоритмов учебное пособие
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Академия, 2008)