математическая логика

Математическая логика, Курс лекций и практических занятий, Шапорев С.Д., 2005.

В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.

Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.

Элементарное введение в математическую логику, Пособие для учителей, Столяр А.А., 1965.  
 
Настоящая книга не может рассматриваться как введение в математическую логику в целом. Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели. В книге имеются и упражнения для самостоятельной работы читателя.

Математическая логика и теория алгоритмов, Игошин В.И., 2008.

Предлагаемое учебное пособие (2-ое изд., стереотип.) составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов).

Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.

Задачи и упражнения по математической логике и теории алгоритмов, Игошин В.И., 2007.

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. 

Для студентов университетов, технических и педагогических ВУЗов, обучающихся по специальностям «Математика», «Прикладная математика».