Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. 5-е издание стереотипное. Предыдущее издание книги вышло в 2012 г. Год издания: 2017Формат: pdfЯзык: ruРазмер: 1292 KbСкачиваний: 727Серия: Лекции по математической логике и теории алгоритмов #2

5-е издание стереотипное.Год издания: 2017Формат: pdfЯзык: ruРазмер: 895 KbСкачиваний: 759Серия: Лекции по математической логике и теории алгоритмов #1

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2008 г. 4-е издание.Год издания: 2012Формат: pdfЯзык: ruРазмер: 1284 KbСкачиваний: 647Серия: Лекции по математической логике и теории алгоритмов #2

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает около 150 задач различной трудности. Предыдущее издание книги вышло в 2008 г. 4-е издание.Год издания: 2012Формат: pdfЯзык: ruРазмер: 806 KbСкачиваний: 786Серия: Лекции по математической логике и теории алгоритмов #1