По математической логике

N	Название пункта	Описание
	ФИО (если опубликовано под псевдонимом, необходимо указать в скобках)
	Должность
	Название СМИ
	Сайт СМИ
	Электронный адрес СМИ
	Электронный адрес участника (личный)
	Регион
	Почтовый адрес СМИ (с индексом)
	Телефон рабочий (с кодом)
	Телефон домашний (с кодом)
	Телефон мобильный

Я, ___________________________________________________________________________,

^{(Фамилия, имя, отчество участника)}

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

____________________________ Дата подачи заявки

______________________________ Подпись участника

КУРС ЛЕКЦИЙ

ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ

(для студентов специальности “Прикладная математика”)

У т в е р ж д е н о

на заседании кафедры

прикладной математики

Протокол № 8 от 20. 06. 06.

Луганск 2006

УДК 517. 11

Конспект лекций по математической логике (для студентов специальности “Прикладная математика”) / Сост.: В. В.Барабаш, Е. Ю. Чалая, Луганск: издательство ВНУ им. В. Даля, 2006. - 76 с.

Приведены теоретические материалы, необходимые для изучения дисциплины «Математическая логика». Рассмотрены основные разделы данного курса, связанные с логикой высказываний, логикой предикатов, построением формальной теории. Указаны основные проблемы в конкретных разделах математической логики. Рассмотрены вопросы, связанные с использованием логических символов для записи математических утверждений, а также для построения схем доказательства теорем. Приведены задачи для самостоятельной работы студентов.

Составители: Барабаш В.В., доцент.

Чалая Е.Ю., ассистент.

Отв. за выпуск Грибанов В.М., профессор.

Рецензенты Кучма В.Я., доцент

Ермаков А.И., доцент