10. Методические рекомендации по организации изучения дисциплины.

Учебным планом на изучение курса отводится 144 часа в первом семестре. При этом половина учебного времени используется для аудиторных занятий. В конце изучения целесообразно предусмотреть экзамен. На подготовку и сдачу экзамена в соответствии с госстандартом и учебным планом выделяется дополнительно 36 часов. По ходу изучения дисциплины целесообразно провести контрольную работу или коллоквиум.

При преподавании дисциплины методически целесообразно в каждом разделе курса выделить наиболее важные моменты и акцентировать на них внимание обучаемых.

Предлагается:

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

• При изучении всех разделов программы добиться точного знания обучаемыми основных исходных понятий, элементов математического языка и методов логических рассуждений и доказательств.

Дисциплина изучается начинающими студентами. Для них элементы теории множеств кажутся более простыми, нежели элементы математической логики. Кроме того, демонстрировать применение логики в определении математических понятий и в доказательстве теорем лучше, когда студенты уже получили некоторые знания в теории множеств. По этим причинам математическую логику рекомендуется давать после теории множеств. А чтобы изложение сделать более понятным и вместе с тем приучить студентов пользоваться логической символикой пораньше, её следует вводить постепенно и систематически по мере надобности в процессе изложения элементов теории множеств. Элементы математической логики должны представляться главным образом с точки зрения их применений в математике и в первую очередь в доказательстве теорем.

10.1. Рекомендуемый перечень тем практических занятий: 1- 4

10.2. Рекомендуемый перечень тем контрольных работ: 1- 4

10.3. Рекомендуемый перечень домашних заданий: 1- 30.