РОССИЙСКАЯ ФЕДЕРАЦИЯ МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ Федеральное государственное бюджетное образовательное учреждение

РОССИЙСКАЯ ФЕДЕРАЦИЯ
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»
Филиал в г.Ишиме
УТВЕРЖДАЮ
Директор филиала
______________ /Шилов С.П./
20.11.2014
ТЕОРИЯ АЛГОРИТМОВ
Учебно-методический комплекс. Рабочая программа
для студентов направления подготовки
050100.62 (44.03.01) Педагогическое образование
профиля подготовки Информатика и информационные технологии в образовании
заочной формы обучения
ЛИСТ СОГЛАСОВАНИЯ
От 20.11.2014
Содержание: УМК по дисциплине Теория алгоритмов для студентов направления подготовки
050100.62 (44.03.01) Педагогическое образование профиля подготовки Информатика и
информационные технологии в образовании заочной формы обучения
Автор(-ы): ассистент, Т.В. Павлова
Объем 22 стр.
Должность
Заведующий
кафедрой физикоматематических
дисциплин и
профессиональнотехнологического
образования
Председатель УМС
филиала ТюмГУ в
г.Ишиме
Начальник ОИБО
ФИО
Мамонтова Т.С.
Дата
согласования
Результат
согласования
Примечание
16.10.2014
Рекомендовано к
электронному
изданию
Протокол заседания
кафедры от
16.10.2014
№2
Протокол заседания
УМС от 11.11.2014
№3
Поливаев А.Г.
11.11.2014
Согласовано
Гудилова Л.Б.
20.11.2014
Согласовано
РОССИЙСКАЯ ФЕДЕРАЦИЯ
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ
Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»
Филиал в г. Ишиме
Кафедра физико-математических дисциплин и профессионально-технологического образования
Павлова Т.В.
ТЕОРИЯ АЛГОРИТМОВ
Учебно-методический комплекс. Рабочая программа
для студентов направления подготовки
050100.62 (44.03.01) Педагогическое образование
профиля подготовки Информатика и информационные технологии в образовании
заочной формы обучения
Тюменский государственный университет
2014
Павлова Т.В. Теория алгоритмов. Учебно-методический комплекс. Рабочая программа для
студентов направления подготовки 050100.62 (44.03.01) Педагогическое образование профиля
подготовки Информатика и информационные технологии в образовании заочной формы обучения.
Тюмень, 2014, 22 стр.
Рабочая программа составлена в соответствии с требованиями ФГОС ВО с учетом рекомендаций и
ПрОП ВО по направлению и профилю подготовки.
Рабочая программа дисциплины (модуля) опубликована на сайте ТюмГУ Теория алгоритмов
[электронный ресурс] / Режим доступа: http://www.utmn.ru, раздел «Образовательная
деятельность», свободный.
Рекомендовано к изданию кафедрой физико-математических дисциплин и профессиональнотехнологического образования. Утверждено директором филиала ТюмГУ в г. Ишиме.
ОТВЕТСТВЕННЫЙ РЕДАКТОР: к.п.н., доцент, зав. кафедрой ФМДиПТО Мамонтова Т.С.
Ф.И.О., ученая степень, звание заведующего кафедрой
© Тюменский государственный университет, филиал в г. Ишиме, 2014.
© Павлова Т.В., 2014.
Ф.И.О. автора
Учебно-методический комплекс. Рабочая программа включает следующие разделы:
1.
Пояснительная записка.
1.1.
Цели и задачи дисциплины (модуля)
Цели освоения дисциплины:
 формирование систематических знаний в области теории алгоритмов, представлений о
