КТП Элементы математической логики для специальности 090204


Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение
высшего образования
«Санкт-Петербургский государственный лесотехнический университет имени С.М. Кирова»
факультет СПО «Колледж автоматизации
лесопромышленного производства»
Утверждаю
Декан факультета СПО
___________(А.Н. Соловьев)
«______»_____________2016г.

Календарно-тематический план

Преподавателя Слюсаренко Киры Владимировны
На 1 семестр 2016/2017 учебного года

Предмет Элементы математической логики
Курс 2 Группа: Ис-201
Курс 1 Группа: Ис-111
Специальность 090204 Информационные системы (по отраслям).
Общее количество часов по учебному плану _64_час.

Календарно-тематический план составлен в соответствии с учебным планом, утвержденным «__» __________ 201___г.
и программой, утвержденной «24» июня 2014г.

Преподаватель_________________/Слюсаренко К.В./ ___________2016 г.
Рассмотрен и одобрен на заседании цикловой комиссии общеобразовательных, естественнонаучных и общетехнических дисциплин

Протокол № 1 от «__»__________2016г.

Председатель цикловой комиссии____________________/К.В. Слюсаренко/
№ занятия
Календарные сроки изучения темы
Наименование разделов и тем
I семестр
Кол - во часов
Вид занятий
Учебно-наглядные пособия, используемые при изучении темы
Задания для студентов
Примечания




























1
 
Введение.
2
Лекция
 
 
 



Предмет курса. Основные понятия и определения. Логические символы. Учебная и справочная литература по предмету.






2
 
Раздел 1. Булевы функции и формулы логики
2
Лекция
 
 
 



Булевы векторы. Понятие булевой функции. Булевы функции одной и двух переменных. Таблица истинности.






3
 
Формализация высказываний. Законы алгебры логики. Упрощение формул логики с помощью равносильных преобразований.
2
Лекция
 
 
 

4
 
Практическая работа № 1 "Упрощения формул логики"
2
Практич. работа
 
 
 

5
 
Практическая работа № 1 "Упрощения формул логики"
2
Практич. работа
 
 
 

6
 
Нормальные формы. Полнота множества функций
2
Лекция
 
 
 

7
 
Практическая работа № 2 "Совершенные нормальные формы"
2
Практич. работа




8
 
Практическая работа № 2 "Совершенные нормальные формы"
2
Практич. работа
 
 
 

9
 
Практическая работа № 3 "Представление булевых функций в различных базисах"
2
Практич. работа
 
 
 

10
 
Практическая работа № 3 "Представление булевых функций в различных базисах"
2
Практич. работа
 
 
 

11
 
Раздел 3. Исчисление высказываний
2
Лекция
 
 
 



Высказывания. Тавтологии и высказывания






12
 

Приложенные файлы

  • doc file9
    Размер файла: 95 kB Загрузок: 13