где Ri– оценка за i-ю контрольную точку;
pi – вес этой контрольной точки.
Суммирование проводится по всем контрольным точкам с начала семестра до момента вычисления рейтинга.
График контроля представлен в таблице 6.
Модуль | Контрольное испытание | Время проведения (номер недели) | Вес в итоговом рейтинге | Примечания |
1 | 2 | 3 | 4 | 5 |
1 | Выполнение и защита индивидуального домашнего задания по теме 1 | 3 | 0,02 | Одна задача |
Продолжение таблицы 6
1 | 2 | 3 | 4 | 5 |
Выполнение и защита индивидуального домашнего задания по теме 2 | 5 | 0,06 | Три задачи | |
Контрольная работа по темам 1–2 | 7 | 0,15 | Семь задач | |
2 | Выполнение и защита индивидуального домашнего задания по теме 3 | 13 | 0,02 | Одна задача |
3 | Контрольный опрос по теме 4 | 15 | 0,15 | Шесть вопросов |
4 | Защита решения заданий повышенного уровня сложности по темам 1–4 | 17 | 0,1 | |
Зачет (по темам 1–4) | 17 | 0,5 | Четыре вопроса по 25 баллов |
При выставлении оценок за отдельные контрольные испытания, а также при определении текущего и итогового рейтингов преподаватель руководствуется следующими правилами.
· Контрольная работа оценивается, исходя из следующих соображений: за одно задание студент может получить максимальный балл в том случае, когда реализована верная схема решения задачи, не допущено вычислительных ошибок, в результате получен правильный ответ. Если задача решена с недочетами или ошибками, то оценка снижается на балл, пропорциональный их количеству. Оценка за контрольную работу складывается из суммы баллов, полученных за отдельные задания.
· За решение индивидуального задания студент получит 80 баллов, если это задание выполнено без ошибок, оформлено в соответствии с требованиями, указанными в разделе 5 настоящей методической разработки, защищено в срок. Дополнительные 20 баллов за выполнение одного задания студент может получить тогда, когда при решении был использован оригинальный подход или ЭВМ.
· Любая контрольная точка, выполненная после срока без уважительной причины, оценивается на 10 % ниже. Максимальная оценка в этом случае 90 баллов.
· К зачету допускаются студенты, не имеющие задолженностей по контрольным точкам.
· Зачет проводится в письменной форме. Так же, как и в случае с контрольной работой, оценка на зачете складывается из баллов, полученных за отдельные вопросы (теоретические вопросы и задачи), включенные в билет. При этом считается, что теоретический вопрос на зачете освещен без недочетов, если определены и проиллюстрированы примерами основные понятия, включенные в этот вопрос; сформулированы и доказаны необходимые теоремы (свойства); сформулированы и проиллюстрированы на примерах алгоритмы и схемы решения задач.
· «Автоматы» по дисциплине «Математическая логика и теория алгоритмов» не выставляются.
Приведем пример определения текущего, семестрового и итогового рейтинга студента. Допустим, что студент получил следующие оценки: защита индивидуальных домашних заданий по темам 1, 2 – 40 баллов; контрольная работа по темам 1, 2 – 60 баллов, защита индивидуального задания по теме – 70 баллов; контрольный опрос по теме 4 – 70 баллов; дополнительное задание повышенной сложности не решено, т.е. 0 баллов; ответ на зачете – 60 баллов. На первой аттестации (седьмая неделя) его рейтинг равен:
.На второй аттестации (13 неделя):
.Перед зачетом вычисляется семестровый рейтинг:
.Итоговый рейтинг, учитывающий зачет, вычисляется по формуле
.В данном случае
. В зачетку выставляется оценка «зачет».Основная литература
1. Хаггарти, Р. Дискретная математика для программистов / Р. Хаг-гарти. – М.: Техносфера, 2005.
2. Новиков, Ф.А. Дискретная математика для программистов / Ф.А. Новиков. – СПб.: Питер, 2001.
3. Нефедов, В.Н. Курс дискретной математики: учеб. пособие / В.Н. Нефедов, В.А. Осипова. – М.: Изд-во МАИ, 1992.
4. Яблонский, С.В. Введение в дискретную математику: учебное пособие для вузов / С.В. Яблонский; под ред. В.А. Садовничего. – 3-е изд., стер. – М.: Высшая школа, 2002.
5. Лавров, И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И.А. Лавров, Л.Л. Максимова. – Изд. 4-е. – М.: ФИЗМАТЛИТ, 2001.
6. Москинова, Г.И. Дискретная математика. Математика для менеджера в примерах и упражнениях: учеб. пособие / Г.И. Москинова. – М.: Логос, 2000.
Дополнительная литература
7. Судоплатов, С.В. Дискретная математика: учебное пособие / С.В. Судоплатов, Е.В. Овчинникова. – М.: Инфра-М, 2007.
8. Романовский, И.В. Дискретный анализ / И.В. Романовский. – СПб.: Невский диалект, 2000.
Перечень пособий, методических указаний и материалов,
используемых в учебном процессе
9. Ростова, О.Д. Дискретная математика: методические рекомендации к типовому расчету по математике с вариантами заданий для студентов специальностей 071900, 351400, 170600, 171200 / О.Д. Ростова, Т.М. Тушкина, В.С. Фролов; Алт. гос. техн. ун-т, БТИ. – Бийск: Изд-во Алт. гос. техн. ун-та, 2005.
10. Тушкина, Т.М. Математическая логика и теория алгоритмов: методические рекомендации по проведению практических занятий для студентов специальностей 080801 «Прикладная информатика в экономике», 230201 «Информационные системы и технологии» / Т.М. Тушкина, В.С. Фролов, О.Д. Ростова, Л.П. Кувшинова; Алт. гос. техн. ун-т, БТИ. – Бийск: Изд-во Алт. гос. техн. ун-та, 2010.
11. Тушкина, Т.М. Математическая логика и теория алгоритмов: методические рекомендации по изучению дисциплины для студентов специальностей 080801 «Прикладная информатика в экономике», 230201 «Информационные системы и технологии» / Т.М. Тушкина, В.С. Фролов, О.Д. Ростова, Л.П. Кувшинова; Алт. гос. техн. ун-т, БТИ. - Бийск: Изд-во Алт. гос. техн. ун-та, 2010.
Учебное издание
ТУШКИНА Татьяна Михайловна
ФРОЛОВ Виктор Савельевич
РОСТОВА Ольга Дмитриевна
КУВШИНОВА Лидия Павловна
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ
Методические рекомендации по выполнению самостоятельной работы студентов специальностей 080801 «Прикладная информатика
в экономике», 230201 «Информационные системы и технологии»
Редактор Идт Л.И.
Технический редактор Сазонова В.П.
Подписано в печать 26.02.2010. Формат 60´84 1/16
Усл. п. л. - 0,93. Уч.-изд. л. - 1,00
Печать - ризография, множительно-копировальный
аппарат «RISO EZ300»
Тираж 50 экз. Заказ 2010-33
Издательство Алтайского государственного
технического университета
656038, г. Барнаул, пр-т Ленина, 46
Оригинал-макет подготовлен ИИО БТИ АлтГТУ
Отпечатано в ИИО БТИ АлтГТУ
659305, г. Бийск, ул. Трофимова, 27