3. Практические занятия

№ п/п	Номер раздела дисциплины	Объем, часов	Тема практического занятия
1	1	6	Отношения между множествами.
2	1	6	Действия над множествами.
3	1	6	Приведение формул алгебры к ДНФ, КНФ, СДНФ, СКНФ.
4	2	4	Определение конфигураций, последовательно возникающих при работе машины Тьюринга.
5	2	4	Навешивание кванторов на предикаты. Свойства кванторов.
6	2	6	Применение языка предикатов и кванторов для математических утверждений.
	Итого:	34

4. Лабораторные работы

Не предусмотрены.

5. Самостоятельная работа студента

Раздел дисциплины	№ п/п	Вид СРС	Трудоемкость, часов
Раздел 1	1	Домашние задания	8
	2	Типовой расчёт	10
Раздел 2	3	Домашние задания	8
	4	Типовой расчёт	8
Итого:			34

6. Домашние задания, типовые расчеты и т.П.

Темы домашних заданий и типовых расчетов повторяют тематику практических занятий (см. 3.3).

7. Рефераты

Этот вид заданий носит факультативный характер и предлагается наиболее успевающим студентам, желающим получить дополнительные баллы в ЦДО. Темами рефератов могут быть биографические обзоры, популярное изложение основных трудов классиков этой науки и т.п.

8. Курсовые работы по дисциплине

Не предусмотрены.

В порядке исключения наиболее успевающим студентам предлагаются темы учебно-исследовательских работ, непосредственно связанные с тематикой практических занятий.

4. Формы контроля освоения дисциплины

Аттестация студентов по дисциплине в условиях модульной организации учебного процесса осуществляется по результатам аттестации 1 и 2 разделов (3 и 4 модулей) дисциплины.

Итоговая оценка по дисциплине формируется согласно балльно-рейтинговой системе оценивания результатов обучения студентов, принятой на заседании Ученого совета СПбГУ ИТМО 22 апреля 2008 года. Все виды работ оцениваются в баллах, затем баллы за весь семестр суммируются, и пересчитываются в европейскую систему оценок (ECTS) согласно "Положению о балльно-рейтинговой системе оценивания результатов обучения студентов СПбГУ ИТМО".

Вся дисциплина оценивается в 100 баллов; из них 53 балла отводится на различные виды работ (включая рубежную аттестацию) в 3 модуле, а 47 баллов отводятся на различные виды работ (включая промежуточную аттестацию) в 4 модуле.

Текущая аттестация студентов производится лектором и преподавателями, ведущими практические занятия по дисциплине, в следующих формах:

• выборочная проверка домашних заданий;

• отдельно оцениваются личностные качества студента (активность и инициативность).

Рубежная аттестация студентов производится в следующих формах:

• аттестационное тестирование;

• контрольные работы;

• защита типовых расчётов.

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

Фонды оценочных средств, включающие типовые задания, контрольные работы, тесты и методы контроля, позволяющие оценить РО по данной дисциплине, включены в состав УМК дисциплины и перечислены в Приложении 4.

Критерии оценивания, перечень контрольных точек и таблица планирования результатов обучения приведены в Приложениях 4 и 5 к Рабочей программе.