Учеб. пособие. - СПб.: Издательство "Лань". 1999, - 288 с., -
(Серия "Учебники для вузов. Специальная литература"). - ISBN 5-
8114- 0082- 9, Русский.
Настоящее учебное пособие "Математическая логика. Курс лекций и
задачник-практикум" предназначено для студентов университетов и
педагогических институтов изучающих математическую логику.
Книга "Математическая логика" содержит две
части:
Курс лекций (С.с.: 1-173) - Теория.
Задачник-практикум и решения (С.с.: 174-288) - Ответы и решения. "Курс лекций по математической логике" включает в себя теоретический материал по разделам:
Алгебра логики.
Исчисление высказываний.
Логика предикатов.
Математические теории.
Алгоритмы. "Задачник-практикум по математической логике" содержит набор упражнений почти по всем перечисленным разделам (с подробными решениями).
В зависимости от содержания программ курса математической логики на конкретных специальностях, отдельные разделы пособия могут быть исключены из рассмотрения (например, исчисление высказываний, математические теории), а из других разделов использовано лишь часть материала. Учитывая, что в отдельных случаях студентам требуется лишь "Задачник-практикум", в каждом ero разделе приводится минимум теоретических сведений необходимых для решения предлагаемых задач.
Курс лекций (С.с.: 1-173) - Теория.
Задачник-практикум и решения (С.с.: 174-288) - Ответы и решения. "Курс лекций по математической логике" включает в себя теоретический материал по разделам:
Алгебра логики.
Исчисление высказываний.
Логика предикатов.
Математические теории.
Алгоритмы. "Задачник-практикум по математической логике" содержит набор упражнений почти по всем перечисленным разделам (с подробными решениями).
В зависимости от содержания программ курса математической логики на конкретных специальностях, отдельные разделы пособия могут быть исключены из рассмотрения (например, исчисление высказываний, математические теории), а из других разделов использовано лишь часть материала. Учитывая, что в отдельных случаях студентам требуется лишь "Задачник-практикум", в каждом ero разделе приводится минимум теоретических сведений необходимых для решения предлагаемых задач.