1.4. Количество часов, выделенное на освоение примерной программы учебной дисциплины:

Код

Наименование результата обучения

ПК 1.1.

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

ПК 1.2.

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

ПК 2.4.

Реализовывать методы и технологии защиты информации в базах данных.

ПК 3.4.

Осуществлять разработку тестовых наборов и тестовых сценариев.

ОК 1.

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

ОК 2.

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

ОК 3.

Принимать решения в стандартных и нестандартных ситуациях и нести за них ответственность

ОК 4.

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

ОК 5.

Использовать информационно-коммуникационные технологии в профессиональной деятельности

ОК 6.

Работать в коллективе и в команде, эффективно общаться с коллегами, руководством, потребителями

ОК 7.

Брать на себя ответственность за работу членов команды (подчиненных), за результат выполнения заданий

ОК 8.

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

ОК 9.

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

ОК 10.

Исполнять воинскую обязанность, в том числе с применением полученных профессиональных знаний (для юношей)

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

Объем часов

Максимальная учебная нагрузка (всего)

87

Обязательная аудиторная учебная нагрузка (всего)

58

в том числе:

лекции

20

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

38

Самостоятельная работа обучающегося (всего)

29

в том числе:

работа с информационными источниками

внеаудиторная самостоятельная работа

домашняя контрольная работа

Итоговая аттестация в форме зачета

Наименование

разделов и тем

Содержание учебного материала, лабораторные работы и практические занятия,

самостоятельная работа обучающихся

Объем

часов

Уровень

освоения

1

2

3

4

Раздел 1.

Алгебра высказываний

18

Тема 1.1.

Высказывания и операции над ними

Содержание учебного материала

1

1

Высказывания и операции над ними

Высказывания и высказывательные формы. Отрицание высказываний.

Конъюнкция и дизъюнкция. Союзы языка и логические операции (Язык и логика).

Импликанция, эквиваленция, сумма по модулю два, штрих Шеффера, стрелка Пирса. Таблицы истинности.

2

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

1

1. Изучение таблиц истинности операций над высказываниями

2.-3. Запись высказываний как логическое выражение. Построение таблиц истинности полученных выражений

Самостоятельная работа обучающихся

2

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

Тема 1.2.

Формулы алгебры высказываний.

Содержание учебного материала

1

1

Формулы алгебры высказываний

Формулы алгебры высказываний. Составление таблиц истинности для формул. Классификация формул алгебры логики. Равносильные преобразования. Упрощение формул.

Закон двойственности в алгебре логики.

2

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

1

1.-3. Выполнение работ по составлению высказывательных формул и построению таблиц истинности полученных формул.

Самостоятельная работа обучающихся

2

1.-3. Выполнение работы по составлению высказывательных формул и построению таблиц истинности полученных формул.

Тема 1.3.

Нормальные формы для формул алгебры высказываний.

Содержание учебного материала

2

1

Нормальные формы для формул алгебры

Составление формул по заданным таблицам истинности. Понятие нормальных форм. Приведение формул к совершенным нормальным формам с помощью равносильных преобразований.

Упрощение формул логики до минимальной ДНФ.

Карты Карно.

2

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

4

Приведение формул к совершенным нормальным формам с помощью равносильных преобразований

Самостоятельная работа обучающихся

4

Приведение формул к совершенным нормальным формам с помощью равносильных преобразований

Тема 1.4.

Приложения алгебры высказываний к логико-математической практике

Содержание учебного материала

2

1

Приложения алгебры высказываний к логико-математической практике

Прямая и обратная теоремы. Необходимые и достаточные условия.

Необходимые и достаточные условия.

2

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

6

Решение логических задач

Самостоятельная работа обучающихся

5

Решение логических задач

Раздел 2.

Булевы функции.

20

Тема 2.1.

Множества, отношения, функции.

Содержание учебного материала

2

1

Множества, отношения, функции

Общие понятия теории множеств. Операции над множествами и их свойства.

Классификация множеств. Мощность множеств.

Кортежи и декартово произведение множеств. Представление множеств в виде диаграмм Эйлера-Венна . Круги Эйлера.

Алгебра Буля. Принцип двойственности в алгебре множеств.

Бинарные отношения и их свойства. Соответствия между множествами. Отображения. Функции.

2

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

4

Определение множеств с использованием разных форм записи, совершение операций над множествами, сравнение теории множеств с теорией высказываний, доказательства с помощью законов алгебры множеств, построение диаграмм Венна

Самостоятельная работа обучающихся

2

Определение множеств с использованием разных форм записи, совершение операций над множествами, сравнение теории множеств с теорией высказываний, доказательства с помощью законов алгебры множеств, построение диаграмм Венна

Тема 2.2.

Булевы функции от одного, двух аргументов и от n аргументов.

Содержание учебного материала

2

1

Булевы функции от одного, двух аргументов и от n аргументов.

Булевы функции. Выражение булевых функций через дизъюнкцию, конъюнкцию и отрицание.

Канонический многочлен Жегалкина.

Решение задач по теме.

Важнейшие замкнутые классы. Теорема Поста.

Приложение функций алгебры логики к анализу и синтезу релейно-контактных схем.

2

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

12

Приложение функций алгебры логики к анализу и синтезу релейно-контактных схем.

Самостоятельная работа обучающихся

6

Приложение функций алгебры логики к анализу и синтезу релейно-контактных схем.

Раздел 3.

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

18

Тема 3.1.

Основные понятия, связанные с предикатами.

Содержание учебного материала

1

1

Основные понятия, связанные с предикатами.

Предикаты и высказывательные формы. Множество истинности предиката. Равносильность и следование предикатов.

Логические операции над предикатами.

2

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

1

Составление предикатов, выполнение операций над предикатами

Самостоятельная работа обучающихся

1

Составление предикатов, выполнение операций над предикатами

Тема 3.2.

Кванторные операции над предикатами.

Содержание учебного материала

4

1

Кванторные операции над предикатами.

Кванторы. Отрицание предложений с кванторами. Численные кванторы.

2

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

4

Составление предикатных формул, навешивание кванторов, определение области истинности предикатов

Самостоятельная работа обучающихся

1

Составление предикатных формул, навешивание кванторов, определение области истинности предикатов

Тема 3.3.

Применение логики предикатов к логико-математической практике.

Содержание учебного материала

4

1

Применение логики предикатов к логико-математической практике.

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

Дедуктивные и индуктивные умозаключения.

Принцип математической индукции в предикатной форме.

2

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

4

Доказательства истинности высказываний при помощи различных методов

Самостоятельная работа обучающихся

2

Доказательства истинности высказываний при помощи различных методов

Раздел 4.

Элементы теории алгоритмов

8

Тема 4.1.

Элементы теории алгоритмов

Содержание учебного материала

4

2

1

Элементы теории алгоритмов

Интуитивное представление об алгоритмах.

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

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

4

Построение машин Тьюринга

Самостоятельная работа обучающихся

4

Построение машин Тьюринга

Всего:

58