сборник задач по математической логике

  • Гиндикин С.Г. Алгебра логики в задачах. – М., Наука, 1972 – 288 с.
    Содержит следующие разделы: операции над высказываниями, функции алгебры логики, нормальные формы, закон двойственности, арифметические опреации в алгебре логики, монотонные функции, функционально замкнутые классы и теорема Поста, общая теория функционально замкнутых классов, схемы на функциональных элементах, релейно-контактные схемы, элементы вероятностной логики, многозначные логики, логика предикатов.
  • А. В. Гохман и др. Сборник задач по математической логике и алгебре множеств. – Изд-во Саратовского университета, 1969.
    Предлагаемый сборник задач составлен в соответствии с программой университетского курса «Элементы математической логики и алгебры множеств». Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также «счислению высказываний и предикатов.
  • Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов / В. И. Игошин. — 3-е изд., стер. — М. : Издательский центр «Академия», 2007. — 304 с.
    Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
  • Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов.— М.: Физматлит, 2004. -256 с.
    В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
  • Л. М. Лихтарников, Т.Г. Сукачева. Математическая Логика. Курс лекций. 3адачник-практикум и решения. Серия Учебники для вузов. – Санкт-Петербург, Издательство “Лань”, 1999. – 288 с.
    Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. В файле представлен только курс лекций. Включает в себя разделы : Алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы.
  • Михайлов А,Б., Рыжова Н.И., Швецкий М.В. Упражнения по основам математической логики. Формальные системы первого порядка. Учебное пособие для студентов математического факультета – Санкт-Петербург: РГПУ. 1997. – 127 с.
    Пособие предназначено для поддержки курса “Основы математической логики и теории алгорифмов”. Содержит упражнения по разделу математической логики “Формальные системы первого порядка”, которые можно рассматривать в качестве обязательных результатов обучения. Упражнения выбраны и как форма обучения студентов, поэтому оглавление отражает поурочный план практических занятий по данному разделу.