Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность»



Скачать 274.6 Kb.
страница4/4
Дата19.01.2013
Размер274.6 Kb.
ТипРабочая программа
1   2   3   4


VII семестр


Номер лекции

Тема

1

2

Лекция 10.

Логика предикатов.

Понятие предиката. Предметы, предметные переменные и поле предиката. Операции над предикатами. Операции квантирования. Формулы логики предикатов. Связанные и свободные предметные переменные сложного предиката. Определенные и переменные предикаты. Равносильность формул логики предикатов. Тождественно-истинные формулы.

Лекция 11.

Формальные системы (теории).

Определение формальной теории. Алфавит, формула, аксиома и правило вывода. Язык и сигнатура. Схемы аксиом. Посылки и заключения. Вывод формул. Гипотезы и теоремы. Интерпретация и модели теории. Тавтологии и противоречия. Аксиоматизируемые, независимые и разрешимые теории. Исчисление высказываний и предикатов. Категории и функторы. Терм и атом предиката. Чистое и прикладное исчисления предикатов. Формальные теории первого и второго порядков.

Лекция 12.

Автоматическое доказательство теорем.

Понятие алгоритма автоматического доказательства теорем. Частичный алгоритм. Основы метода резолюций. Сведение формул к предложениям. Элиминация импликации. Протаскивание отрицаний. Разделение связанных переменных. Приведение к предваренной форме. Элиминация кванторов существования и всеобщности. Приведение к КНФ. Элиминация конъюнкции. Правило резолюции для исчисления высказываний. Резольвента и резольвируемые предложения. Правило резолюции для исчисления предикатов. Понятие унификатора. Наиболее общий унификатор. Опровержение методом резолюции.

Лекция 13.

k-значная логика.

Функции и формулы k-значной логики. Элементарные функции k-значной логики. Представление функций в виде аналога СДНФ. Полнота и замкнутость систем функций k-значной логики. Теорема Кузнецова и критерий Слупецкого о полноте системы функций. Особенности k-значной логики.

Лекция 14.

Основные положения теории алгоритмов и рекурсивных функций.

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

Лекция 15.

Машина Тьюринга.

Элементы машины и ее работа. Примеры машин Тьюринга.
Композиция машин Тьюринга. Понятие итерации машин Тьюринга. Теорема Тьюринга.

Лекция 16.

Сложность алгоритмов.

Основные понятия. Классификация задач по степени сложности.

Лекция 17.

Сложность алгоритмов.

Основные понятия. Классификация задач по степени сложности.


Приложение 2. План-график самостоятельной работы




п/п


Виды работы

Норматив

час/зада-ние

Объем

(кол-во

заданий)

Трудо-емкость

(час)

Всего за

неделю (час)

VI семестр

1.

Проработка теоретического материала







0,5

0,5

2.

Домашнее задание

0,1

5

0,5

0,5

3.

Проработка теоретического материала







0,5

0,5

4.

Домашнее задание

0,1

5

0,5

0,5

5.

Проработка теоретического материала







0,5

0,5

6.

Домашнее задание

0,1

5

0,5

0,5

7.

Проработка теоретического материала

Выполнение типового расчета







0,5

0,5


1

8.

Домашнее задание

Выполнение типового расчета

0,1


5


0,5

0,5


1

9.

Проработка теоретического материала

Подготовка к коллоквиуму







0,5

0,5


1

10.

Домашнее задание

Выполнение типового расчета

0,1


5


0,5

0,5


1

11.

Проработка теоретического материала

Выполнение типового расчета







0,5

0,5


1

12.

Домашнее задание

Выполнение курсовой работы

0,1


5


0,5

0,5


1

13.

Проработка теоретического материала

Работа над темами для самост.изучения







0,5

0,5


1

14.

Домашнее задание

Работа над темами для самост.изучения

0,1


5


0,5

0,5


1

15.

Проработка теоретического материала

Оформление и подготовка к сдаче типового расчета







0,5
0,5



1

16.

Домашнее задание

Работа над темами для самост.изучения

0,1


5


0,5

0,5


1

17.

Проработка теоретического материала

Работа над темами для самост.изучения







0,5

0,5


1

VII семестр

1.

Проработка теоретического материала







2

2

2.

Домашнее задание

0,2

10

2

2

3.

Проработка теоретического материала

Выполнение курсовой работы







1

1


2

4.

Домашнее задание

Выполнение курсовой работы

0,2

5

1

1


2

5.

Проработка теоретического материала

Подготовка к контрольной работе







1

1


2

6.

Домашнее задание

Выполнение курсовой работы

0,2

5

1

1


2

7.

Проработка теоретического материала

Выполнение курсовой работы







1

1


2

8.

Домашнее задание

Выполнение курсовой работы

0,2

5

1

1


2

9.

Проработка теоретического материала

Подготовка к коллоквиуму







1

1


2

10.

Домашнее задание

Выполнение курсовой работы

0,2

5

1

1


2

11.

Проработка теоретического материала

Выполнение курсовой работы







1

1


2

12.

Домашнее задание

Выполнение курсовой работы

0,2

5

1

1


2

13.

Проработка теоретического материала

Работа над темами для самост.изучения







1

1


2

14.

Домашнее задание

Работа над темами для самост.изучения

0,2

5

1

1


2

15.

Проработка теоретического материала

Оформление и подготовка к сдаче курсовой работы







1

1


2

16.

Домашнее задание

Работа над темами для самост.изучения

0,2

5

1

1


2

17.

Работа над темами для самост.изучения








1

1
1   2   3   4

Похожие:

Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconИзложение материала курса «Математическая логика и теория алгоритмов»
Лекции по математической логике и теории алгоритмов для студентов 2 курса специальности «Компьютерная безопасность»
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconРабочая программа дисциплины Математическая логика и теория алгоритмов

Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconРабочая программа дисциплины математическая логика и теория алгоритмов
Рабочая программа обсуждена на заседании кафедры вычислительной техники “ ” 2002 г., протокол №
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconРабочая программа по дисциплине "Математическая логика и теория алгоритмов" для специальности 230105 (220400)
Гос во по направлению 654600 Информатика и вычислительная техника (специальность 220400 – “Программное обеспечение вычислительной...
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconРабочая учебная программа по дисциплине «Математическая логика и теория алгоритмов» для направления 010400 Прикладная математика и информатика по циклу Б. 2 математический и естественнонаучный цикл вариативная часть
Тем самым развитие теории алгоритмов в 30-е годы XX столетия, явилось стимулом для появления в 40-х годах первых компьютеров
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconРабочая программа дисциплина ен. Ф. 01. 04 Математическая логика и теория алгоритмов
Специальность 230102 – Автоматизированные системы обработки информации и управления
Рабочая программа по курсу «Математическая логика и теория алгоритмов» для специальности 090102 «Компьютерная безопасность» iconУчебно-методический комплекс учебной дисциплины Математическая логика и теория алгоритмов Специальность 032200. 00 Физика
Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
Разместите кнопку на своём сайте:
ru.convdocs.org


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