Математическая логика
3-й курс, 5-й семестр
Лектор: проф. И.Л. Тимофеева
За семестр предусмотрены 2 контрольные работы и итоговый контроль (экзамен).
Шкала оценок (0-100).
Посещение лекций и практических занятий: 0-10 баллов.
Домашние работы и самостоятельные работы: 0-30 баллов.
Контрольные работы: 0-30 баллов
(Контрольная работа № 1: 0-10 баллов.
Контрольная работа № 2: 0-20 баллов.)
Итоговый контроль (экзамен) 0-30 баллов.
Итоговая оценка ставится в соответствии со шкалой Положения о БРС, именно, сумма баллов за работу в семестре и за итоговый контроль.
Соответствие систем оценок (используемых ранее оценок итоговой академической успеваемости, оценок ECTS и балльно-рейтинговой системы (БРС) оценок текущей успеваемости):
|
Баллы БРС |
Традиционные оценки в РФ |
Баллы для перевода оценок |
Оценки |
Оценки ECTS |
| 86 – 100 | 5 | 95 - 100 | 5+ | A |
| 86 - 94 | 5 | B | ||
| 69 – 85 | 4 | 69 - 85 | 4 | C |
| 51 – 68 | 3 | 61 - 68 | 3+ | D |
| 51 - 60 | 3 | E | ||
| 0 – 50 | 2 | 31 - 50 | 2+ | FX |
| 0 - 30 | 2 | F | ||
| 51 – 100 | Зачет | Зачет | Passed |
Студенты обязаны сдавать все задания в сроки, установленные преподавателем.
Плановые контрольные работы должны проводиться не менее 2-х раз в течение семестра (для проставления оценки по рубежной аттестации и перед проведением итогового контроля знаний).
Если за работу в семестре (без итогового контроля) студент получил менее 36 баллов, то ему выставляется оценка 2 (F) и студент должен повторить эту дисциплину в установленном порядке.Положительную оценку студент может получить, если за итоговый контроль (экзамен) набрал не менее 15 баллов.
Ликвидацию задолженностей проводится в период с 07.02.18 по 28.02.18 по согласованию с деканатом.
- Введение
- Логика высказываний
- Логика предикатов
- Формализованные математические теории
- Проблемы оснований математики
- Клини С. Математическая логика. – М.: УРСС, 2005.
- Мендельсон Э. Введение в математическую логику. – 4-е изд. – М.: Либроком, 2010.
- Новиков П.С. Элементы математической логики. – М.: Наука, 1973.
- Тимофеева И.Л. Математическая логика. Курс лекций. – 2-е изд., перераб. – М.: КДУ, 2007.
- Тимофеева И.Л. Математическая логика в вопросах и задачах. – М.: Прометей, 2002.