Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем”




Скачать 69.37 Kb.
НазваниеРабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем”
Дата13.03.2013
Размер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) "Программное обеспечение вычислительной техники и автоматизированных систем"
Гос во по специальности 230105 (220400) – Программное обеспечение вычислительной техники и автоматизированных систем, утвержденного...
Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconРабочая программа по дисциплине Архитектура вычислительных систем Для специальности 230105(220400) Программное обеспечение вычислительной техники и автоматизированных систем
Рабочая программа составлена в соответствии с гос во по специальности 230105 Программное обеспечение вычислительной техники и автоматизированных...
Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconРабочая программа по дисциплине «проектирование систем управления и менеджмента» для специальности 230105 “Программное обеспечение вычислительной техники и автоматизированных систем”
Рабочая программа составлена на основании гос впо для специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных...
Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconРабочая программа по дисциплине “Программирование на языке высокого уровня” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем”

Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconРабочая программа по дисциплине "Структуры и алгоритмы обработки данных" специальности 230105 (220400) "Программное обеспечение вычислительной техники и автоматизированных систем"

Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconРабочая программа по дисциплине “Дискретная математика” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем”
Томский государственный университет систем управления и радиоэлектроники ( тусур )
Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconРабочая программа учебной дисциплины од. 04 Информатика ооп 230105 «Программное обеспечение вычислительной техники и автоматизированных систем»
Рабочая программа составлена на основании Государственного образовательного стандарта среднего профессионального образования по специальности...
Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconРабочая программа По дисциплине “Методы оптимизации" для специальности 230105 "Программное обеспечение вычислительной техники и автоматизированных систем"
По дисциплине “Методы оптимизации" для специальности 230105 "Программное обеспечение вычислительной техники и автоматизированных...
Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” icon«Сети ЭВМ и телекоммуникации»
Для специальности: 230105 (220400) Программное обеспечение вычислительной техники и автоматизированных систем
Рабочая программа по дисциплине “Математическая логика и теория алгоритмов” для специальности 230105 (220400) “Программное обеспечение вычислительной техники и автоматизированных систем” iconПрограмма государственного экзамена "языки и технологии программирования" для специальности 220400 “Программное обеспечение вычислительной техники и автоматизированных систем”
Программа государственного экзамена составлена на основе гос-2000 по специальности 220400 «Программное обеспечение вычислительной...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница