Михайлов сборник задач

  • Михайлов А,Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета – Санкт-Петербург: РГПУ. 1997. – 127 с.
    Пособие предназначено для поддержки курса “Основы математической логики и теории алгорифмов”. Содержит упражнения по разделу математической логики “Формальные системы первого порядка”, которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу.