|
Технологическая карта открытого урока Дисциплина «Элементы математической логики» Тема «Приведение формул логики высказываний к СКНФ и СДНФ. Обоб-щение и систематизация основных понятий, изученных в III семестре»
|
Учебная литература и другие источники информации
|
1. Математические и логические основы электронно-вычислительной техники. Учебник для использования в учебном процессе образовательных учреждений, реализующих программы среднего профессионального образования. О. В. Подгорнова. М.: «Академия», 2010.
2. Дискретная математика. Учебник для студентов образовательных учреждений СПО. М.С. Спирина, П. А. Спирин. М.: «Академия», 2009.
3. Задачи и упражнения по математической логике и теории алгоритмов. Задачник для студентов университетов, технических и педагогических вузов. В. И. Игошин. М.: «Академия», 2008.
4. Раздаточный материал для 3-его этапа занятия.
5. Презентация к уроку.
|
Цели и задачи занятия:
Обучающие
- закреплять навыки представления формул логики в виде совершенных нормальных форм (СКНФ и СДНФ);
- повторить основные понятия, изученные в третьем семестре (множества и операции над ними, отношения, свойства бинарных отношений, подстановки, умножение подстановок, свойства умножения подстановок, высказывания, основные операции над высказываниями);
- продолжить формирование навыков работы с учебной литературой и опорным конспектом;
- продолжить формирование навыков оценивания своей работы и работы других студентов;
- продолжить формирование навыков использования математической символики.
Развивающие
- развивать логические способности (анализировать и синтезировать научные факты при решении задач);
- пополнять словарный запас студентов, развивать навыки культурной математической речи;
- развивать коммуникативные навыки (высказывать свои мысли, формулировать вопросы, аргументировать свою точку зрения);
- развивать познавательный интерес к изучению математической логики;
Воспитательные
-продолжить формирование навыков культурного общения (уважение чужого мнение, корректное отстаивание своей позиции т.п.).
|
Время (мин.)
|
Этап занятия
|
Содержание работы
|
Материальное обеспечение занятия
|
Компетенции
|
|
1
|
2
|
3
|
4
|
5
|
|
5 мин
|
Инициализация занятия, организация работы
|
1. Приветствие студентов, выявление отсутствующих.
2.Знакомство с темой занятия «Приведение формул логики высказываний к СКНФ и СДНФ. Обобщение и систематизация основных понятий, изученных во III семестре».
3.Обсуждение плана занятия.
План занятия:
1) Разминка: повторение основных понятий темы занятия.
2) Решение задач на представление формул логики в виде СКНФ и СДНФ.
3) Решение задач по материалам III семестра.
4) Подведение итогов занятия.
5) Обсуждение домашнего задания.
|
Презентация урока. Слайд 1.
|
ОК 2 – ОК 7
|
|
15 мин
|
Разминка
|
Инструкция по проведению разминки:
1. Прочтите текст задания на слайде.
2.Обдумайте ответ и запишите его в тетради.
3.Поменяйтесь тетрадями с соседом и проверьте работу соседа.
4.При проверке отмечайте верное решение знаком «+», неверное решение – знаком « - ».
5.Если приведено неверное решение, зачеркните его и напишите верный ответ.
6.Результаты выполнения работы оформите в виде дроби «кол-во верно решенных заданий / общее количество заданий».
|
Презентация урока. Слайд 2 - 7.
|
ОК 2, ОК 4
|
|
|
|
7.Отметки за разминку будут учтены при подведении
|
|
|
|
1
|
2
|
3
|
4
|
5
|
|
|
|
итогов занятия в качестве бонусов.
|
|
|
|
|
|
Критерии оценивания
За верно выполненное задание начисляется 1 балл.
|
Отметка
|
Количество баллов
|
|
5 (отлично)
|
6 баллов
|
|
4 (хорошо)
|
5 баллов
|
|
3 (удовлетворительно)
|
3 – 4 балла
|
|
2 (неудовлетворительно)
|
менее 3-х баллов
|
|
|
|
|
20 мин
|
Решение задач на приведение формул логики высказываний к СКНФ и СДНФ
|
1. По заданной таблице истинности постройте СДНФ для формулы F:
|
|
|
F
|
|
0
|
0
|
1
|
|
0
|
1
|
1
|
|
1
|
0
|
0
|
|
1
|
1
|
1
|
|
Презентация урока. Слайд 8.
|
ОК 2 – ОК 7
|
|
2. По заданной таблице истинности постройте СКНФ для формулы F:
|
|
|
|
F
|
|
0
|
0
|
0
|
1
|
|
0
|
0
|
1
|
1
|
|
0
|
1
|
0
|
0
|
|
0
|
1
|
1
|
1
|
|
1
|
0
|
0
|
0
|
|
1
|
0
|
1
|
0
|
|
1
|
1
|
0
|
1
|
|
1
|
1
|
1
|
1
|
|
Презентация урока. Слайд 9.
|
ОК 2 – ОК 7
|
|
1
|
2
|
3
|
4
|
5
|
|
|
|
3. Для формулы F задайте таблицу истинности и постройте СКНФ и СДНФ:
1) ; 2) .
|
Презентация урока. Слайд 10.
|
|
|
25 мин
|
Решение задач по материалам III семестра
|
I. Перечислите основные понятия теории множеств.
Решите задачи № 1 – 5 из раздаточного материала.
1. Задайте перечислением элементов множество , определите его вид, и , если возможно, найдите его мощность.
2. Является ли множество корней уравнения подмножеством множества решений неравенства ?
3. Определите, какие пары принадлежат отношению : (1; 4), (0; - 5), (- 2; 2), (- 1; - 6).
4. Определите порядок подстановки .
5. Найдите , , , если , и .
II. Перечислите основные логические операции над множествами.
Решите задачи № 6 – 8 из раздаточного материала.
6. Установите последовательность выполнения логических операций в формуле .
7. Представьте высказывание «Сегодня суббота либо воскресенье» с помощью формулы алгебры логики.
8. Составьте таблицу истинности для формулы .
|
Презентация урока. Слайд 11 - 13.
|
ОК 2 – ОК 7
|
|
10 мин
|
Рефлексия
|
При подведении итогов работы ответьте на следующие вопросы:
- Какие разделы дисциплины Вы повторили?
- Какими способами Вы выполняли задания? Какие
|
Презентация урока. Слайд 14.
|
ОК 3, ОК 4
|
|
1
|
2
|
3
|
4
|
5
|
|
|
|
формы работы Вам понравились?
- С какими трудностями Вы столкнулись? Как Вы их преодолевали?
- Какие замечания и предложения на будущее у Вас имеются?
После ответов на вопросы выставляются отметки.
|
|
|
|
5 мин
|
Домашнее задание
|
Домашнее задание
1. На следующем занятии – контрольная работа.
2. Выполнить задачи по материалам III семестра.
3. Сформулировать вопросы к задачам, вызвавшим затруднения. Ответы на эти вопросы можно получить перед контрольной работой.
|
Презентация урока. Слайд 15.
|
ОК 2 – ОК 7
|
Разработала: Капитонова Татьяна Сергеевна, ГБОУ СПО КС № 54
|
