Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп

Зам. директора Института кибернетики

по учебной работе


________________ С.А. Гайворонский

«___»_____________2011 г.


РАБОЧАЯ Программка ДИСЦИПЛИНЫ

Математическая логика и теория алгоритмов


НАПРАВЛЕНИЕ ООП 230100 Информатика и вычислительная техники


ПРОФИЛИ ПОДГОТОВКИ Вычислительные машины, комплексы, системы и сети, Системы автоматического проектирования, Технологии разработки программного Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп обеспечения, Программное обеспечение средств вычислительной техники и автоматических систем


^ КВАЛИФИКАЦИЯ (СТЕПЕНЬ) бакалавр

Базисный УЧЕБНЫЙ ПЛАН ПРИЕМА 2011 г.

КУРС 1 СЕМЕСТР 2

КОЛИЧЕСТВО КРЕДИТОВ 6 кредитов ECTS

ПРЕРЕКВИЗИТЫ -

КОРЕКВИЗИТЫ математика


^ ВИДЫ УЧЕБНОЙ ДЕЯТЕЛЬНОСТИ И ВРЕМЕННОЙ РЕСУРС:

Лекции 36 часов

Практические занятия Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп 36 часов

АУДИТОРНЫЕ ЗАНЯТИЯ 72 часа

САМОСТОЯТЕЛЬНАЯ РАБОТА 90 часа

ИТОГО 162 часа

^ ФОРМА ОБУЧЕНИЯ очная


ВИД Промежной АТТЕСТАЦИИ экзамен (2-й сем.)


ОБЕСПЕЧИВАЮЩЕЕ ПОДРАЗДЕЛЕНИЕ кафедра ИПС


ЗАВЕДУЮЩИЙ КАФЕДРОЙ ИПС Сонькин М.А


Управляющий ООП Рейзлин В.И.


Педагог Огородов С.В.


2011 г.
  1. ^ Цели освоения Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп дисциплины

Цель дисциплины “Математическая логика и теория алгоритмов” - ознакомление студентов с базовыми основами математической логики, также с современными способами оценки трудности алгоритмов и способами их разработки.


Целями освоения дисциплины в области обучения Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп, воспитания и развития являются требования ФГОС ООП, содействующие формированию у студента последующих

общекультурных компетенций (ОК – 1,2,3,4,9,10):

проф компетенций (ПК – 1,2,3,4,5,18,19,20):


^ 2. Место дисциплины в структуре ООП


Дисциплина «Математическая логика и теория алгоритмов» относится к математическому и естесственно-научному циклу дисциплин. Для исследования дисциплины нужно познание неотклонимого минимума содержания среднего (полного) образования Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп по арифметике и информатике утвержденного приказом Минобразования № 56 от 30.06.99. Прериквизитов нет. Кореквизит – математика. Дисциплина «Математическая логика и теория алгоритмов» является пререкизитом для всех дисциплин проф цикла.


^ 3. Результаты освоения дисциплины


После исследования дисциплины в Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп согласовании с ФГОС ООП студент должен:

знать: З.1.3. Логику выражений и предикатов, элементы теории трудности, введение в теорию алгоритмов и алгоритмических языков.

уметь: У.1.3. Использовать способы математической логики и теории алгоритмов для Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп решения практических задач.

обладать: В.1.3 Способами математической логики и теории алгоритмов.


4. Структура и содержание дисциплины
^ 4.1. Лекционные занятия. 2-й семестр, 36 часов.
2.1.1. Вводная часть. Огромного количества. Мощность. Декартово произведение. Дела.(2 часа)

2.1.2. Понятие о выражении. Операции Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп над высказываниями. Формулы алгебры выражений. Равносильность в алгебре выражений. (2 часа)

2.1.3. Двойственность в алгебре выражений. Принцип двойственности и закон двойственности. (4 часа)

2.1.3. Обычные формы алгебры выражений. СДНФ и СКНФ. Главные задачи алгебры выражений. (4 часа)

2.1.4. Аспекты тождественной истинности Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп и тождественной ложности.

Релейно-контактные схемы. (4 часа)

2.1.5. Неоднозначные логики. (2 часа)

2.1.6. Понятие о многоместном предикате. Логические операции над предикатами. (4 часа)

2.1.7. Равносильность в алгебре предикатов. Операции, уменьшающие местность предиката, кванторы. Главные равносильности, содержащие Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп кванторы. Кванторы как обобщение логических операций. (4 часа)

