Рабочая программа по дисциплине "Математическая логика и теория алгоритмов" для специальности 230105 (220400)



Скачать 69.37 Kb.
Дата30.12.2012
Размер69.37 Kb.
ТипРабочая программа
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ
Томский государственный университет систем управления и

радиоэлектроники (ТУСУР )






УТВЕРЖДАЮ

Проректор по научной работе
________________М.Т.Решетников
“______”_________________2004 г.


РАБОЧАЯ ПРОГРАММА
по дисциплине “Математическая логика и теория алгоритмов”

для специальности 230105 (220400)

“Программное обеспечение вычислительной техники

и автоматизированных систем”
Факультет - систем управления

Профилирующая кафедра - автоматизированных систем управления
Курс - 2

Семестр - 3
Учебный план набора 2001, 2002, 2003 и последующих лет
Распределение учебного времeни (Всего часов)

Лекции  26 часов

Практические занятия  17 часов

Всего ауд. занятий  43 часа
Самостоятельная работа  58 часов

Общая трудоемкость  101 час
Зкзамен  3 семестр
2004

Рабочая программа составлена на основании ГОС ВО по направлению 654600 Информатика и вычислительная техника (специальность 220400 – “Программное обеспечение вычислительной техники и автоматизированных систем”), утвержденного 27.03.2000г, рассмотрена и утверждена на заседании кафедры АСУ “____“ ____________2004 г.

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

доцент каф. АСУ Е.Н.Сафьянова
Зав. обеспечивающей кафедрой АСУ А.М. Кориков

Рабочая программа согласована с факультетом, профилирующей и выпускающей кафедрой специальности.
Декан ФСУ Н.В. Замятин
Зав. профилирующей кафедрой АСУ А.М.Кориков

1. ЦЕЛИ И ЗАДАЧИ ДИСЦИПЛИНЫ И ЕЕ МЕСТО

В УЧЕБНОМ ПРОЦЕССЕ
Цель дисциплины «Математическая логика и теория алгоритмов»  изучение основ алгебры высказываний, теории булевых функций, математической логики и теории алгоритмов как аппарата для построения моделей дискретных систем.

Математическая логика и теория алгоритмов является обязательной дисциплиной цикла «Математические и общие естественнонаучные дисциплины». Знания и навыки, полученные при ее изучении, используются в последующих дисциплинах обще-профессионального цикла.
2. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
2.1. Лекции.
Тема 1. Алгебра высказываний.

Лекции - 2 часа, самостоятельная работа - 1 час.

Понятие высказывания. Логические операции. Переменные высказывания. Истинностные таблицы. Равносильность. Тавтологии.
Тема 2. Булевы функции.

Лекции – 6 часов, самостоятельная работа - 6 часов.

Определение булевой функции. Булевы функции одной и двух переменных. Некоторые свойства элементарных булевых функций. Представление булевых функций в совершенных дизъюнктивной и конъюнктивной нормальных формах. Полнота системы булевых функций.
Классы функций, сохраняющих ноль и единицу. Классы самодвойственных, монотонных и линейных функций. Теорема о полноте. Минимизация дизъюнктивных нормальных форм. Метод Квайна.
Тема 3. Синтез логических схем.

Лекции - 4 часа, самостоятельная работа - 2 часа.

Автоматные описания систем управления. Понятие комбинационной схемы. Автомат с памятью. Основные этапы синтеза комбинационных схем.
Тема 4. Логика предикатов.

Лекции - 4 часа, самостоятельная работа - 2 часа.

Понятие предиката. Операции над предикатами. Определенные и переменные предикаты. Обобщение операций квантирования. Равносильность формул логики предикатов.
Тема 5. Формальные теории.

Лекции - 4 часа, самостоятельная работа - 4 часа.

Основные понятия и положения. Аксиоматические теории. Исчисление высказываний: алфавит, формулы, аксиомные схемы, правила вывода. Правильность и адекватность интерпретации исчисления высказываний в алгебру высказываний. Непротиворечивость и полнота исчисления высказываний. Исчисление предикатов.

Тема 6. Основы теории алгоритмов.

Лекции – 6 часов, самостоятельная работа - 10 часов.

Интуитивное понятие алгоритма и проблема его уточнения. Основные понятия теории рекурсивных функций. Простейшие числовые функции. Основные операторы. Примитивно-рекурсивные функции. Частично-рекурсивные функции. Тезис Черча. Машины Тьюринга. Композиция и итерация машин Тьюринга. Нормальные «алгорифмы» Маркова. Алгоритмически неразрешимые проблемы.

Всего часов лекций  26, самостоятельная работа  25 часов.
2.2. Практические занятия.
1. Операции над высказываниями.  2 часа

2. Совершенные дизъюнктивная и конъюнктивная

нормальные формы булевой функции.  2 часа

4. Булевы функции, сохраняющие ноль, единицу,

самодвойственные, монотонные, линейные функции.

Полнота системы булевых функций.  2 часа

5. Минимизация булевых функций. Нахождение

сокращенной дизъюнктивной нормальной формы

и тупиковых форм.  2 часа

6. Минимизация булевых функций. Метод Квайна. – 2 часа

7. Синтез логических схем.  2 часа

8 . Операции над предикатами. Равносильность.  2 часа

9. Рекурсивные функции. Машины Тьюринга.  3 часа
Часть практических заданий выполняется с использованием вычислительной техники, что требует увеличения затрат времени на самостоятельную работу.

