Шкала оценок (0-100).
Посещение лекций и практических занятий: 0-10 баллов.
Домашние работы и самостоятельные работы: 0-30 баллов.
Контрольные работы: 0-30 баллов
(Контрольная работа № 1: 0-10 баллов.
Контрольная работа № 2: 0-20 баллов.)
Итоговый контроль (экзамен) 0-30 баллов.

Итоговая оценка ставится в соответствии со шкалой Положения о БРС, именно, сумма баллов за работу в семестре и за итоговый контроль.

Соответствие систем оценок (используемых ранее оценок итоговой академической успеваемости, оценок ECTS и балльно-рейтинговой системы (БРС) оценок текущей успеваемости):

Студенты обязаны сдавать все задания в сроки, установленные преподавателем.

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

Положительную оценку студент может получить, если за итоговый контроль (экзамен) набрал не менее 15 баллов.

Ликвидацию задолженностей проводится в период с 07.02.18 по 28.02.18  по согласованию с деканатом.

1. Введение
2. Логика высказываний
3. Логика предикатов
4. Формализованные математические теории
5. Проблемы оснований математики

1. Клини С. Математическая логика. – М.: УРСС, 2005.
2. Мендельсон Э. Введение в математическую логику. – 4-е изд. – М.: Либроком, 2010.
3. Новиков П.С. Элементы математической логики. – М.: Наука, 1973.
4. Тимофеева И.Л. Математическая логика. Курс лекций. – 2-е изд., перераб. – М.: КДУ, 2007.
5. Тимофеева И.Л. Математическая логика в вопросах и задачах. – М.: Прометей, 2002.