проблемах оснований математики и роли теории алгоритмов в их решении.
Задачи освоения дисциплины:
- сформировать понимание основных понятий теории алгоритмов, ее связи с усвоенными
математическими понятиями из смежных дисциплин;
- доказать тесную связь основных разделов математики (теории алгоритмов) с другими
областями научного знания.
- развить представления об основных идеях и методах теории алгоритмов для изучения и
познания окружающей действительности;
- развить качества личности, необходимые для эффективной научной деятельности в
области теории алгоритмов.
1.2.Место дисциплины в структуре образовательной программы
Дисциплина «Теория алгоритмов» в соответствии с Учебным планом направления 44.03.01
Педагогическое образование профиля подготовки бакалавра Информатика и информационные
технологии относится к дисциплинам вариативной части математического и естественнонаучного
цикла. Для освоения дисциплины используются знания, умения, профессиональные качества
личности, сформированные в процессе изучения курса математики в школе и вузе. Знания, умения
и личностные качества будущего специалиста, формируемые в процессе изучения дисциплины
«Теория алгоритмов», будут использоваться в дальнейшем при освоении следующих дисциплин
профессионального цикла: «Методика обучения и воспитания (по профилю подготовки)»,
«Теоретические основы информатики», «Дискретная математика». Курс «Теория алгоритмов»
предназначен для профессионального самообразования и личностного роста студентов – будущих
педагогов, проектирования их дальнейшего образовательного маршрута и профессиональной
карьеры.
Таблица 1.
Разделы дисциплины и междисциплинарные связи с обеспечиваемыми (последующими)
дисциплинами
№
Темы дисциплины необходимые
п/п Наименование обеспечиваемых (последующих)
для изучения обеспечиваемых
(последующих) дисциплин
дисциплин
1
2
3
1. Методика обучения и воспитания (по профилю
+
+
+
подготовки)
2. Теоретические основы информатики
+
+
+
3. Дискретная математика
+
+
+
1.3. Компетенции обучающегося, формируемые в результате освоения данной
образовательной программы.
В результате освоения ОП выпускник должен обладать следующими компетенциями:
 владеет культурой мышления, способен к обобщению, анализу, восприятию информации,
постановке цели и выбору путей её достижения (ОК-1);

способен логически верно строить устную и письменную речь (ОК-6);