Всего часов практических занятий  17. Для подготовки к практическим занятиям и выполнения домашних заданий к ним требуется 33 часа самостоятельной работы.

2.3. Самостоятельная работа.

№ Наименование работы Число часов Формы контроля

1 Проработка лекционного материала 25 экзамен

2 Выполнение практических заданий 33 опрос



3. УЧЕБНО-МЕТОДИЧЕСКИЕ МАТЕРИАЛЫ
3.1. Основная литература.

  1. Кориков А.М., Сафьянова Е.Н. Основы системного анализа и теории систем. - Томск, Изд-во Том. ун-та, 1989. – 207 с.

  2. Сафьянова Е.Н. Дискретная математика. Часть 1: Учебное пособие.- Томск: Томский межвузовский центр дистанционного образования, 2000 – 106 с.

  3. Сафьянова Е.Н. Дискретная математика. Часть 2: Учебное пособие.- Томск: Томский межвузовский центр дистанционного образования, 2000 – 99 с.

  4. Шевелев Ю.П.Высшая математика 5. Дискретная математика. Ч.1: Теория множеств. Булева алгебра (для автоматизированной технологии обучения): Учебное пособие. – Томск: Томск. Гос. Ун-т систем управления и радиоэлектроники, 1998. – 114с.

  5. Шевелев Ю.П.Высшая математика 5. Дискретная математика. Ч.2: Теория конечных автоматов. Комбинаторика. Теория графов (для автоматизированной технологии обучения): Учебное пособие. – Томск: Томск. Гос. Ун-т систем управления и радиоэлектроники, 1999. – 120 с.

  6. Горбатов В.А. Основы дискретной математики. - М.: Высш.шк., 1986.

  7. Смыслова З.А. Математическая логика и ее приложения: Учебное пособие. – Томск: Томск. Гос. Академия систем управления и радиоэлектроники, 1994. – 111с.

  8. Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов: Учебное пособие. – Томск: STT, 2001. – 176с.


3.2. Дополнительная литература

  1. Основы кибернетики. Математические основы кибернетики / Под ред. К.А.Пупкова. - М.: Высш.шк., 1974. – 413 с.

  2. Гаврилов Г.П., Сапожников А.А. Сборник задач по дискретной математике. М.: Наука, 1989.

  3. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. - М.: Энергоатомиздат, 1988. – 480с.

  4. Клини С.К. Математическая логика. - М.: Мир, 1973.

  5. Меньдельсон Э. Введение в математическую логику. М.: Наука, 1971.

  6. Новиков П.С. Элементы математической логики. - М.: Наука, 1973.

  7. Захаров В.Н., Поспелов Д.А., Хазацкий В.Е. Системы управления. - М.-: Энергия, 1972.

  8. Мальцев А.И. Алгоритмы и рекурсивные функции 2-е изд. - М.: Наука, 1986.

  9. Осуга С. Обработка знаний. Пер. С япон. - М.: Мир, 1989.

  10. Яблонский С.В. Введение в дискретную математику: Учеб. Пособие для вузов. - М.: Наука, 1986.



4. ПРИМЕНЕНИЕ РЕЙТИНГОВОЙ СИСТЕМЫ
Контроль обучения – экзамен.

Элементы контроля – практические занятия.

Максимальный рейтинг – 120 баллов.

Правила формирования рейтинга.

  1. Посещение занятий – 4 балла за каждое занятие. Максимальное количество баллов – 30.

  2. Выполнение двух обязательных письменных контрольных работ на первой и второй контрольных неделях. За каждую работу начисляется от 2 до 10 баллов. Максимальное количество баллов – 20. Если студент не выполнил работу в срок или получил за нее менее четырех баллов, то для допуска к экзамену он должен ее выполнить, но баллы при этом не начисляются.

  3. Программирование не менее двух из предложенных преподавателем задач на выбранном студентом языке. Срок сдачи первой программы – первая контрольная точка, второй – вторая. За каждую работу начисляется до 10 баллов. Максимальное количество баллов – 30. Если студент не выполнил работу к положенному сроку, то для допуска к экзамену он должен ее выполнить, но баллы при этом не начисляются.

  4. Активность на занятии. Выступления с докладами по теории, решение задач у доски оцениваются от 2 до 5 баллов каждое. Максимальное количество баллов – 40.

Похожие:

Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconРабочая программа по дисциплине "Дискретная математика" для специальности 230105 (220400)
Гос во по направлению 654600 Информатика и вычислительная техника (специальность 230105 (220400) – “Программное обеспечение вычислительной...
Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconРабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»
«Математическая логика и теория алгоритмов», рекомендованной Министерством образования Российской Федерации в 2000 году для специальностей...
Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconРабочая учебная программа по дисциплине «Математическая логика и теория алгоритмов» для направления 010400 Прикладная математика и информатика по циклу Б. 2 математический и естественнонаучный цикл вариативная часть
Тем самым развитие теории алгоритмов в 30-е годы XX столетия, явилось стимулом для появления в 40-х годах первых компьютеров
Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconРабочая программа дисциплины Математическая логика и теория алгоритмов

Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconРабочая программа дисциплины математическая логика и теория алгоритмов
Рабочая программа обсуждена на заседании кафедры вычислительной техники “ ” 2002 г., протокол №
Рабочая программа по дисциплине \"Математическая логика и теория алгоритмов\" для специальности 230105 (220400) iconРабочая учебная программа по дисциплине «Математическая логика» для специальности «050201 Математика»
Рабочая учебная программа обсуждена на заседании кафедры алгебры и теории чисел Ургпу
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org