Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов





Скачать 301.61 Kb.
НазваниеУчебно-методический комплекс по дисциплине математическая логика и теория алгоритмов
страница1/4
Дата публикации09.10.2013
Размер301.61 Kb.
ТипУчебно-методический комплекс
100-bal.ru > Математика > Учебно-методический комплекс
  1   2   3   4


МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

федеральное государственное бюджетное образовательное учреждение

высшего профессионального образования

«Алтайский государственный университет»

Рубцовский институт (филиал)



УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ПО ДИСЦИПЛИНЕ
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Специальность - 230101.65 Вычислительные машины, комплексы, системы и сети

Форма обучения – очная

Кафедра – Математики и прикладной информатики

Рубцовск - 2011






СОДЕРЖАНИЕ


1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА 4

2. ТЕМАТИЧЕСКИЙ ПЛАН 5

3. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ 9

План. 12

План. 13

Тема 8. Машины Тьюринга. 13

План. 13

План. 13

План. 13

Материалы к промежуточному и итоговому контролю. 14

4. МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ 21

5. СПИСОК ОСНОВНОЙ И ДОПОЛНИТЕЛЬНОЙ ЛИТЕРАТУРЫ, ДРУГИЕ ИНФОРМАЦИОННЫЕ ИСТОЧНИКИ 22


1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА



Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным стандартом, содействует фундаментализации образования и развитию логического мышления.

Цели освоения дисциплины:

Основной целью дисциплины «Математическая логика и теория алгоритмов» является изучение основных понятий и методов математической логики и теории алгоритмов, используемые в информатике и вычислительной технике; приобретение умений использования их для построения несложных логических моделей предметных областей, реализации логического вывода и оценки вычислительной сложности алгоритмов; получение представление о направлениях развития данной дисциплины и перспективах ее использования в информатике и вычислительной технике.

Задачи дисциплины:

  • дать основы знаний по каждому разделу математической логике и теории алгоритмов и закрепить эти знания во взаимосвязи с другими дисциплинами и курсами, на которые опирается математическая логика и теория алгоритмов и для которых она служит теоретическим «фундаментом»;

  • привить общие навыки решения конкретных задач по основным разделам математической логики и теории алгоритмов;

  • получить общее представление о приложениях математической логики и теории алгоритмов, как теоретических так и технических.

Дисциплина «Математическая логика и теория алгоритмов» относится к циклу ЕН.Ф.01.04. Цикл общие математические и естественнонаучные дисциплины. Федеральный компонент.

Перечень дисциплин, усвоение которых студентами необходимо для изучения данного курса:

«Математический анализ», «Линейная алгебра и геометрия», «Информатика». Знания и навыки, полученные при изучении дисциплины «Математическая логика и теория алгоритмов», используются при изучении общепрофессиональных и специальных дисциплин.

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

2. ТЕМАТИЧЕСКИЙ ПЛАН


(распределение часов курса по разделам и видам работ)

Очная форма обучения

Дидактические единицы (ДЕ)
Наименование тем
Максимальная нагрузка студентов, час.
Количество аудиторных часов при очной форме обучения
Самостоятельная работа студентов, час.

Лекции
Семинары
Лабораторные работы

1
2
3
4
5
6
7

ДЕ 1 Логика высказываний и огика предикатов

(50 баллов)
1.Математическая логика и ее применение. Понятие высказывания. Логические операции. Формулы логики высказываний. Таблицы истинности. Приоритет логических операций. Тавтология, противоречие, выполнимая формула. Проблема разрешимости. Равносильные формулы. Критерий равносильности. Основные равносильности логики высказываний

8
2

2




4

  1. .Нормальные формы формул логики высказываний. Понятие элементарной дизъюнкции, элементарной конъюнкции. Дизъюнктивная и конъюнктивная нормальные формы. Совершенные дизъюнктивные и конъюнктивные нормальные формы (СДНФ, СКНФ). Единственность представления в СКНФ (СДНФ).

12
2


4





6

  1. Понятие логического следования, критерий логического следования. Схема логического рассуждения и правильность логического рассуждения. Способы проверки правильности логических рассуждений. Прямые и косвенные виды доказательств.
8

2

2




4

  1. Булевы функции. Понятие булевой функции. Число булевых функций. Булевы функции формулы логики высказываний. Полные системы булевых функций. Специальные классы булевых функций. Теорема Поста о полноте системы булевых функций. Применение булевых функций к релейно-контактным схемам. Формализованное исчисление высказываний. Аксиоматические системы, формальный вывод.

10


2


2





6

  1. Логика предикатов. Понятие предиката. Классификация предикатов. Множество истинности предиката. Логические операции над предикатами. Кванторные операции. Синтаксис и семантика языка логики предикатов. Формулы логики предикатов. Равносильные формулы логики предикатов. Предваренная нормальная форма. Клаузальная форма. Метод резолюций в логике предикатов. Принцип логического программирования. Формализация исчисления логики предикатов.
6

2

2




2




  1. Метатеория формальных систем. Понятие алгоритмической системы.
6
2






4

Промежуточный контроль
Контрольная работа

(25 баллов)

Индивидуальная домашняя работа (25 баллов)

ДЕ 2

(50 баллов)

  1. Теория алгоритмов. Определение алгоритма. Характерные черты алгоритма. Формализация понятия алгоритма.
8
2
2



4

  1. Определение машины Тьюринга. Тезис Тьюринга. Машины Тьюринга и современные электронно-вычислительные машины
12
4
4



4

  1. Рекурсивные функции и тезис Чёрча.
8
2
2



4

  1. . Нормальный алгоритм Маркова.
8
2
2



4

  1. Алгоритмически неразрешимые проблемы. Меры сложности алгоритмов. Легко и трудноразрешимые задачи. Классы задач P и NP. NP – полные задачи. Понятие сложности вычислений; эффективные алгоритмы.
7
2
1



4

  1. Неклассические логики. Темпоральные логики; нечеткая и модальные логики; нечеткая арифметика; алгоритмическая логика Ч. Хоара. Основы нечеткой логики. Элементы алгоритмической логики.
7
2
1



4

Промежуточный контроль
Контрольная работа (25 баллов)

Зачетная работа (25 баллов)

Итоговый контроль
Экзамен – 40 баллов

Итого часов
100
26
24



50


  1   2   3   4
Добавить документ в свой блог или на сайт

Похожие:

Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconУчебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов»
Заведующий кафедрой И7 д ф м н., профессор /С. Д. Шапорев/ Составитель д ф м н., профессор /С. Д. Шапорев
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРабочая программа составлена в соответствии с требованиями фгос впо...
Дёгтев А. Н. Теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconПрограмма дисциплины «Информатика, математическая логика и теория...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направлений подготовки 231000....
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconПрограмма вступительных испытаний по дисциплине «Математика»
Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРабочая программа по дисциплине В. В математическая логика и теория алгоритмов
Рабочая программа составлена на основе фгос впо и учебного плана мгту по направлению 090900. 62 Информационная безопасность
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРабочая программа по дисциплине В. В математическая логика и теория алгоритмов
Рабочая программа составлена на основе фгос впо и учебного плана мгту по направлению 090900. 62 Информационная безопасность
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconМетодические указания к выполнению лабораторных работ 1-3 по дисциплине...
Целью работы является теоретическое изучение основных логических функций и эквивалентностей исчисления высказываний и приобретение...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРефератов по курсу «Математическая логика и теория алгоритмов»
Темпоральные логики высказываний линейного времени и вычислительных деревьев: их синтаксис и семантика
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconУчебно-методический комплекс дисциплины логика федеральное агентство...
Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconВопросы к государственному экзамену по информатике
Дискретная математика. Теория алгоритмов. Математическая логика. Численные методы. Теоретические основы информатики. Исследование...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРабочая программа для студентов очной формы обучения, направление...
Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРабочая программа для студентов очной формы обучения направление...
Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconВопросы к экзамену по курсу «Математическая логика и теория алгоритмов»
Методические указания предназначены для студентов, обучающихся по направлению 020400. 68 «Биология», магистерская программа 020400....
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРабочая программа составлена в соответствии с требованиями фгос впо...
Дёгтев А. Н. Теория автоматов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconУчебно-методический комплекс дисциплины специальность: 050202 Информатика Канск
Учебно-методический комплекс дисциплины (умкд) «Математическая логика» для студентов очной формы обучения по специальности 050202...
Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов iconРабочая программа для студентов очной формы обучения, направление...
И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения,...


Школьные материалы

При копировании материала укажите ссылку © 2013
контакты
100-bal.ru
Рефераты
Лекции
Уроки
Доклады
Учебные

История
Философия
Финансы
Экономика
География

литература
математика
ответы к экзамену

титульный лист
реферат образец
реферат развитие
реферат по физкультуре
реферат Россия
понятие реферат
виды рефератов
контрольный работа

Поиск