Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2012 г
Ваш отзыв о Языки и исчисления. Математическая логика и теория алгоритмов будет первым. Не всегда достаточно просто прочитать отзывы, иногда мы также хотим поделиться своим мнением о товаре. Наше мнение может быть важным для других потенциальных покупателей, а также для самого продавца. Поэтому, после приобретения Языки и исчисления. Математическая логика и теория алгоритмов, мы рекомендуем написать информативный комментарий, чтобы помочь другим людям сделать правильный выбор.
Когда мы делаем покупки в интернете, одной из важнейших составляющих процесса является доставка. Правильно указанный адрес доставки - это залог того, что Языки и исчисления. Математическая логика и теория алгоритмов окажется в ваших руках точно вовремя. Важно указать полный и точный адрес доставки для транспортной компаниии и курьеру.
