Математическая логика: учебное пособие

Математическая логика: учебное пособие

Bibliografiske detaljer
Hovedforfatter:	Колмогоров А.Н. Андрей Николаевич
Institution som forfatter:	Московский государственный университет им. М. В. Ломоносова
Andre forfattere:	Драгалин А. Г. Альберт Григорьевич
Summary:	В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Sprog:	russisk
Udgivet:	Москва, УРСС, 2005
Udgivelse:	2-е изд., стер.
Serier:	Классический университетский учебник
Fag:	математическая логика теория множества логико-математические языки логические законы аксиоматические теории алгорифмы доказательства
Format:	Bog
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=81150

Lignende værker

Математическая логика: дополнительные главы: учебное пособие
af: Колмогоров А. Н. Андрей Николаевич
Udgivet: (Москва, Изд-во МГУ, 1984)

Математическая логика: учебное пособие
af: Игошин В. И. Владимир Иванович
Udgivet: (Москва, Инфра-М, 2012)

Математическая логика: учебное пособие
af: Игошин В. И. Владимир Иванович
Udgivet: (Москва, Инфра-М, 2019)

Математическая логика: учебное пособие
af: Лавров И. А. Игорь Андреевич
Udgivet: (Москва, Академия, 2006)

Математическая логика: учебное пособие
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (Москва, Наука, 1979)

Множества. Логика. Аксиоматические теории: пер. с англ.
af: Столл Р. Р. Роберт Р.
Udgivet: (Москва, Просвещение, 1968)

Математическая логика и теория алгоритмов: учебное пособие
af: Игошин В. И. Владимир Иванович
Udgivet: (Москва, Academia, 2004)

Теория алгорифмов
af: Марков А. А. Андрей Андреевич
Udgivet: (Москва, Фазис, 1997)

Математическая логика: учебное пособие
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (СПб., Лань, 2004)

Математическая логика: учебное пособие
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (СПб., Лань, 2005)

Математическая логика: учебное пособие для вузов
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (СПб., Лань, 2005)

Математическая логика: учебное пособие для вузов
af: Ершов Ю. Л. Юрий Леонидович
Udgivet: (Москва, Физматлит, 2011)

Математическая логика и теория алгоритмов: учебное пособие
af: Игошин В. И. Владимир Иванович
Udgivet: (Москва, Академия, 2008)

Математическая логика: учебное пособие
af: Ершов Юрий Леонидович
Udgivet: (Москва, Наука, 1987)

Логика: учебное пособие для вузов
af: Ивин А. А. Александр Архипович
Udgivet: (Москва, Высшая школа, 2004)

Логика
af: Шадже А. Ю.
Udgivet: (Майкоп, АГУ, 2018)

Логика: учебник
af: Демидов И. В. Игорь Владимирович
Udgivet: (Москва, Дашков и К, 2007)

Математическая логика учебник и практикум для вузов
af: Скорубский В. И. Владимир Иванович
Udgivet: (Москва, Юрайт, 2021)

Математическая логика учебник и практикум для вузов
af: Скорубский В. И. Владимир Иванович
Udgivet: (Москва, Юрайт, 2022)

Математическая логика учебник и практикум для вузов
af: Скорубский В. И. Владимир Иванович
Udgivet: (Москва, Юрайт, 2025)

Математическая логика учебник и практикум для вузов
af: Скорубский В. И. Владимир Иванович
Udgivet: (Москва, Юрайт, 2023)

Математическая логика учебник и практикум для вузов
af: Скорубский В. И. Владимир Иванович
Udgivet: (Москва, Юрайт, 2024)

Логика: учебное пособие
af: Хоменко Е. А. Ефим Алексеевич
Udgivet: (Москва, Воениздат, 1976)

Теория поиска вывода. Происхождение и философские приложения монография
af: Брюшинкин В. Н.
Udgivet: (Калининград, БФУ им. И.Канта, 2012)

Логика: теория аргументации и критического мышления
af: Воробьева С. В.
Udgivet: (Минск, БГУ, 2018)

Дискретная математика учебное пособие
af: Бекарева Н. Д.
Udgivet: (Новосибирск, НГТУ, 2019)

Вводный курс математической логики
af: Успенский В. А. Владимир Андреевич
Udgivet: (Москва, Физматлит, 2007)

Основы высшей математики: учебное пособие
af: Лурье Л. И.
Udgivet: (Москва, Дашков и К, 2003)

Универсальная алгебра, алгебраическая логика и базы данных
af: Плоткин Б. И. Борис Исаакович
Udgivet: (Москва, Наука, 1991)

Логика: учебное пособие: Дистанционное образование
af: Коровкина Н. М. Наталья Михайловна
Udgivet: (Томск, Изд-во ТПУ, 2001)

Исследования по теории алгорифмов и математической логике: сборник
Udgivet: (Москва, Наука, 1979)

Логика: учебник
af: Демидов И. В. Игорь Владимирович
Udgivet: (Москва, Дашков и К, 2013)

Математическая логика и теория алгоритмов для программистов: учебное пособие
af: Гринченков Д. В. Дмитрий Валерьевич
Udgivet: (Москва, КноРус, 2010)

Аксиоматические системы теории множеств: пер. с фр.
af: Ван Хао
Udgivet: (Москва, Изд-во иностранной литературы, 1963)

Математическая логика: пер. с англ.
af: Клини С. К. Стивен Коул
Udgivet: (Москва, Едиториал УРСС, 2005)

Математическая логика и теория алгоритмов: учебное пособие
af: Гурова Л. М. Любовь Михайловна
Udgivet: (Москва, Изд-во МГГУ, 2006)

Теория алгоритмов: учебное пособие для вузов
af: Фалевич Б. Я. Борис Яковлевич
Udgivet: (Москва, Машиностроение, 2004)

Математическая логика и теория алгоритмов для программистов: учебное пособие
af: Гринченков Д. В. Дмитрий Валерьевич
Udgivet: (Москва, КноРус, 2013)

Математика и информатика: учебное пособие
af: Козлов В. Н. Владимир Николаевич
Udgivet: (СПб., Питер, 2004)

Как математика ум в порядок приводит
af: Столяр А. А. Абрам Аронович
Udgivet: (Минск, Вышэйшая школа, 1982)