Ebook: Математическая логика
Author: Колмогоров А.Н. Драгалин А.Г.
- Genre: Математика // Математическая логика
- Tags: Математика, Математическая логика
- Series: Классический университетский учебник
- Year: 2006
- Publisher: URSS
- City: Москва
- Edition: 3-е, стер.
- Language: Русский
- djvu
А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» (1982) и «Математическая логика. Дополнительные главы» (1984), ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова.
Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
------------------------------------------
Другие книги по математической логике и теории алгоритмов на сайте:
Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика
Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга
Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике (3-е изд.(2005))
Гилберт Д., Аккерман В. Основы теоретической логики
Гилберт Д., Бернайс П. Основания математики
Гуц А.К. Математическая лоrика и теория алrоритмов
Гладкий А.В. Математическая логика
Гохман А.В. Сборник задач по математической логике и алгебре множеств
Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики
Ершов Ю.Л., Палютин Е.А. Математическая логика
Игошин В.И. Математическая логика и теория алгоритмов
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов
Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики
Клини С.К. Математическая логика
Крайзель Г. Исследования по теории доказательств
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов
Л. М. Лихтарников, Т. Г. Сукачева Математическая логика
Мацнев А.П. Математическая логика и теория алгоритмов
Мальцев А.И. Избранные труды, в 2-х томах
Мальцев А.Н. Алгоритмы и рекурсивные функции
Мендельсон Э. Введение в математическую логику
Никольская И.Л. Математическая логика
Новиков П.С. Элементы математической логики
Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики
Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения
Отдельно первая книга из входящих в данное издание:
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику (изд. 1982 г.)
А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) ? выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина ?Введение в математическую логику? и ?Математическая логика. Дополнительные главы?, ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. Другие книги по математической логике и теории алгоритмов на сайте: Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике (3-е изд.(2005)) Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Гуц А.К. Математическая лоrика и теория алrоритмов Гладкий А.В. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики Ершов Ю.Л., Палютин Е.А. Математическая логика Игошин В.И. Математическая логика и теория алгоритмов Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Клини С.К. Математическая логика Крайзель Г. Исследования по теории доказательств Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Л. М. Лихтарников, Т. Г. Сукачева Математическая логика Мацнев А.П. Математическая логика и теория алгоритмов Мальцев А.И. Избранные труды, в 2-х томах Мальцев А.Н. Алгоритмы и рекурсивные функции Мендельсон Э. Введение в математическую логику Никольская И.Л. Математическая логика Новиков П.С. Элементы математической логики Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения Отдельно первая книга из входящих в данное издание Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику (изд. 1962 г.)
А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) ? выдающиеся отечественные логики и математики, оказавшие глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина ?Введение в математическую логику? и ?Математическая логика. Дополнительные главы?, ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова. Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики. Другие книги по математической логике и теории алгоритмов на сайте: Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике (3-е изд.(2005)) Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Гуц А.К. Математическая лоrика и теория алrоритмов Гладкий А.В. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики Ершов Ю.Л., Палютин Е.А. Математическая логика Игошин В.И. Математическая логика и теория алгоритмов Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Клини С.К. Математическая логика Крайзель Г. Исследования по теории доказательств Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Л. М. Лихтарников, Т. Г. Сукачева Математическая логика Мацнев А.П. Математическая логика и теория алгоритмов Мальцев А.И. Избранные труды, в 2-х томах Мальцев А.Н. Алгоритмы и рекурсивные функции Мендельсон Э. Введение в математическую логику Никольская И.Л. Математическая логика Новиков П.С. Элементы математической логики Успенский В. А., Верещагин Н. К., Плиско В. Е. Вводный курс математической логики Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения Отдельно первая книга из входящих в данное издание Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику (изд. 1962 г.)
Download the book Математическая логика for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)