- Сайт Чащиной Елены Анатольевны

Департамент образования и науки Кемеровской области
Государственное бюджетное образовательное учреждение
Среднего профессионального образования
«Прокопьевский политехнический техникум»
СОГЛАСОВАНО
Председатель МК
_________________
Протокол ________
«___»_________ 20__ г.
УТВЕРЖДАЮ
Зам.директора по ТР
_________ Зимогляд Г.М
«___»__________ 20 __ г.
КАЛЕНДАРНО – ТЕМАТИЧЕСКИЙ ПЛАН
Учебной дисциплины
Элементы математической логики
На 2012 - 2013 учебный год
Профессии:
230111 «Компьютерные сети»
ОК 1
ОК 2
ОК 4
ОК 8
ОК 9
ПК 1.1
ПК 1.2.
ПК 1.4
ПК 2.3
ПК 3.5
Прокопьевск, 2012
Календарно-тематический план по учебной дисциплине составлен в
соответствии с рабочей программой дисциплины, утвержденной
_____________
Календарно-тематический
план
разработала
преподаватель
общепрофессиональных дисциплин Чащина Елена Анатольевна
Подпись_________________
Дата «____»__________20__г.
Рассмотрен на заседании методической комиссии преподавателей
"___"______________ 20__ г., протокол № ___.
Председатель МК __________________
Объем учебной дисциплины и виды учебной работы
Самостоятельная
работа обучающихся
Всего часов
Теоретические
занятия
Лабораторные
работы
2 семестр
Всего
Учебная нагрузка обучающихся (час.)
Обязательная аудиторная нагрузка
Максимальная учебная
нагрузка
126
126
42
42
84
84
42
42
42
42
Контрольные
работы
В том числе
Практические
занятия
Курс,
семестр
Содержание обучения по учебной дисциплине
№
заня
тия
1-2
3-4
5-6
7-8
910
11-
Наименование разделов, тем,
занятий
Раздел 1. Алгебра
высказываний.
Тема 1.1. Высказывания и
операции над ними.
Высказывания и
высказывательные формы.
Отрицание высказываний.
Конъюнкция и дизъюнкция.
Союзы языка и логические
операции (Язык и логика).
Импликация, эквиваленция,
сумма по модулю два, штрих
Шеффера, стрелка Пирса.
ПЗ № 1 Определение
значения истинности
высказываний. Построение
составных высказываний.
ПЗ № 2 Составление таблиц
истинности для формул.
Тема 1.2. Формулы алгебры
высказываний.
Классификация
формул
Обязательная
Материальное
учебная нагрузка
и
информацион
Колное
Вид
во
обеспечение
занятия
часов
занятий
Внеаудиторная самостоятельная работа
Вид
задания
Информацион
ное
обеспечение
Кол-во
часов
26
13
10
5
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 3
ВСР 4
ДИ 1 И-Р 1
И-Р 15 И-Р 17
2
лекция
2
лекция ОИ 1, ОИ 2
1-5,8-9,13
ВСР 3
ВСР 4
ДИ 1 И-Р 2
И-Р 15
ВСР 1
2
1-5,8-9,13
ОИ 1, ОИ 2
ДИ 1 ДИ 2
И-Р 3 И-Р 15
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 4
лекция
1
2
ПЗ №1
2
ПЗ №2 ОИ 2
1
1
ДИ 1 ДИ 2
И-Р 1 И-Р 15
тест
Самостоятель
ная работа
отчет
1
1-4,6-12,14
ВСР 2
ДИ 2 И-Р 12
И-Р 14 И-Р 18
6
2
Формы и
методы
контроля
1
3
1-5,8-9,13
лекция ОИ 1, ОИ 2
ВСР 1
ДИ 2 И-Р 3
И-Р 14
1
отчет
примечание
12
1314
1516
1718
1920
2122
2324
2526
алгебры
логики.
Равносильные
преобразования.
Закон
двойственности в алгебре
логики.
ПЗ № 3 Составление таблиц
истинности для формул.
ПЗ № 4 Упрощение формул.
Тема 1.3. Нормальные формы
для
формул
алгебры
высказываний.
Понятие нормальных форм.
Карты Карно
ПЗ № 5 Приведение формул к
совершенным
нормальным
формам
ПЗ № 6 Упрощение формул
логики до минимальной
ДНФ.
Тема
1.4.
Приложения
алгебры высказываний к
логико-математической
практике.
Прямая и обратная теоремы.
Необходимые и достаточные
условия
ПЗ № 7 Решение логических
задач
Раздел 2. Булевы функции.
1-4,6-12,14
ВСР 2
И-Р 4 И-Р 11
1-4,6-12,14
ВСР 2
ДИ 2 И-Р 14
И-Р 18 И-Р 19
2
ПЗ №3 ОИ 2
2
ПЗ №4 ОИ 2
6
лекция ОИ 1, ОИ 2
1-5,8-9,13
ВСР 1
ВСР 6
ДИ 2 И-Р 10
И-Р 14
ПЗ №5
ВСР 2
ВСР 7
ДИ 2 И-Р 6
2
1-4,6-12,14
ОИ 2
ПЗ №6
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 7
ДИ 1 И-Р 9
И-Р 14
отчет
1
Устный опрос
отчет
1
4
отчет
1
2
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
ВСР 6
ДИ 2 И-Р 6
И-Р 12 И-Р 15
1
1-4,6-12,14
ВСР 2
ВСР 7
ДИ 1 ДИ 2
И-Р 12 И-Р 15
1
2
лекция
2
ПЗ №7 ОИ 2
28
1
отчет
3
2
2
1
14
отчет
2728
2930
3132
3334
3536
3738
3940
4142
4344
4546
Тема 2.1.
Множества,
отношения, функции.
Общие
понятия
теории
множеств. Операции над
множествами и их свойства.
ПЗ № 8 Операции над
множествами.
Классификация множеств.
Мощность множеств.
Представление множеств в
виде диаграмм Эйлера-Венна
Круги Эйлера.
ПЗ № 9 Круги Эйлера
решение задач.
ПЗ № 10 Кортежи и
декартово
произведение
множеств
ПЗ № 11 Алгебра Буля.
Решение задач
ПЗ № 12 Решение задач при
помощи электронных таблиц
Принцип двойственности в
алгебре множеств. Бинарные
отношения и их свойства.
Соответствия
между
множествами. Отображения.
Функции.
ПЗ № 13 Решение задач
20
2
2
10
лекция
ПЗ №8
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
ВСР 6
ДИ 1ДИ 2
И-Р 12 И-Р 18
1-4,6-12,14
ОИ 2
ВСР 2
ДИ 1 И-Р 6
И-Р 12 И-Р 18
1
отчет
1
ВСР 1
ВСР 6
ДИ 2 И-Р 10
И-Р 14
2
лекция
1-5,8-9,13
ОИ 1, ОИ 2
2
ПЗ №
9
1-4,6-12,14
ОИ 2
ВСР 2
И-Р 2И-Р 11
1-4,6-12,14
ОИ 2
ВСР 2
2
ПЗ
№10
ДИ 1 И-Р 14
И-Р 18 И-Р 19
2
ПЗ
№11
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 7
2
ПЗ
№12
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 7
ДИ 1 И-Р 8
И-Р 16
И-Р 18
ДИ 1ДИ 2
И-Р 13
лекция
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 3
ВСР 6
ДИ 3 И-Р 13
И-Р 14 И-Р 16
2
лекция
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
ВСР 6
ДИ 1ДИ 2
И-Р 8 И-Р 13
1
2
ПЗ
№13
1-4,6-12,14
ОИ 2
ВСР 2
ДИ 1 И-Р 12
И-Р 14 И-Р 18
1
2
1
1
Устный опрос
тест
отчет
отчет
1
отчет
1
1
отчет
1
тест
отчет
4748
4950
5152
5354
5556
5758
5960
Тема 2.2. Булевы функции от
одного, двух аргументов и от
n аргументов.
Булевы функции. Выражение
булевых функций через
дизъюнкцию, конъюнкцию и
отрицание.
Канонический
многочлен
Жегалкина.
Важнейшие
замкнутые классы. Теорема
Поста.
ПЗ № 14 Приложение
функций алгебры логики к
анализу и синтезу релейноконтактных схем.
ПЗ № 15 Решение задач
Раздел 3. Логика предикатов.
Тема 3.1 Основные понятия
связанные с предикатами.
Предикаты
и
высказывательные формы.
Множество
истинности
предиката. Равносильность и
следование предикатов.
ПЗ
№
16
Логические
операции над предикатами
Тема 3.2. Кванторные
операции над предикатами.
8
2
2
4
лекция
лекция
2
ПЗ
№14
2
ПЗ
№15
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 3
ВСР 5
ДИ 1 ДИ 2
И-Р 11 И-Р 18
Устный опрос
1
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
ВСР 5
ДИ 2 И-Р 5
И-Р 11
1
1-4,6-12,14
ОИ 2
ВСР 2
И-Р 4 И-Р 11
отчет
1
1-4,6-12,14
ОИ 2
ВСР 2
ДИ 1 И-Р 14
И-Р 18 И-Р 19
1
16
8
6
3
2
лекция ОИ 1, ОИ 2
1-5,8-9,13
ВСР 1
ВСР 6
ДИ 2 И-Р 6
И-Р 12 И-Р 15
2
лекция
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
ВСР 6
ДИ 2 И-Р 10
И-Р 14
1
2
ПЗ
№16
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 7
ДИ 1 ДИ 2
И-Р 12 И-Р 15
1
4
отчет
1
Устный опрос
2
отчет
6162
6364
6566
6768
6970
7172
7374
75-
Кванторы.
Отрицание
предложений с кванторами.
Численные кванторы.
ПЗ № 17 Кванторные
операции
Тема 3.3. Применение логики
предикатов
к
логикоматематической практике.
Запись на языке логики
предикатов
различных
предложений.
Строение
математических теорем.
Дедуктивные и индуктивные
умозаключения.
Принцип
математической индукции в
предикатной форме.
ПЗ № 18 Применение логики
предикатов
Раздел 4.Элементы теории
алгоритмов.
Тема 4.1. Задачи и алгоритмы
Понятие алгоритма.
Неформальное определение
алгоритма. Свойства
алгоритма.
ПЗ № 19 Составление
алгоритмов.
Различные
подходы к формализации
понятия алгоритма.
ПЗ № 20 Массовая и
2
лекция
1-5,8-9,13
ОИ 1, ОИ 2
2
ПЗ
№17
1-4,6-12,14
ОИ 2
ВСР 1
ВСР 6
ДИ 1 И-Р 7
И-Р 15
1
ВСР 2
ДИ 2
И-Р 10 И-Р 14
1
6
2
3
лекция
2
лекция
2
ПЗ
№18
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 3
ВСР 6
ДИ1 И-Р 13
И-Р 14 И-Р 16
1
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
ВСР 6
ДИ 1ДИ 2
И-Р 8 И-Р 13
Самостоятель
ная работа
1
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 7
ДИ 1ДИ 2
И-Р 13
1
14
7
6
3
2
отчет
лекция
2
ПЗ
№19
2
ПЗ №
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
ВСР 6
ДИ 2 И-Р 10
И-Р 14
отчет
Устный опрос
1
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 7
ДИ 2 И-Р 6
отчет
1
1-4,6-12,14
ВСР 2
ДИ 2 И-Р 9
1
отчет
76
7778
7980
8182
8384
индивидуальная задача
Тема
4.2.
Нормальный
алгоритм Маркова. Машина
Тьюринга
Машина Тьюринга. Внешний
алфавит, алфавит состояний,
функциональная
схема,
принцип работы.
Нормальные
алгоритмы
Маркова.
Принцип
нормализации Маркова.
ПЗ № 21 Конструирование
машин
Тьюринга.
Вычислимые по Тьюрингу
функции.
Дифференцированный зачет
20
ОИ 2
ВСР 7
И-Р 14
8
2
2
4
лекция
лекция
2
ПЗ №
21
2
Диффе
ренцир
ованны
й зачет
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 3
ВСР 4
ДИ 1 И-Р 11
И-Р 15 И-Р 17
1
1-5,8-9,13
ОИ 1, ОИ 2
ВСР 1
1-4,6-12,14
ОИ 2
ВСР 2
ВСР 4
ВСР 11
ВСР 9
ВСР 10
ДИ 1 ДИ 2
И-Р 3 И-Р 15
1
ДИ 1 ДИ 2
И-Р 1 И-Р 15
отчет
1
ДИ 1 ДИ 2
И-Р 1 И-Р 15
Самостоятель
ная работа
1
Материально-техническое обеспечение занятий
№
п/п
1
2
3
4
5
6
7
8
9
10
11
12
13
14
Материально-техническое обеспечение занятий
рабочие места обучающихся (12 шт)
рабочее место преподавателя
учебная доска, интерактивная доска
рабочая программа учебной дисциплины «Архитектура аппаратных средства»
газета «Информатика в школе», журнал «Компьютер»
сборник практических занятий
рекомендации по подготовке к практическим занятиям и заданий
Технические средства обучения:
- компьютер с лицензионным программным обеспечением
- мультимедийный комплекс
- электронные учебники
- DVD – плеер, телевизор
- видеоматериалы
- презентация
свободного программное обеспечение общего и профессионального назначения
Информационное обеспечение обучения
№
п/п
Наименование
Автор
Издательство, год издания
Основные источники (ОИ)
ОИ 1
ОИ 2
Математическая логика и
теория алгоритмов.
Игошин В.И.
Дискретная математика.
Спирин М.С.,
Спирина П.А.
М.: Издательский центр
«Академия», 2008.
М.: Издательский центр
«Академия», 2010
Дополнительные источники (ДИ)
ДИ 1
Математическая логика.
Курс лекций и
практических занятий.
ДИ 2
Алгебра логики в задачах.
Шапорев С.Д.
СПб.:БХВ-Петербург,
2005.
Гиндикин С.Г. Электронная библиотека
Московского
государственного
университета.
http://lib.mexmat.ru/books/1383
Интернет-ресурсы (И-Р)
И-Р 1
И-Р 2
И-Р 3
И-Р 4
И-Р 5
И-Р 6
И-Р 7
И-Р 8
И-Р 9
И-Р 10
И-Р 11
И-Р 12
И-Р 13
И-Р 14
И-Р 15
www.osp.mesi.ru (сайт учебного процесса МЭСИ). Балюкевич Э.Л.,
Ковалева
Л.Ф. Романников А.Н. Дискретная математика.
www.booka.ru/booka_topic_6114?id=97427 Дискретная математика. Курс лекций
для студентов.
http://www.dgap.mipt.ru/~artema/index.html - Искусственный интеллект и
математика, труды Станислава Лема и др. Небольшая электронная библиотека.
http://www.srcc.msu.su/num_anal/ - Интернет-ресурс содержит различные
материалы по численному анализу, включая пакет вычислительных программ
(Библиотека численного анализа НИВЦ МГУ) и разнообразные учебно методические материалы.
http://comp-science.narod.ru/ - Учителям информатики и математики и их
любознательным ученикам (дидактические материалы по информатике и
математике).
http://crow.academy.ru/dm/ - Московский Государственный Университет имени
М.В.Ломоносова. - Страничка курса "Дискретная математика"
http://mech.math.msu.su/department/dm/dmmc/ - Интернет-страница "Дискретная
Математика и Математическая Кибернетика" создана и поддерживается
коллективом математиков, работающих в области дискретной математики.
http://alglib.chat.ru/ - Библиотека алгоритмов. Математические алгоритмы. Теория
чисел. Линейная алгебра.
http://www.isu.ru/~slava/do/disc/curshome.htm - Теоретический курс дискретной
математики. Примеры решения задач.
http://mat-game.narod.ru/ - Математическая гимнастика. Математические задачи,
головоломки, шарады и курьезы.
http://www.radmar.narod.ru/ - Основание математики как основа научного знания Логика математики. Основание математики. Основание теории множеств.
http://www.ipclub.ru/users/fuzzy/ - Нечеткая логика. Теория и история нечеткой
логики. Использование нечеткой логики в управлении промышленными
объектами. Нечеткая логика в бизнесе и финансах.
http://www.logic.ru/Russian - Логика. - Исследования в области математической
логики.
http://www.isu.ru/~slava/do/disc/predlog.htm - Учебно-методические материалы по
дискретной математике.
http://jurinfor.exponenta.ru/ - Перспективные компьютерные исследования и
информационные технологии. Отражение научно-образовательной деятельности
по дискретной математике, информатике и информационным технологиям.
И-Р 16
http://comput.com.ua/index.php?art=22 – журнал «Компьютер» -раздел
Скачать - программное обеспечение
И-Р 17 http://ikt.moy.su/index/informatika/0-7 Сайт Чащиной Елены
Анатольевны
Внеаудиторная самостоятельная работа
ВСР 1
ВСР 2
Подготовка к лабораторным и практическим занятиям.
Оформление отчетов по выполненным работам.
ВСР 3
Углубленное изучение отдельных тем дисциплины с использованием
дополнительной литературы и Internet-ресурсов.
ВСР 4 Конструирование и реализация собственной индивидуальной информационной
системы по одному из вопросов дисциплины с использованием технологии
информационных поисковых систем.
ВСР 5 Разработка схем использования информационных и коммуникационных
технологий в профессиональной деятельности.
ВСР 6 Выполнение проектов по использованию прикладных программных продуктов для
обработки и визуализации профессиональной информации.
ВСР 7 Подбор и анализ средств информационных и коммуникационных технологий для
решения конкретных профессиональных задач.
ВСР 8 Знакомство с законодательными и правовыми документами по использованию
ИКТ в профессиональной деятельности.
ВСР 9 Изучение печатных и Internet-источников по вопросам методологической,
психологической, методической аспектам использования ИКТ в
профессиональной деятельности.
ВСР 10 Изучение и анализ порталов по профессии или специальности (отечественных и
зарубежных).
ВСР 11 Подготовка к зачету