Вводный курс математической логики Год выпуска: 2002Автор: В. А. Успенский, Н. К. Верещагин, В. Е. ПлискоИздательство: ФИЗМАТЛИТСтраниц: 128ISBN: 5-9221-0278-8Описание В учебном пособии содержится материал основного курса `Введение в математическую логику`, читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.
Похожие книги
И.М. Лемешевский. Экономическая теория. Часть 1. Основы. Вводный курс. – М.: ФУАинформ, 2002. – 640 с. Л.Д. Кудрявцев. Краткий курс математического анализа. Том 1. – М.: ФИЗМАТЛИТ, 2009. – 400 с. С.Г. Михлин. Курс математической физики. – СПб.: Лань, 2002. – 576 с. В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. Вводный курс математической логики. – М.: ФИЗМАТЛИТ, 2002. – 128 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Введение в математическую логику. – М.: Едиториал УРСС, 2013. – 240 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Дополнительные главы. – М.: Едиториал УРСС, 2013. – 240 с. С.Д. Шапорев. Математическая логика. Курс лекций и практических занятий. – СПб.: БХВ-Петербург, 2005. – 416 с. А.Черч. Введение в математическую логику. Том 1. – М.: Либроком, 2009. – 482 с. В.И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. – М.: Академия, 2008. – 304 с. Ю.Ю. Тарасевич. Математическое и компьютерное моделирование. Вводный курс. – М.: Либроком, 2013. – 152 с. А.С. Герасимов. Курс математической логики и теории вычислимости. Учебное пособие. – СПб.: Лань, 2014. – 416 с. Владимир Игошин. Математическая логика в обучении математике. – М.: Palmarium Academic Publishing, 2012. – 516 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Дополнительные главы. Учебное пособие. – М.: Едиториал УРСС, 2015. – 240 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Введение в математическую логику. – М.: Ленанд, 2017. – 240 с. В.И. Игошин. Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие. – М.: Инфра-М,КУРС, 2017. – 392 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Дополнительные главы. Учебное пособие. – М.: Едиториал УРСС, 2018. – 240 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Дополнительные главы. – М.: Едиториал УРСС, 2018. – 240 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Инна Спасибо, Марина!!! Огромное спасибо. Вы так порядочно относитесь к своей работе, сейчас это просто редкое качество. Вы просто молодец!!!
