ВУЗ:
Составители:
Рубрика:
68
2. Цель курса
Курс «Математическая логика» является обязательной
дисциплиной бакалаврских программ. Курс носит теоретический и
практический характер. В рамках курса студенты овладевают
основами математической логики и теории множеств.
Основной целью освоения дисциплины является знание
основополагающих понятий, результатов и методов
математической логики. Для достижения поставленной цели
выделяются задачи курса: освоение теории множеств, навыки
работы с
пропозициональными и предикатными исчислениями,
знание формулировок и доказательств основных теорем курса.
Задачей курса является развитие логического мышления у
студентов и изучение основ математической логики. Развиваются
навыки формализации и описания дискретных математических
объектов.
3. Содержание курса
См. п.2, 4, 7.
4. Организационно-методическое построение курса
Курс состоит из трех модулей.
Первый модуль составляют:
•
теоретический материал, излагаемый в лекциях 1 –
5 календарного плана;
•
лабораторные занятия в объеме 10 академических
часов.
В конце модуля проводится промежуточный контроль
знаний (контрольная работа №1.)
Второй модуль составляют:
•
теоретический материал, излагаемый в лекциях 7-13
Страницы
- « первая
- ‹ предыдущая
- …
- 66
- 67
- 68
- 69
- 70
- …
- следующая ›
- последняя »