готов к взаимодействию с коллегами, к работе в коллективе (ОК-7);
1.4. Перечень планируемых результатов обучения по дисциплине (модулю):
В результате изучение дисциплины студент должен:
знать:
- приемы анализа и обобщения информации по дисциплине;
- основные методы, способы и средства получения, хранения и переработки информации по
дисциплине;
- основные правила устной и письменной математической речи;
- особенности эффективного внутригруппового и межгруппового межличностного
взаимодействия в ходе изучения дисциплины;
- законы логической равносильности;
- компоненты (аксиомы и правила вывода) и характеристики (свойства) исчислений
высказываний и важнейших теорий первого порядка;
- результаты о непротиворечивости и независимости в арифметике и теории множеств;
- методы математической логики для изучения математических доказательств;
- общую структуру математического знания, взаимосвязь между различными математическими
дисциплинами;
- основные знаки, символы, обозначения, сокращения математической логики;
- приемы построения математических моделей для решения практических проблем;
- роль и место математики в системе наук, значение математической науки для решения задач,
возникающих в теории и практике, общекультурное значение математики.
уметь:
- использовать рациональные способы получения, преобразования, систематизации, хранения
информации по дисциплине;
- наладить эффективное взаимодействие с однокурсниками в процессе изучения дисциплины;
- распознавать тождественно истинные (простейшие общезначимые) формулы языка логики
высказываний (предикатов);
- строить простейшие выводы (в виде дерева) в исчислениях высказываний и использовать эти
модели для объяснения сути и строения математических доказательств;
- доказывать рекурсивность простейших арифметических функций, предикатов и множеств;
- реализовывать основные методы математических рассуждений на основе общих методов
научного исследования и опыта решения учебных и научных проблем;
- пользоваться языком математики, корректно выражать и аргументированно обосновывать
имеющиеся знания по дисциплине;
владеть:
- способностью к обобщению, анализу, восприятию информации по дисциплине;
- культурой математической речи;
- навыками работы со всевозможными источниками информации по дисциплине;
- техникой равносильных преобразований логических формул;
- методами распознавания тождественно истинных формул и равносильных формул;
- дедуктивным аппаратом изучаемых логических исчислений;
- математикой как универсальным языком науки, средством моделирования явлений и
процессов;
- пониманием универсального характера законов логики математических рассуждений, их
применимости в различных областях человеческой деятельности.
приобрести опыт:
- применения средств языка логики предикатов для записи и анализа математических
предложений;
- построения математических моделей для решения различных практических проблем;
- применения законов логики математических рассуждений в смежных образовательных
областях.
2. Структура и трудоемкость дисциплины.
Семестр 5 Форма промежуточной аттестации (зачет, экзамен) экзамен. Общая
трудоемкость дисциплины составляет 3 зачетных единицы, 108 академических часа, из них 17
часов, выделенных на контактную работу с преподавателем, 91 часов, выделенных на
самостоятельную работу.
Таблица 2.
Вид учебной работы
Контактная работа:
Аудиторные занятия (всего)
В том числе:
Лекции
Практические занятия (ПЗ)
Семинары (С)
Лабораторные занятия (ЛЗ)
Иные виды работ:
Самостоятельная работа (всего):
Общая трудоемкость
зач. ед.
час
Вид промежуточной аттестации
(зачет, экзамен)
Всего
часов
17
8
4
4
1
2
-
-
3
91
3
108
экзам
ен
Семестры
4
5
6
17
8
4
4
7
8
9
-
-
-
91
3
108
экз
3. Тематический план
Таблица 3.
Семестр 5
1
1.1.
2.1.
3.1.
2
Итого
часов
по
теме
Из них в
интерактивной
форме
Итого
количество
баллов
Самостоятельная
работа*
Лекции
Тема
Виды учебной работы и
самостоятельная работа, в
час.
Лабораторные работы
недели
семестра
Семинарские
(практические) занятия
№
3
4
5
7
8
9
Модуль 1 Формализованные математические теории
Формализованные
1
1
30
32
математические
теории
Всего*
1
1
30
32
Модуль 2 Формализованное исчисление высказываний
Исчисление
1
1
30
32
высказываний
Всего*
1
1
30
32
Модуль 3 Теория алгоритмов
Частично
2
2
31
35
рекурсивные
функции и
10
0 – 50
0 – 50
0 – 20
0 – 20
0 – 30
Машина
Тьюринга
Всего*
2
2
Итого (часов,
4
4
баллов) *
Из них часов в
интерактивной
форме
*- если предусмотрены учебным планом ОП.
31
91
0 – 30
0 – 100
35
99
4. Виды и формы оценочных средств в период текущего контроля
Таблица 4.
Итого количество
баллов
Информационные
системы
и
технологии
другие формы
Технические
формы
контроля
программы
компьютерног
о тестирования
реферат
Письменные работы
Самостоятельн
ая работа
Устный опрос
Теоретический
ответ на
занятии
Самостоятельное решение
задачи у доски
Домашняя
работа
№
Темы
комплексные
ситуационные
задания
Семестр 5
Модуль 1. Формализованные математические теории
1.1.
Всего
0-6
0-6
0-6
0-6
0-4
0-4
0-4
0-4
0-6
0-6
0-4
0-4
0-4
0-4
0-4
0-4
0-30
0-30
Модуль 2. Формализованное исчисление высказываний
2.1.
Всего
0-4
0-4
0-6
0-6
0-2
0-2
0-20
0-20
0-4
0-4
0-10
0-50
0-50
0-100
Модуль 3. Теория алгоритмов
3.1.
Всего
Итого
0-10
0-10
0-20
0-10
0-10
0-20
0-10
0-10
0-20
0-10
0-10
0-20
0-6
0-6
0-10
5. Содержание дисциплины.
СЕМЕСТР 5
Модуль 1. Формализованные математические теории
Формализованные математические теории. Теории первого порядка. Аксиомы теории,
правила вывода. Доказательства в теории. Характеристики теорий: непротиворечивость, полнота,
разрешимость. Непротиворечивость исчисления предикатов. Модели теорий. Теорема о полноте
для теорий. Формальная арифметика. Теоремы Геделя о неполноте. Формализация теории
множеств. Обзор результатов о непротиворечивости и независимости в основаниях теории
множеств. Проблемы оснований математики. Парадоксы теории множеств. Проблема
непротиворечивости математики. Программа Гильберта. Метод формализации. Конструктивное
направление в математике.
Модуль 2. Формализованное исчисление высказываний
Принципы построения исчислений высказываний. Классическое и конструктивное
(интуиционистское) исчисления. Аксиомы, правила вывода. Доказуемость формул. Выводимость
из гипотез. Производные правила. Теорема дедукции. Характеристики исчислений высказываний
– непротиворечивость, полнота, разрешимость и связанные с ними теоремы. Независимость
аксиом, правил вывода. Законы исключенного третьего и снятия двойного отрицания – законы
классической логики. Эффективные и неэффективные доказательства.
Модуль 3. Теория алгоритмов
Частичные числовые функции. Простейшие функции. Операции суперпозиции и
примитивной рекурсии. Примитивно рекурсивные функции. Операция минимизации. Частично
рекурсивные функции, общерекурсивные функции. Тезис Чёрча. Теорема о совпадении класса
частично рекурсивных функций и класса частичных числовых функций, вычислимых по
Тьюрингу. Рекурсивные множества, разрешимые предикаты, рекурсивно перечислимые
множества, частично разрешимые предикаты. Теорема Райса. Нормальные алгоритмы Маркова.
Принцип нормализации. Машина Тьюринга и универсальные функции. Машина Поста.
6. Планы семинарских занятий.
№
занятия
1.
Тема семинарского
занятия
Логика высказываний
2.
Булевы функции
3.
Логика предикатов
4.
Формализованные
математические теории
5.
Исчисление высказываний
6.
Частично рекурсивные
функции и Машина
Тьюринга
Вопросы, выносимые на семинар
1. Высказывания и операции над ними. Формулы алгебры
высказываний. Тавтологии
2. Логическая равносильность и логическое следование
формул
3. Приложение алгебры высказываний к логикоматематической практике
1. Булевы функции от одного, двух и n аргументов
2. Применение булевых функций к релейно-контактным
схемам
1. Понятие предиката. Логические и кванторные операции
над предикатами. Формулы логики предикатов
2. Применение логики предикатов к логикоматематической практике
1. Теории первого порядка
2. Аксиомы теории, правила вывода
3.Доказательства в теории
4. Характеристики теорий: непротиворечивость, полнота,
разрешимость
5. Модели теорий
1. Система аксиом и теория формального вывода
2. Свойства формализованного исчисления высказываний
1. Машины Тьюринга
2. Рекурсивные функции
3. Нормальные алгоритмы Маркова
4. Неразрешимые алгоритмические проблемы
7. Темы лабораторных работ (Лабораторный практикум).
Лабораторный практикум не предусмотрен учебным планом.
8. Примерная тематика курсовых работ (если они предусмотрены учебным планом ОП).
Курсовые работы не предусмотрены учебным планом.
9. Учебно-методическое обеспечение и планирование самостоятельной работы студентов.
Таблица5.
Семестр 5
№
Модули и темы
Виды СРС
обязательные
1.1.
дополнительные
Неделя
семестра
Модуль 1. Формализованные математические теории
Выполнение
Подготовка
Формализованные домашней работы,
реферата
чтение лекций и
математические
дополнительной
теории
Объем
часов
Кол-во
баллов
30
0-30
30
0-30
30
0-20
30
0-20
31
0-50
31
91
0-50
0-100
литературы
Всего
Модуль 2. Формализованное исчисление высказываний
2.1.
Исчисление
высказываний
Выполнение
домашней работы,
чтение лекций и
дополнительной
литературы
Всего
Модуль 3. Теория алгоритмов
3.1.
Частично
рекурсивные
функции и
Машина Тьюринга
Выполнение
домашней работы,
чтение лекций и
дополнительной
литературы
Всего
Итого
10.Фонд оценочных средств для проведения промежуточной аттестации по итогам освоения
дисциплины (модуля).
10.1 Перечень компетенций с указанием этапов их формирования в процессе освоения
образовательной программы (выдержка из матрицы компетенций):
Циклы, дисциплины (модули)
учебного плана ОП
Индекс компетенции
Общекультурные,
профессиональные
Код компетенции
компетенции
ОК-1
ОК-6
ОК-7
Виды аттестации
ФОС
УФ-1
ПФ-4
Текущая
ПФ-6
(по дисциплине)
ПФ-8
ПФ-10
УФ-12
Промежуточная
ПФ-4
(по дисциплине)
ИС-4
Б3
5 семестр
Теория алгоритмов
Б3.В.ОД.11
+
+
+
+
+
+
+
+
+
+
+
10.2 Описание показателей и критериев оценивания компетенций на различных этапах их
формирования, описание шкал оценивания:
Таблица 6.
ОК-6
ОК-1
Код
компетенции
Карта критериев оценивания компетенций
Критерии в соответствии с уровнем освоения ОП
пороговый
(удовл.)
61-75 баллов
Знает:
понятийный
аппарат
дисциплины
базовый (хор.)
76-90 баллов
Знает: основные
математические
методы
исследования и
общие
математические
методы решения
задач (в
дополнение к
пороговому
уровню)
Умеет: корректно
применять
математический
аппарат при
изучении
дисциплин
естественноматематического
и профессионального циклов
Умеет: корректно
применять
математический
аппарат при
обучении физике
в
общеобразователь
ных учреждениях
(в дополнение к
пороговому
уровню)
Владеет:
основными
понятиями и
методами
дисциплины
Владеет:
основными
понятиями и
методами
дисциплины (в
дополнение к
пороговому
Знает: о
существовании
современных
методик и
технологий, в том
числе и
информационных
Знает: сущность
современных
методик и
технологий, в том
числе и
информационных
повышенный
(отл.)
91-100 баллов
Знает:
мировоззренческо
е значение
математики, роль
и место
математики в
изучении
окружающего
мира (в
дополнение к
пороговому и
базовому
уровням)
Умеет: применять
математические
методы при
проведении
теоретических и
экспериментальны
х исследований в
физике и в
профессионально
й деятельности (в
дополнение к
пороговому и
базовому
уровням)
Владеет:
математическими
методами
изучения
физических
явлений (в
дополнение к
пороговому и
базовому
уровням)
Знает:
современные
методики и
технологии, в том
числе и
информационные
Виды занятий
(лекции,
семинарские,
практические,
лабораторные)
Оценочные
средства
(тесты,
творческие
работы,
проекты и др.)
лекции,
практически
е занятия
Аттестацион
ные тесты,
экзамен
(ПФ-4. ИС-4,
УФ-12)
лекции,
практически
е занятия
Аттестацион
ные тесты,
учебные
задачи
реферат,
ситуационны
е задачи
(ПФ-4, ИС-4,
УФ-4, ПФ-7,
ИС-7, ПФ10)
лекции,
практически
е занятия
решение
учебных
задач,
контрольные
работы УФ7, ПФ-6, ПФ7)
лекции,
практически
е занятия
Аттестацион
ные тесты,
экзамен
(ПФ-4. ИС-4,
УФ-12)
ОК-7
Умеет:
анализировать
информацию
Умеет:
осуществлять
анализ
информации с
позиции
изучаемой
проблемы
Владеет:
современными
методиками и
технологиями
Владеет:
современными
методиками и
технологиями, в
том числе и
информационным
и
Умеет:
осуществлять
анализ
информации с
позиции
изучаемой
проблемы;
использовать
современные
методики и
технологии
Владеет:
современными
методиками и
технологиями, в
том числе и
информационным
и на уровне
лекции,
практически
е занятия
индивидуаль
ные
проекты,
реферат,
решение
ситуационны
х задач (УФ8, ПФ-8, УФ1, ПФ15,ПФ-10)
лекции,
практически
е занятия
решение
ситуационны
х задач,
решение
учебных
задач,
контрольные
работы УФ7, ПФ-6, ПФ7)
Знает:
необходимый
минимум учебной
программы
дисциплины.
Знает:
на
хорошем уровне
учебную
программу
дисциплины.
Знает:
на лекции,
высоком уровне практически
учебную
е занятия
программу
дисциплины.
Аттестацион
ные тесты,
экзамен
(ПФ-4. ИС-4,
УФ-12)
Умеет:
реализовывать
учебные
программы курса
дисциплины,
опираясь
на
помощь извне.
Умеет:
самостоятельно
реализовывать
учебные
программы курса
дисциплины
в
некоторых
образовательных
учреждениях.
Умеет:
лекции,
самостоятельно
практически
реализовывать и е занятия
выбирать
наилучшие
учебные
программы курса
дисциплины
в
различных
образовательных
учреждениях,
исходя
из
их
специфики.
реферат,
решение
ситуационны
х задач (УФ8, ПФ-8, УФ1, ПФ15,ПФ-10)
Владеет:
необходимыми
навыками
и
инструментарием
для
реализации
учебных
программ курса
дисциплины;
навыками работы
с программными
средствами
общего
и
профессиональног
о назначения.
Владеет:
необходимыми
навыками
и
инструментарием
для
самостоятельной
реализации
учебных
программ курса
дисциплины
в
некоторых
образовательных
учреждениях;
методами
построения
учебного курса;
навыками работы
с программными
средствами
общего
и
профессиональног
о назначения.
Владеет:
на лекции,
высоком уровне практически
навыками,
е занятия
знаниями
и
инструментарием
для
самостоятельной
реализации
и
выбора
наилучших
учебных
программ курса
дисциплины
в
различных
образовательных
учреждениях,
исходя
из
их
специфики;
навыками работы
с программными
средствами
общего
и
профессиональног
о назначения.
решение
ситуационны
х задач,
решение
учебных
задач,
контрольные
работы УФ7, ПФ-6, ПФ7)
10.3 Типовые контрольные задания или иные материалы, необходимые для оценки знаний,
умений, навыков и (или) опыта деятельности, характеризующей этапы формирования
компетенций в процессе освоения образовательной программы.
ПФ-6 Примерные контрольные работы:
Сформулировать для утверждения «Если целое число оканчивается нулем, то оно делится на
два» обратное, противоположное, обратно-противоположное утверждения. Какие из
утверждений истинны?
Исходное утверждение: «Если целое число оканчивается нулем, то оно делится на два» истинно.
Обратное: «Если целое число делится на два, то оно оканчивается нулем» - ложно.
Противоположное: «Если целое число не оканчивается нулем, то оно не делится на два» ложно.
Обратно-противоположное: Если целое число не делится на два, то оно не оканчивается
нулем» - истинно.
1.
q
2.
Машина Тьюринга с программой q11  q1 0 Л , q1a0  q0 преобразует слово   в слово
q0
… 00
УФ-12. Вопросы зачета (экзамена):
СЕМЕСТР 5
Вопросы к экзамену:
Билет 1
1. Система аксиом.
Начало аксиоматической теории высказываний: первоначальные понятия, система аксиом,
правило вывода. Понятие вывода и его свойства.
2. Покажите, что справедливы следующие выводимости, построив соответствующие
выводы:
F  G |−G.
Билет 2
1. Теорема о дедукции.
Теорема о дедукции и следствия из нее. Применение теоремы о дедукции. Производные
правила вывода (правила введения и удаления логических связок).
2. Используя теорему дедукции, покажите, что имеют место следующие выводимости:
F↔G |−F→G.
Билет 3
1. Независимость системы аксиом.
Понятие независимости. Независимость аксиомы (А1). Независимость аксиомы (А2).
Независимость аксиомы (А3). Независимость системы аксиом.
2. Докажите, что аксиома (А2) не зависит от аксиом (А1) и (А3) формального исчисления
высказываний.
Билет 4
1. Машины Тьюринга
Определение машины Тьюринга. Применение машин Тьюринга к словам. Конструирование
машин Тьюринга.
2. Машина Тьюринга задается следующей функциональной схемой:
Определите, в какое слово перерабатывает машина данное слово, исходя из начального
стандартного состояния: 11*111.
Билет 5
1. Вычислимые по Тьюрингу функции
Вычислимые по Тьюрингу функции. Правильная вычислимость функций на машине
Тьюринга. Тезис Тьюринга.
2. На ленту подряд вписаны два конечных набора единиц, разделенные звездочкой.
Составьте программу машины Тьюринга, которая выписывала подряд (без разделения звездочкой)
столько единиц, сколько их в обоих наборах (сложение единиц).
Билет 6
1. Рекурсивные функции
Происхождение рекурсивных функций. Тезис Черча. Примитивно рекурсивные функции.
Примитивная рекурсивность предикатов. Вычислимость по Тьюрингу примитивно
рекурсивных функций.
2. Докажите, что следующая функция примитивно рекурсивна:
r(x) – число делителей числа х, где r(0)=0.
Билет 7
1. Нормальные алгоритмы Маркова
Марковские подстановки. Нормальные алгоритмы и их применение к словам. Нормально
вычислимые функции и принцип нормализации Маркова. Совпадение класса всех
нормально вычислимых функций с классом всех функций, вычислимых по Тьюрингу.
Эквивалентность различных теорий алгоритмов.
2. Сконструируйте нормальный алгоритм в алфавите А={1}, вычисляющий следующую
функцию:
f(x)=x+1.
Билет 8
1. Неразрешимые алгоритмические проблемы
Нумерация алгоритмов. Нумерация машин Тьюринга. Существование невычислимых по
Тьюрингу функций. Алгоритмически неразрешимые проблемы в общей теории алгоритмов.
Другие примеры алгоритмической неразрешимости.
2. Определите, является ли слово в стандартном алфавите {ао, 1, q, П, Л} программой
некоторой машины Тьюринга:
qqaoq1qqq11qq1qqqq111qq1Лqq11qqaoП.
10.4 Методические материалы, определяющие процедуры оценивания знаний, умений,
навыков и (или) опыта деятельности характеризующих этапы формирования компетенций.
Шкала перевода баллов в оценки:
- от 0 до 60 баллов – «неудовлетворительно»;
- от 61 до 75 баллов – «удовлетворительно»;
- от 76 до 90 баллов – «хорошо»;
- от 91 до 100 баллов – «отлично»;
Студенты, набравшие по дисциплине менее 35 баллов, к экзамену не допускаются.
Студенты, не допущенные к сдаче экзамена, сдают текущие формы контроля в соответствии с
установленным графиком и набирают пороговое значение баллов. Студентам, не набравшим в
семестре необходимого количества баллов по уважительной причине (болезнь, участие в
соревнованиях, стажировка и др.), устанавливаются индивидуальные сроки сдачи экзамена.
11. Образовательные технологии.
При изучении дисциплины «Теория алгоритмов» используются лекция-дискуссия, лекция с
запланированными ошибками, проблемная лекция, метод проектов.
12. Учебно-методическое и информационное обеспечение дисциплины (модуля).
12.1 Основная литература:
1.
Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов /
В.И. Игошин. – М.: Академия, 2007 – 3 экз.
2.
Лавров, И.А. Математическая логика [Текст] : учеб.пособие для вузов / И. А. Лавров ; под
ред. Л.Л. Максимовой. - М. : Академия, 2006. - 240 с.
3 экз.
1 экз.
12.2 Дополнительная литература:
12.3 Интернет-ресурсы:
№
Наименование
электроннобиблиотечной системы
(ЭБС)
1.
Электронно-библиотечная
система «Университетская
библиотека онлайн»
2.
Электронно-библиотечная
система Elibrary
Наименование
организацииПринадлежАдрес сайта
владельца, реквизиты
ность
договора на
использование
сторонняя
http://biblioclub.ru подписка ТюмГУ
сторонняя
http://elibrary.ru
ООО "РУНЭБ".
Договор № SV-2503/2014-1 на период с 05
марта 2014 года до 05
марта 2015 года.
Универсальная справочно- сторонняя
информационная
полнотекстовая база
данных “East View” ООО
«ИВИС»
http://dlib.eastvie
w.com/
4.
Электронная библиотека:
Библиотека диссертаций
сторонняя
http://diss.rsl.ru/?l
ang=ru
5.
Межвузовская
электронная библиотека
(МЭБ)
корпоративн
ая
http://icdlib.nspu.r
u/
6.
Автоматизированная
сторонняя
библиотечная
информационная система
МАРК-SOL 1.10 (MARC
21) (Электронный каталог)
библиографическая база
данных
3.
локальная сеть
ООО "ИВИС".
Договор № 64 - П от 03
апреля 2014 г. на период
с 04 апреля 2014 года до
03 апреля 2015 года.
подписка ТюмГУ (1
рабочее место, подписка
в 2015 г.)
Совместный проект с
ФГБОУ ВПО
«Новосибирский
государственный
педагогический
университет»
Научнопроизводственное
объединение
«ИНФОРМ-СИСТЕМА».
Гос.контракт № 07034 от
20.09.2007 г., бессрочно
13. Перечень информационных технологий, используемых при осуществлении
образовательного процесса по дисциплине (модулю), включая перечень программного
обеспечения и информационных справочных систем (при необходимости).
Пакет программ Microsoft Office.
14. Технические средства и материально-техническое обеспечение дисциплины (модуля).
Для обеспечения освоения данной дисциплины имеются: оборудованные аудитории;
технические средства обучения (электронные доски, компьютеры, программное обеспечение);
выход в Интернет; аудио- и видеоаппаратура; наглядные пособия; пакеты компьютерных
программ.
15. Методические указания для обучающихся по освоению дисциплины (модуля).
Студенту следует помнить, что дисциплина «Теория алгоритмов» предусматривает
обязательное посещение студентом лекций и практических занятий. Она реализуется через
систему домашних работ, систему рефератов и индивидуальных работ. Самостоятельная работа
студентов заключается в выполнении домашних заданий с целью подготовки к практическим
занятиям (см. планы практических занятий) и подготовке рефератов. Контроль над
самостоятельной работой студентов и проверка их знаний проводится в виде зачета.
Дополнения и изменения к рабочей программе на 2015 / 2016 учебный год
В рабочую программу вносятся следующие изменения:
Рабочая программа пересмотрена и одобрена на заседании кафедры
Заведующий кафедрой
«
/ Т.С. Мамонтова /
Подпись
Ф.И.О.
»
2015 г.