Учебник

cover_smallВведение в математическую логику и роды структур

  • Введение в математическую логику и роды структур — М.: МФТИ, 2007 pdfСКАЧАТЬ, ~1,6 Мб. Электронная версия постоянно обновляется, вносятся исправления замеченных ошибок.
  • Учебник доступен в библиотеке МФТИ. Приобрести экземпляр можно в магазине «Физтех-полиграфа» или на кафедре «Концепт».
  • pdfСписок замеченных опечаток. Спасибо всем, с чьей помощью их удалось обнаружить!
  • Методические указания по курсу «Математическая логика 2» — М.: МФТИ, 2007 pdfmethod.pdf,
    463 Кб.
  • Исходники в формате LaTeX (на Dropbox)

Abstract

В учебном пособии, написанном по материалам семинаров, проводившихся
автором в Московском физико-техническом институте, изложены элементы
классической логики и аксиоматической теории множеств, а также аппарат
родов структур Бурбаки. В книге применяется стандартная (не бурбаковская)
терминология и аксиоматика логики и теории множеств, что позволяет
использовать это пособие совместно с другими учебниками.

Предназначено для студентов младших курсов факультета инноваций и высоких
технологий МФТИ.