Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления Год выпуска: 2017Автор: Н. К. ВерещагинИздательство: МЦНМОСтраниц: 240ISBN: 978-5-4439-0944-8Описание Книга написана по материалам лекций и семинаров,проводившихся авторами для студентов младших курсов мехмата МГУ. В нейрассказывается об основных понятиях математической логики (логикавысказываний, языки первого порядка, выразимость, исчисление высказываний,разрешимые теории, теорема о полноте, начала теории моделей). Изложениерассчитано на учеников математических школ, студентов-математиков и всехинтересующихся математической логикой. Книга содержит около 200 задачразличной трудности.Предыдущее издание книги вышло в 2012 г.
Похожие книги
В.М. Зюзьков, А.А. Шелупанов. Математическая логика и теория алгоритмов. – М.: Горячая Линия - Телеком, 2007. – 176 с. М.М. Глухов, О.А. Козлитин, В.А. Шапошников, А.Б. Шишков. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. – СПб.: Лань, 2008. – 112 с. И.С. Куликова, Д.В. Салмина. Теория языка. В 2 частях. Часть 2. Язык - Человек - Народ. – М.: Наука, САГА, Форум, 2009. – 480 с. А.К. Гуц. Математическая логика и теория алгоритмов. – М.: Либроком, 2009. – 120 с. А.А. Набебин, Ю.П. Кораблин. Математическая логика и теория алгоритмов. – М.: Научный мир, 2008. – 344 с. В.В. Власов, С.И. Митрохин, А.В. Прошкина, Т.В. Родионов, О.В. Трушина. Задачи и упражнения по математическому анализу и дифференциальным уравнениям. – М.: Интернет-университет информационных технологий, Бином. Лаборатория знаний, 2010. – 376 с. Л.М. Лихтарников, Т.Г. Сукачева. Математическая логика. – СПб.: Лань, 2008. – 288 с. И.А. Лавров, Л.Л. Максимова. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: ФИЗМАТЛИТ, 2004. – 256 с. В.И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. – М.: Академия, 2008. – 304 с. Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. – М.: МЦНМО, 2012. – 112 с. Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции. – М.: МЦНМО, 2012. – 160 с. Гуц А.К. Математическая логика и теория алгоритмов. – М.: , 2016. – с. А.В. Пруцков, Л.Л. Волкова. Математическая логика и теория алгоритмов. Учебник. – М.: Инфра-М, КУРС, 2016. – 156 с. В.И. Игошин. Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие. – М.: Инфра-М,КУРС, 2017. – 392 с. Н.К. Верещагин. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. – М.: МЦНМО, 2017. – 240 с. Н.К. Верещагин, А.Шень. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. – М.: МЦНМО, 2017. – 112 с. Овчинникова Елена Викторовна, Судоплатов Сергей Владимирович. Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата. – М.: Юрайт, 2017. – 255 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Яна Спасибо Вам большое за консультацию. Вчера защитилась на отлично.
