Курсы для студентов 2018 года набора: Логика
Цель курса: знакомство с начальными понятиями и вопросами математической логики. Слушатели получат представление о некоторых моделях и методах математической логики, применяемых в математике, информатике, естествознании.
Читается: 1-2 модуль 3 курса
Пререквизиты: «Основания алгебры и геометрии»
Трудоемкость: 5 кредитов
64 аудиторных часа:
- 32 часа лекции;
- 32 часа семинары
Формы контроля:
- 1 экзамен,
- 1 контрольная работа,
- 2 домашних задания
Плейлист видеозаписей лекций. Осень 2020
Ведущий лектор
Рыбаков Михаил Николаевич
Факультет математики: Доцент