Языки и исчисления Год выпуска: 2012Автор: Н. К. Верещагин, А. ШеньИздательство: МЦНМОСтраниц: 240ISBN: 978-5-4439-0013-1Описание Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга включает себя около 200 задач различной трудности.
Похожие книги
Кнут Сюдсетер, Арне Стрем, Питер Берк. Справочник по математике для экономистов. – СпБ.: Экономическая школа, Санкт-Петербургский университет экономики и финансов, Высшая Школа Экономики (Государственный Университет), 2000. – 230 с. Н.К. Верещагин, А.Шень. Языки и исчисления. – М.: МЦНМО, 2012. – 240 с. Дж. Митчелл. Основания языков программирования. – М.: НИЦ "Регулярная и хаотическая динамика", 2010. – 720 с. М.Л. Краснов, А.И. Киселев, Г.И. Макаренко, Е.В. Шикин, В.И. Заляпин. Вся высшая математика. Том 1. – М.: Едиториал УРСС, 2012. – 336 с. Ф.И. Рожанский. Редупликация. Опыт типологического исследования. – М.: Знак, 2011. – 256 с. И.С. Улуханов. Единицы словообразовательной системы русского языка и их лексическая реализация. – М.: Москва, 1996. – 224 с. М.Л. Краснов, А.И. Киселев, Г.И. Макаренко, Е.В. Шикин, В.И. Заляпин. Вся высшая математика. Том 1. Аналитическая геометрия. Векторная алгебра. Линейная алгебра. Дифференциальное исчесление. – М.: Либроком, 2014. – 336 с. М.Л. Краснов, А.И. Киселев, Г.И. Макаренко, Е.В. Шикин, В.И. Заляпин. Вся высшая математика. Том 6. Учебник. – М.: Либроком, 2014. – 256 с. М.Л. Краснов, А.И. Киселев, Г.И. Макаренко, Е.В. Шикин, В.И. Заляпин. Вся высшая математика. Том 6. Учебник. – М.: Либроком, 2014. – 256 с. И.А. Мельчук. Курс общей морфологии. Том 2. Часть 2. Морфологические значения. – М.: Языки русской культуры, Венский славистический альманах, 1998. – 546 с. И.С. Улуханов. Словообразование. Морфонология. Лексикология. – М.: Логос, 2012. – 600 с. Л.И. Шустова, О.В. Тараканов. Базы данных. Учебник. – М.: Инфра-М, 2016. – 304 с. М.Л. Краснов, А.И. Киселев, Г.И. Макаренко, Е.В. Шикин, В.И. Заляпин. Вся высшая математика. Том 6. Вариационное исчисление. Линейное программирование. Вычислительная математика. Теория сплайнов. Учебник. – М.: Ленанд, 2017. – 256 с. М.Л. Краснов, А.И. Киселев, Г.И. Макаренко, Е.В. Шикин, В.И. Заляпин. Вся высшая математика. Интегральное исчисление, дифференциальное исчисление функций нескольких переменных, дифференциальная геометрия. Том 2. – М.: ЛКИ,Едиториал УРСС, 2017. – 192 с. Н.К. Верещагин. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. – М.: МЦНМО, 2017. – 240 с. Л.И. Шустова, О.В. Тараканов. Базы данных. Учебник. – М.: Инфра-М, 2018. – 304 с. Я .Б.Зельдович,И.М. Яглом. Высшая математика для начинающих физиков и техников. – М.: Ленанд, 2018. – 512 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Владимир, 11.10 Здравствуйте Юлия! Спасибо за работу, защитил на пять. Думаю скоро обратиться опять, правда, уже не с такими сжатыми сроками.
