Стандарт организации (стр. 5 )

3.2.1 Методические рекомендации студентам по изучению дисциплины

Самостоятельная работа студентов (СРС) заключается в изучении теоретического материала в виде лекций и дополнительных источников (как из списка рекомендуемой литературы настоящего стандарта, так и самостоятельно найденных в интернет при одобрении преподавателем ), а также в подготовке к контрольным опросам и к защите лабораторных работ. Для студентов направления 090900 СРС включает также выполнение и защиту расчетного задания.

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

По каждой теме лабораторной работы студент может выполнять задания, различающиеся по уровню сложности (низкий, обычный). Уровень сложности выполняемых заданий влияет на рейтинг защиты работы. При выполнении студентом по лабораторной работе задания с низким уровнем сложности рейтинг защиты не может превышать 40 баллов.

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

Памятки студенту по изучению дисциплины «Математическая логика и теория алгоритмов» приведены в Приложении Д (направление 090900) и в Приложении Е (направление 230100).

3.2.2 Организация самостоятельной работы студента (СРС) по дисциплине

Выполнение лабораторных работ и расчетного задания осуществляется студентом самостоятельно (в компьютерных лабораториях факультета или в домашних условиях). Компьютерные классы обеспечены необходимыми средствами вычислительной техники, на которых установлено требующееся программное обеспечение. Список необходимого программного обеспечения и рекомендуемой литературы описан в пункте 3.1.2 настоящего стандарта.

Предусмотрены регулярные консультации (не реже 1 раза в неделю) по текущим изучаемым модулям и выполнению расчетного задания. Контроль за выполнением лабораторных работ и расчетного задания являются обязательным элементом организации учебного процесса по дисциплине.

Для выполнения лабораторных работ разработан комплект заданий.

3.2.3 Методические рекомендации преподавателю дисциплины

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

Лекционный материал рекомендуется представлять в виде пронумерованных и озаглавленных модулей в четком соответствии с рабочей программой. В начале лекции необходимо дать название изучаемой темы, обозначить круг изучаемых вопросов, а затем перейти к более подробному рассмотрению теоретического и практического материала. На примерах следует разобрать технологии доказательства примитивной и частичной рекурсивности функций, синтеза машин Тьюринга, алгоритмов Маркова, разработки эффективных алгоритмов, практической оценки временной сложности программ, основы логики высказываний и предикатов, используя при этом режим непосредственного общения со студентами (диалог, дискуссия, режим мозгового штурма). Также следует ответить на возникшие в ходе выполнения работы вопросы.

На практических занятиях проводятся письменные контрольные работы продолжительностью 15-20 минут по соответствующим модулям. Кроме того, на практических занятиях осуществляется коллективное решение типовых задач.

На лабораторных работах студенты должны выполнять индивидуальные задания (модули 1-4 - на компьютере), сдавать и защищать выполненные работы. Рекомендуется засчитывать защиту лабораторных работ по модулю студентам, которые имеют рейтинг контрольного опроса по модулю, больший или равный 50 баллам. В этом случае рейтинг защиты лабораторной работы принимается равным рейтингу контрольного опроса. Если студент желает повысить рейтинг защиты лабораторной работы, то ему предоставляется такая возможность, но окончательным рейтингом является в этом случае рейтинг защиты.

Сдача работы включает в себя следующие этапы (для конкретной работы могут присутствовать не все этапы):

- доказательство утверждения относительно некоторого объекта математической логики и теории алгоритмов;

- демонстрация работоспособности программы на компьютере;

- сдача письменного отчета по лабораторной работе;

- устно-письменная защита и(или) тестирование как по конкретной лабораторной работе, так и по всей теме, которой работа посвящена.

Методические указания к выполнению расчетного задания изложены в Приложении Б настоящего стандарта.

Зачет принимается на 17 неделе семестра, к нему допускаются студенты, сдавшие все контрольные точки. Если семестровый рейтинг студента больше или равен 25 баллам, этот рейтинг является рейтингом зачета и выставляется в ведомость и зачетную книжку. Если семестровый рейтинг менее 25 баллов, то студент должен защитить лабораторные работы и ответить на вопросы преподавателя, охватывающие материал из не сданных в семестре модулей. Повышение рейтинга зачета, большего или равного 25 баллов, допускается не более чем на 10 баллов, при этом студент должен письменно ответить на два теоретических вопроса и решить задачу

3.2.4 Образовательные технологии

Образовательные технологии, наряду с классическими формами проведения лекций и лабораторных работ, предусматривают применение следующих инновационных методов обучения:

- модульно-рейтинговая система квалиметрии учебной деятельности студентов;

- лекции, практические занятия и защиты лабораторных работ проводятся в интерактивном режиме и носят информационно-развивающий характер (дискуссия, диалог, коллективное решение проблем, метод аналогий, метод контрольного изложения, предусматривающий заранее запланированные ошибки), (17 часов, в интерактивной форме);

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

- личностно-ориентированный метод проблемного обучения, предусматривающий постановку для каждого студента индивидуального задания по каждой лабораторным работе и по расчетному заданию (задания к лабораторной работе и к расчетному заданию могут иметь несколько уровней сложности);

- при выполнении лабораторных работ, расчетного задания, а также при СРС предусмотрен поисково-исследовательский метод обучения (самостоятельный поиск дополнительной информации, исследование и анализ различных способов решения проблем).

3.2.5 Особенности преподавания дисциплины

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

3.2.6 Материально-техническое обеспечение дисциплины

Для изучения дисциплины студенту требуется персональный компьютер с установленным на него программным обеспечением, приведенным в п.3.1.2. Для работы с электронными источниками информации необходимы текстовый процессор Word, Adobe Reader, Opera. В АлтГТУ занятия проводятся на базе лаборатории микроЭВМ, компьютерного класса кафедры ВСИБ, лекционной мультимедийной аудитории.

3.3  Лист согласования рабочей программы

Направление 090900 «Информационная безопасность»

Наименование дисциплин, изучение которых опирается на данную дисциплину	Ведущая кафедра	Предложения об изменении рабочей программы	Подпись заведующего кафедрой
1	2	3	4
Основы моделирования	ВСИБ	Нет

Направление 230100 «Информатика и вычислительная техника»

Наименование дисциплин, изучение которых опирается на данную дисциплину	Ведущая кафедра	Предложения об изменении рабочей программы	Подпись заведующего кафедрой
1	2	3	4
Теория формальных языков и компиляторов	ВСИБ	Нет
Теория автоматов	ВСИБ	Нет
Логический вывод и логическое программирование	САПР	Нет

Разработчик:

Профессор _____

подпись инициалы и фамилия

Заведующий кафедрой

прикладной математики____________________________________________________

_____________________________________ ____________________ _____

подпись инициалы и фамилия

Декан факультета информационных технологий _____

подпись инициалы и фамилия

Начальник ОМКО АлтГТУ __

подпись инициалы и фамилия

ПРИЛОЖЕНИЕ А

МЕТОДические указания по выполнению ЛАБОРАТОРНЫХ РАБОТ По ДИСЦИПЛИНЕ
"Математическая логика и теория алгоритмов"

А.1 Общие сведения о лабораторном практикуме

А.1.1 Цель лабораторного практикума

Лабораторный практикум по дисциплине «Математическая логика и теория алгоритмов» служит для практического закрепления теоретических навыков, полученных в ходе изучения лекционного материала и материала практических занятий и формирования необходимых компетенций.

Цели выполнения лабораторных работ: