Программа учебной дисциплины


Модуль 3. Математическая логика: исчисление высказываний



Скачать 278.34 Kb.
страница5/6
Дата30.07.2018
Размер278.34 Kb.
ТипПрограмма
1   2   3   4   5   6

Модуль 3. Математическая логика: исчисление высказываний


Виды учебной работы

Объем

в часах

Сроки

проведения, недели

Лекции

10

12–17

Семинары

10

12–17

Лабораторные работы







Практические занятия







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







  • домашнее задание №3 «Булевы функции. Исчисление высказываний»

20

12–17

  • рубежный контроль №3

4

17

  • проработка лекционного материала, подготовка к семинарам

13




Трудоемкость, час

37




Трудоемкость, зач.единицы

1




Контроль освоения модуля 3

Неделя проведения

контроля модуля

Формы контроля


Оценка в баллах

минимальная

максимальная

5

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

4

6

5

Рубежный контроль

10

14




ИТОГО

14

20

После освоения модуля 2 студент должен приобрести следующие знания, умения и владения, соответствующие компетенциям ООП.

Знания

Компетенции




ОК-1, ОК-2, ОК-4, ОК-11, ОК-12, ОК-16
ПК-1, ПК-2, ПК-11




Умения

Компетенции

  • строить минимальные ДНФ и КНФ для булевой функции;

  • анализировать множества булевых функций на предмет их полноты;

  • строить формулы для заданных булевых функций над выбранным базисом;

  • строить выводы и доказательства в теории ИВ.

ОК-1, ОК-2, ОК-4, ОК-11,

ОК-12
ПК-4, ПК-5,

ПК-14





Владение навыками

Компетенции

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

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

ОК-1, ОК-2, ОК-4, ОК-11
ПК-5, ПК-12, ПК-13

Содержание модуля 3

Лекции

Булевы функции (4 ч.). Симметричные полукольца и булевы алгебры. Понятие булевой функции. Табличное и формульное представление булевой функции. Дизъюнктивные и конъюнктивные нормальные формы (ДНФ и КНФ). Полиномы Жегалкина. Классы Поста и теорема Поста о функциональной полноте.

Исчисление высказываний (6 ч.). Понятие формальной аксиоматической теории. Алгебра высказываний, тавтологии. Исчисление высказываний (ИВ) как формальная теория для тавтологий. Теорема дедукции и ее следствия. Непротиворечивость и полнота ИВ. Разрешимость ИВ.

Семинары

Построение минимальных ДНФ (2 ч.). Решение задачи минимизации ДНФ методами Куайна-Макклоски и Блейка.

Теорема Поста (2 ч.). Анализ множеств булевых функций на полноту. Представление булевых функций формулами над заданным полным множеством.

Исчисление высказываний (2 ч.). Построение выводов в формальной теории ИВ.

Рубежный контроль (2 ч.).

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

В модуле 3 предусмотрено выполнение домашнего задания, а также самостоятельная проработка материала лекций и семинаров и подготовка к итоговой аттестации (рубежному контролю). Рубежный контроль проводится в форме письменной работы на семинарском занятии.


Семестр 7




Поделитесь с Вашими друзьями:
1   2   3   4   5   6


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

    Главная страница