Вводный курс математической логики

Вводный курс математической логики

Bibliographic Details
Main Author:	Успенский В. А. Владимир Андреевич
Other Authors:	Верещагин Н. К. Николай Константинович, Плиско В. Е. Валерий Егорович
Summary:	В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Language:	Russian
Published:	Москва, Физматлит, 2007
Subjects:	математическая логика теория множества языки первого порядка доказательства теорема Геделя о полноте алгоритмы учебные пособия
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=107213

Similar Items

Вводный курс математической логики: учебное пособие
by: Успенский В. А. Владимир Андреевич
Published: (Москва, Изд-во МГУ, 1991)

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

Ч. 4 : Теория доказательств и конструктивная математика; Справочная книга по математической логике
Published: (1983)

Дискретная математика. Часть 1
by: Лежнина Ю. А.
Published: (Москва, РТУ МИРЭА, 2023)

Теорема Гёделя о неполноте
by: Успенский В. А. Владимир Андреевич
Published: (Москва, Наука, 1982)

Определимость и вычислимость
by: Ершов Ю. Л. Юрий Леонидович
Published: (Москва, Экономика, 2000)

Основы математической логики учебное пособие
by: Репницкий В. Б.
Published: (Екатеринбург, ЕАСИ, 2015)

Принцесса или тигр: пер. с англ.
by: Смаллиан Р. М. Рэймонд М.
Published: (Москва, Мир, 1985)

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

Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
Published: (Новосибирск, Изд-во ИМ СО РАН, 1986)

Теория доказательств: пер. с англ.
by: Такеути Г. Гаиси
Published: (Москва, Мир, 1978)

Математическая логика: учебное пособие
by: Колмогоров А.Н. Андрей Николаевич
Published: (Москва, УРСС, 2005)

Теория формальных языков: Вводный курс; пер. с англ.
by: Рейуорд-Смит В. Дж
Published: (Москва, Радио и связь, 1988)

Вычислимое и невычислимое
by: Манин Ю. И. Юрий Иванович
Published: (Москва, Сов. радио, 1980)

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

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

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

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

Дискретная математика: учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2006)

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

Проблема неполноты теории и ее гносеологическое значение: монография
by: Антипенко Л. Г. Леонид Григорьевич
Published: (Москва, Наука, 1986)

Задачи по теории множеств, математической логике и теории алгоритмов
by: Лавров И. А. Игорь Андреевич
Published: (Москва, Наука, 1984)

Математическая логика и теория алгоритмов учебное пособие
by: Ярахмедов Г. А.
Published: (Махачкала, ДГПУ, 2024)

Дискретная математика учебное пособие
by: Барсукова О. Ю.
Published: (Пенза, ПГУ, 2019)

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

Дискретная математика: учебник
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2014)

Задачи по теории множеств, математической логике и теории алгоритмов
by: Лавров И. А. Игорь Андреевич
Published: (Москва, Физматлит, 2002)

Дискретная математика: учебник для вузов
by: Соболева Т. С. Татьяна Сергеевна
Published: (Москва, Академия, 2014)

Как же называется эта книга?: пер. с англ.
by: Смаллиан Р. М. Рэймонд М.
Published: (Москва, Мир, 1981)

Математическая логика: курс лекций; учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

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

Элементы математической логики
by: Марков А. А. Андрей Андреевич
Published: (Москва, Изд-во МГУ, 1984)

Основы математической логики учебное пособие
by: Людковский С. В.
Published: (Москва, РТУ МИРЭА, 2023)

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

Язык логики: пер. с англ.
by: Фрейденталь Х. Ханс
Published: (Москва, Наука, 1969)

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

Прямая и обратная теоремы. Элементы алгебры логики
by: Градштейн И. С. Израиль Соломонович
Published: (Москва, Наука, 1972)

Решение задач математической логики с использованием элементарной алгебры
by: Коваленко С. И. Сергей Иванович
Published: (Москва, Физматлит, 2004)

Математическая логика задачник-практикум для студентов физико-математического факультета
by: Троякова Г. А.
Published: (Кызыл, ТувГУ, 2018)

Практический курс логики для гуманитариев: учебное пособие
by: Брюшинкин В. Н.
Published: (Москва, Интерпракс, 1994)