Лекции по математической логике и теории алгоритмов. Часть 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 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Роман (Анадырь) Огромное Вам спасибо за диплом после вашего сопровождения, защита прошла успешно, главное ни одного замечания. Защитился на "отлично", уже вручили красный диплом. Желаю Вам всего самого наилучшего и благодарю за сотрудничество и помощь!
