|
№ заня-тия
|
Наименование
разделов, тем, занятий
|
Обязательная
ученая нагрузка
|
Материальное и информацион-ное обеспечение занятий (№позиций и
таблицы 2а,2б,2в)
|
Внеаудиторная
самостоятельная работа обучающихся
|
Формы
и методы контроля
|
Приме-чание
|
|
Кол-во
часов
|
Вид
занятия
|
Вид
задания
|
информационное
обеспечение (№ позиций из таб. 2б, 2в)
|
Кол-во час.
|
|
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
|
|
Раздел 1 Формулы логики
|
8
|
|
|
|
|
4
|
|
|
|
|
Тема 1.1 Логические операции. Формулы
логики. Таблицы истинности
|
2
|
|
|
|
|
2
|
|
5 семестр
|
|
1
|
Тема 1.1.1 Понятие высказывания. Основные логические
операции. Формулы логики. Таблицы истинности
|
2
|
Лекция
|
ОИ 1
|
Конспект,
решение задач
|
ОИ 1
стр. 13-18, стр. 164 №8.1.1 а, б
|
2
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
|
Тема 1.2 Законы алгебры логики
|
6
|
|
|
|
|
2
|
|
|
|
2
|
Тема 1.1.1 Законы логики. Упрощение формул
логики с помощью равносильных преобразований
|
2
|
Лекция
|
ОИ 1
|
|
|
|
|
|
|
3
|
Тема 1.2.2 Упрощение формул логики с помощью
равносильных преобразований
|
2
|
Практ.
|
ОИ1
|
Конспект
|
ОИ 1
стр. 18-23
|
1
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
4
|
Тема 1.2.3 Составление таблиц истинности
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 164 № 8.1.1. в, г
|
1
|
|
|
|
Раздел 2 Булевы функции
|
14
|
|
|
|
|
6
|
|
|
|
|
Тема 2.1 Понятие функции алгебры логики.
Представление функции в совершенных нормальных формах
|
6
|
|
|
|
|
3
|
|
|
|
5
|
Тема 2.1.1 Понятие функции алгебры логики.
Представление функции в совершенных нормальных формах (ДНФ, КНФ)
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 23-28
|
1
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
6
|
Тема 2.1.2 Представление булевой функции в
виде совершенной ДНФ
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 164 № 8.1.2 а,г
|
1
|
|
|
7
|
Тема 2.1.3 Представление булевой функции в
виде совершенной КНФ
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 164 № 8.1.3 б, в
|
1
|
|
|
|
Тема 2.2 Операция двоичного сложения.
Многочлен Жегалкина
|
2
|
|
|
|
|
1
|
|
|
|
8
|
Тема 2.2.1 Операция двоичного сложения.
Многочлен Жегалкина
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 36-37
|
1
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
|
Тема 2.3 Основные классы функций. Полнота
множества функций. Теорема поста
|
6
|
|
|
|
|
2
|
|
|
|
9
|
Тема 2.3.1 Основные классы функций. Полнота множества
функций. Теорема поста
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 35-36
|
1
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
10
|
Тема 2.3.2 Проверка булевой функции на
принадлежность к классам ; проверка множества булевых функций на полноту
|
2
|
Практ.
зан.
|
ОИ 1
|
|
|
|
|
|
11
|
Тема 2.3.3 Проверка булевой функции на
принадлежность к классам ; проверка множества булевых функций на полноту
|
2
|
Практ.
зан.
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 37-38
|
1
|
|
|
|
Раздел 3 Основы теории множеств
|
10
|
|
|
|
|
5
|
|
|
|
|
Тема 3.1 Основы понятия теории множеств
|
2
|
|
|
|
|
2
|
|
6 семестр
|
|
12
|
Тема 3.1.1 Основы понятия теории множеств
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 9-11
|
2
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
|
Тема 3.2 Теоретико- множественные операции и
их связь с логическими операциями
|
8
|
|
|
|
|
3
|
|
|
|
13
|
Тема 3.2.1 Теоретико- множественные
диаграммы. Операции над множествами и их свойства. Мощность множества.
Декартово произведение.
|
2
|
Лекция
|
|
|
|
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
14
|
Тема 3.2.2 Решение задач на выполнение
теоретико - множественных операций
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 181 № 8.5.1
|
1
|
|
|
15
|
Тема 3.2.3 Решение задач на выполнение
теоретико - множественных операций
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1 стр.
181 № 8.5.2
|
1
|
|
|
16
|
Тема 3.2.4 Решение задач на подсчет
количества элементов
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 181 № 8.5.3
|
1
|
|
|
|
Раздел 4 Предикаты. Бинарные отношения.
|
12
|
|
|
|
|
4
|
|
|
|
|
Тема 4.1 Предикаты
|
6
|
|
|
|
|
2
|
|
|
|
17
|
Тема 4.1.1 Логика предикатов. Логические
операции над кванторами.
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр.56-60
|
1
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
18
|
Тема 4.1.2 Определение логического значения
для высказываний.
|
2
|
Практ.
зан.
|
|
|
|
|
|
|
19
|
Тема 4.1.3 Построение отрицаний к предикатам,
формализация предложений с помощью логики предикатов.
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр.172-173 №8.3.1-8.3.2
|
1
|
|
|
|
Тема 4.2 Бинарные отношения и их виды.
|
6
|
|
|
|
|
2
|
|
|
|
20
|
Тема 4.2.1 Понятие бинарного отношения.
Рефлективность, симметричность, транзитивность бинарного отношения.
|
2
|
Лекция
|
|
|
|
|
|
|
|
21
|
Тема 4.2.2 Бинарные отношения
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 174 № 8.3.5
|
1
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
22
|
Тема 4.2.3 Бинарные отношения
|
2
|
Практ.
зан.
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 176 № 8.3.7 а, г, з, к
|
1
|
|
|
|
Раздел 5 Теория отображений
|
2
|
|
|
|
|
|
|
|
|
|
Тема 5.1 Элементы теории отображений и
алгебры подстановок.
|
2
|
|
|
|
|
|
|
|
|
23
|
Тема 5.1.1 Понятие отображения. Способы
задания. Свойства. Алгебра подстановок
|
2
|
Лекция
|
|
|
|
|
|
|
|
|
Раздел 6 Расширения традиционной логики
|
6
|
|
|
|
|
4
|
|
|
|
|
Тема 6.1 Положения модальной логики
|
6
|
|
|
|
|
4
|
|
|
|
24
|
Тема 6.1.1 Модальная логика. Трехзначная семантика для модальной
логики
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 79-81
|
1
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
25
|
Тема 6.1.2 Использование метода резолюций
|
2
|
Практ.
зан
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 177 № 8.3.8 б, г, з, к, л
|
2
|
|
|
26
|
Тема 6.1.2 Использование метода резолюций
|
2
|
Практ.
зан
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 177 № 8.3.8 в, д, е
|
1
|
|
|
|
Раздел 7 Метод математической индукции
|
6
|
|
|
|
|
|
|
|
|
|
Тема 7.1 Метод математической индукции
|
6
|
|
|
|
|
|
|
|
|
27
|
Тема 7.1.1 Принцип метода математической
индукции. Разновидности метода математической индукции.
|
2
|
Лекция
|
|
|
|
|
|
|
|
28
|
Тема 7.1.2 Решение задач на метод математической
индукции
|
2
|
Практ.
|
|
|
|
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
29
|
Тема 7.1.2 Решение задач на метод
математической индукции
|
2
|
Практ.
|
|
|
|
|
|
|
|
Раздел 8 Основы теории алгоритмов
|
8
|
|
|
|
|
6
|
|
|
|
|
Тема 8.1 Понятие алгоритма. Основные
свойства алгоритмов.
|
2
|
|
|
|
|
2
|
|
|
|
30
|
Тема 8.1.1 Неформальное определение
алгоритма. Примеры алгоритмов. Основные свойства алгоритмов. Парадигма
процедурного программирования
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 82-86
|
2
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
|
Тема 8.2 Алгоритмические проблемы. Проблема
разрешимости.
|
6
|
|
|
|
|
4
|
|
|
|
31
|
Тема 8.2.1 Проблемы разрешимости. Примеры
неразрешимых проблем. Понятие вычислимости и вычислительные процедуры.
|
2
|
Лекция
|
ОИ 1
|
Конспект
|
ОИ 1
стр. 106-108
|
2
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
32
|
Тема 8.2.2 Составление алгоритмов
|
2
|
Практ.
зан
|
ДИ 1
|
|
|
|
|
|
33
|
Тема 8.2.3 Составление алгоритмов
|
2
|
Практ.
зан
|
ДИ 1
|
Решение
задач
|
ДИ 1
стр.36-37 № 1-2, 10-11
|
2
|
|
|
|
Раздел 9 Алгоритмическое перечисление
основных комбинаторных объектов
|
4
|
|
|
|
|
|
|
|
|
|
Тема 9.1 Алгоритмическое вычисление основных
комбинаторных объектов
|
4
|
|
|
|
|
|
|
|
|
34
|
Тема 9.1.1 Понятие алгоритмического
перечисления
|
2
|
Лекция
|
|
|
|
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
35
|
Тема 9.1.2 Генерирование комбинаторных
объектов
|
2
|
Практ.
зан.
|
|
|
|
|
|
|
|
Раздел 10 Теория автоматов
|
6
|
|
|
|
|
4
|
|
|
|
|
Тема 10.1 Машина Тьюринга
|
2
|
|
|
|
|
2
|
|
|
|
36
|
Тема 10.1.1 Машины Тьюринга с разрешимой
проблемой остановки. Линейно – ограниченные автоматы. Проблема остановки для
линейно – ограниченных автоматов
|
2
|
Лекция
|
ОИ 1
|
Решение
задач
|
ОИ 1
стр. 180 № 8.4.1 а, б
|
2
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
|
Тема 10.2 Конечные автоматы
|
4
|
|
|
|
|
4
|
|
|
|
37
|
Тема 10.2.1 Автоматы с магазинной памятью. Конечные
автоматы. Синтаксический анализ языков с помощью автоматов с магазинной
памятью и конечных автоматов
|
2
|
Лекция
|
ДИ 2
|
Решение
задач
|
ДИ 2
стр. 124 №5.4 а, №5.6 б
|
2
|
Письменная
проверка выполнения практических работ, решенных задач и конспектов
|
|
|
38
|
Тема 10.2.2 Построение автоматов
|
2
|
Практ.
зан.
|
ДИ 2
|
Решение
задач
|
ДИ 2
стр. 124 № 5.4 б, № 5.6 в
|
2
|
|
|
|
ИТОГО
|
76
|
|
|
|
|
36
|
|
|
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.