(для студентов специальности “Прикладная математика”)
У т в е р ж д е н о
на заседании кафедры
прикладной математики
Протокол № 8 от 20. 06. 06.
Луганск 2006
УДК 517. 11
Конспект лекций по математической логике (для студентов специальности “Прикладная математика”) / Сост.: В. В.Барабаш, Е. Ю. Чалая, Луганск: издательство ВНУ им. В. Даля, 2006. - 76 с.
Приведены теоретические материалы, необходимые для изучения дисциплины «Математическая логика». Рассмотрены основные разделы данного курса, связанные с логикой высказываний, логикой предикатов, построением формальной теории. Указаны основные проблемы в конкретных разделах математической логики. Рассмотрены вопросы, связанные с использованием логических символов для записи математических утверждений, а также для построения схем доказательства теорем. Приведены задачи для самостоятельной работы студентов.
Составители: Барабаш В.В., доцент.
Чалая Е.Ю., ассистент.
Отв. за выпуск Грибанов В.М., профессор.
Рецензенты Кучма В.Я., доцент
Ермаков А.И., доцент