Данный урок третий в рамках темы «Основы логики». Предполагается, что обучающиеся уже знакомы с основными определениями и логическими операциями.
Цели урока:
- создание условий для формирования знаний по построению таблиц истинности для сложных выражений;
Задачи:
- изучить принципы построения таблиц истинности для сложных выражений;
- способствовать развитию логического мышления;
Тип урока:
- урок совершенствования знаний, умений и навыков;
- целевого применения усвоенного.
Вид урока: лекция.
Используемое оборудование:
- компьютер;
- приложение Microsoft Office PowerPoint 2003 и выше;
- мультимедиа проектор
План урока:
- Организационный момент (2 мин)
- Опрос по материалу прошлого урока (5 мин)
- Представление нового материала (15 мин)
- Выполнение практического задания (5 мин)
- Подведение итогов урока. Задание на дом (3 мин)
Ход урока:
- Организационный момент.
Приветствие учащихся. Проверка присутствующих. Настрой на урок.
- Опрос по материалу прошлого урока.
На прошлом уроке мы с вами познакомились с основными логическими операциями. Обучающимся предлагается ответить на следующие вопросы:
- Что такое сложное высказывание?
- Сколько Вы знаете базовых логических операций? (5)
- Перечислите названия базовых логических операций. (Коньюнкция, Дизъюнкция, Инверсия, Импликация, Эквивалентность)
- Какими знаками обозначается логическое умножение?
- Как называется логическое отрицание и что оно выполняет?
- Представление нового материала.
На данном этапе используется презентация (слайды 2-6).
При изучении работы различных устройств компьютера приходится рассматривать такие его логические элементы, в которых реализуются сложные логические выражения. Поэтому необходимо научиться определять результат этих выражений, то есть строить для них таблицы истинности.
Таблица истинности – это таблица, в левой части которой записывается набор аргументов, а в правой части - соответствующие значения логической функции.
Таблица истинности – это таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний.
Алгоритм построения таблиц истинности для сложных выражений следующий:
Определить количество переменных (простых выражений);
Определить количество логических операций и последовательность их выполнения.
Определить количество строк:
количество строк = 2ª + строка для заголовка,
где a – количество логических переменных.
Определить количество столбцов: количество столбцов = количество переменных + количество логических операций;
Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.
Рассмотрим пример построения таблицы истинности для следующего сложного (составного) логического выражения – смотри документ.
- Выполнение практического задания.
После объяснения нового материала обучающимся предлагается самостоятельно построить таблицу истинности для логического выражения (слайды 7-8) – смотри документ
- Подведение итогов урока. Задание на дом.
Ответы на вопросы учащихся. Подведение итога урока. Выставление оценок.
Домашнее задание (слайд 9).
Используемые учебники и учебные пособия:
- Светлов В.А. Современная логика: Учебное пособие. - СПб.: Питер, 2006. - 400 с.
- Ивлев Ю.В. Логика: Учебник. – М.: Проспект, 2008. – 304 с.
- Бочаров В.А., Маркин В.И. Основы логики: Учебник. –М.: Инфра-М, Форум, 2009.
- ЛОГИКА. Учебное пособие. Издание 2-е: Москва, Издательство «Знание», 1998.