2.1.8. Применение языка предикатов и кванторов для записи математических утверждений. (4 часа)

2.1.9. Понятие об методе, черты (характеристики) алгоритмов. Алфавит, буковкы, слова. Запись слова на нескончаемой Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп ленте. Операции над словами. (2 часа)

2.1.10.Машина Тьюринга - описание и примеры. (2 часа)

2.1.11. Композиция машин. Объединение машин, ветвление машин, итерация машин. Универсальный алфавит и универсальная машина. (2 часа)

2.1.12. Тьюрингов подход к понятию "метод" и другие подходы Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп. Тезис Черча. Алгоритмически разрешимые и неразрешимые трудности. Существование алгоритмически неразрешимых заморочек. (2 часа)
^ 2.2. Практические занятия. 2-й семестр. 36 часов.
2.1.1. Огромного количества и операции над огромными количествами. (4 часа)

2.1.2. Операции над высказываниями. Формулы алгебры выражений. Законы Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп логики Буля. Упрощение логических выражений. Способы подтверждения логических тождеств.(12 часов)

2.1.3. Обычные формы алгебры выражений. СДНФ и СКНФ. Главные препядствия алгебры выражений. Минимизация логических функций (6 часов)

2.1.4. Релейно-контактные схемы. (2 часа)

2.1.6. Предикаты. Логические операции Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп над предикатами. Кванторы.(4 часа)

2.1.8. Применение языка предикатов и кванторов для записи математических утверждений. (4 часа)

2.1.10.Машины Тьюринга (4 часа)

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


При освоении разделов дисциплины употребляется сочетание видов образовательной деятельности (ОД) – лекция, самостоятельная работа – с разными Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп способами ее активизации (табл. 1).


Таблица 1. Сочетание видов ОД с разными способами ее активизации

Способ акт.ОД \ Вид ОД

Лекц.

Прак. зан.

Сам.раб

К.пр.

IT-методы

+

+

+

+

Работа в команде




+

+




Case-study

+










Игра







+




Проблемное обучение

+

+




+

Контекстное обучение




+







Обучение на базе Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп опыта

+

+







Личное обучение




+







Междисциплинарное обучение

+

+

+




Опережающая самостоятельная работа







+





От полного количества аудиторных занятий толика лекционных учебных занятий составляет 50%.


^ 6. Организация и учебно-методическое обеспечение самостоятельной работы студентов


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


^ 7. Средства (ФОС) текущей Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп и итоговой оценки свойства освоения дисциплины


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

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


^ 8. Учебно - методическое и информационное обеспечение модуля (дисциплины)


а) основная литература:


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

2. Успенский В. А., Верещагин Н. К., Плиско В. Е Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп. Вводный курс математической логики. М., 1991.

3. Акимов О.Е. Дискретная математика: логика, группы, графы. М: Лаборатория Базисных Познаний, 2001.

4. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Наука, 1987.

5. Клини С.К. Математическая логика Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп. М.: Мир, 1973

6. Лавров И.А., Максимова Л.Л. Задачки по теории множеств, математической логике и теории алгоритмов. М.: Физ.-мат. литература, 1995.


б) дополнительная литература:

1. Ахо А.В., Хопкрофт Д Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп.Э., Ульман Д.Д. Структуры данных и методы.- М.: Вильямс, 2000.

2. Кнут Д. Искусство программирования для ЭВМ. –М: Издательство Мир, 1976.


Программка составлена на базе Эталона ООП ТПУ в согласовании с требованиями ФГОС по направлению и Рабочая программа дисциплины математическая логика и теория алгоритмов направление ооп профилю подготовки 230100 «Информатика и вычислительная техника».


Программка одобрена на заседании кафедры ИПС

(протокол № __8__ от «_11__» __11_____ 2010 г.).


Создатель: С.В. Огородов

rabochaya-programma-disciplini-istoriya-ekonomicheskih-uchenij-napravlenie-podgotovki-080100-ekonomika.html
rabochaya-programma-disciplini-istoriya-fizicheskoj-kulturi-napravlenie-specialnost-oop-stranica-2.html
rabochaya-programma-disciplini-istoriya-i-metodologiya-himicheskoj-tehnologii-napravlenie-podgotovki-240100-himicheskaya-tehnologiya.html