Geum.ru

Урок информатики по теме "Основы логики, таблицы истинности"

Вид материалаУрок

Содержание


Инверсия, дизъюнкция и конъюнкция)
Подобный материал:

Урок информатики по теме "Основы логики, таблицы истинности"

Тема: Как построить таблицу истинности?


Продолжительность урока: 40 мин

Тип урока: комбинированный:
  • проверка знаний – устная работа;
  • новый материал – лекция;
  • закрепление – практические упражнения;
  • проверка знаний – задания для самостоятельной работы.

Цели урока:
  1. Обучающие:
    1. Научить составлять логические выражения из высказываний
    2. Ввести понятие “таблица истинности”
    3. Изучить последовательность действий построения таблиц истинности
    4. Научить находить значение логических выражений посредством построения таблиц истинности
  2. Развивающие:
    1. Развивать логическое мышление
    2. Развивать внимание
    3. Развивать память
    4. Развивать речь учащихся
  3. Воспитательные:
    1. Воспитывать умение слушать учителя и одноклассников
    2. Воспитывать аккуратность ведения тетради
    3. Воспитывать дисциплинированность

План урока:
  1. Организационный момент (2 мин).
  2. Повторение материала предыдущего урока +проверка домашнего задания (устный опрос) (5 мин).
  3. Объяснение нового материала (10 мин).
  4. Физкультминутка (1 мин).
  5. Закрепление
    • разбор примера (5 мин);
    • практические упражнения (10 мин);
    • задания для самостоятельной работы (5 мин).
  6. Обобщение урока, домашнее задание (2 мин).

Оборудование и программный материал:
  • белая доска;
  • раздаточный справочный материал “Таблицы истинности”;
  • демонстрация презентации “Таблицы истинности”.

Ход урока

1. Организационный момент
  • Приветствие.
  • Проверка отсутствующих в классе.
  • Объявление оценок за прошлый урок.

2. Повторение материала предыдущего урока + проверка домашнего задания

3 учащихся работают по карточкам:

Соедините правильные определения или обозначения:

1. Логика
1.

2. Высказывание
2. Логическое сложение

3. Алгебра логики
3. Наука о формах и способах мышления

4. Логическая переменная
4. Логическое отрицание

5. Дизъюнкция
5. ИСТИНА и ЛОЖЬ

6. Инверсия
6.

7. Конъюнкция
7.

8. Импликация
8. Наука об операциях над высказываниями

9. Эквивалентность
9. Повествовательное предложения, в котором что-либо утверждается или отрицается, которое может быть истинным или ложным

Остальные устно.

1)Примеры записаны на доске:
      1. Для логических выражений сформулируйте составные высказывания на обычном языке:

А) (Y>1 и Y<3) или (Y<8 и Y>4) (Ответ: число Y принадлежит промежутку (1,3) и (4,8))

Б) (X=Y) и (X=Z). (Ответ: числа X, Y и Z равны между собой)

2) Приведите примеры составных высказываний из школьных предметов и запишите их с помощью логических операций: литература, биология, география, история.

Какие логические связки вы использовали? ( Инверсия, дизъюнкция и конъюнкция)

Мы увидели, что логика достаточно крепко связана с нашей повседневной жизнью, а также увидели, что почти любое высказывание можно записать в виде формулы.

Давайте вспомним основные определения и понятия:

3. Объяснение нового материала

Из составного высказывания составьте формулу, заменяя простые высказывания переменными.

Задача: В классе оказалось разбито стекло. Учитель объясняет директору: это сделал Коля или Саша. Но Саша этого не делал, так как в это время сдавал мне зачет. Следовательно, это сделал Коля.

Решение: Формализуем данное сложное высказывание:

К – это сделал Коля; С – это сделал Саша.

Форма высказывания:

На прошлом уроке мы находили значение составного высказы­вания путем подстановки исходных значений входящих логических переменных. А сегодня мы узнаем, что можно построить таблицу истинности, которая определяет истинность или лож­ность логического выражения при всех возможных комбинациях исходных значе­ний простых высказываний (логических переменных) и, что можно определить значения исходных логических переменных, зная какой нам нужен результат.

Итак, тема сегодняшнего урока: «Как построить таблицу истинности?»

Мы уже несколько уроков подряд используем понятие “таблица истинности”? так что же такое таблица истинности?

Таблица истинности – это таблица, истинность сложного высказывания при всевозможных значениях входящих переменных.

Еще раз рассмотрим наш пример



и построим таблицу истинности для этого составного высказывания

При построении таблиц истинности есть определенная последовательность действий. Давайте запишем
  1. Необходимо определить количество строк в таблице истинности.
  • количество строк = 2n,  где n – количество логических переменных
  1. Необходимо определить количество столбцов в таблице истинности.
  • количество столбцов = количеству логических переменных + количество логических операций.
  • Необходимо построить таблицу истинности с указанным количеством строк и столбцов, ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов (¬, &, V);
  1. Заполнить столбцы входных переменных наборами значений
  2. Провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.

К
С








0
0
1
0
0
1

0
1
0
1
0
1

1
0
1
1
1
1

1
1
0
1
0
1


4. Физкультминутка
      1. Закрепление
    • разбор примера.
    • практические упражнения.
    • задания для самостоятельной работы.

Построить таблицы истинности для таких составных высказываний:

А)

А
В




0
0
0
1

0
1
0
0

1
0
0
0

1
1
1
0


Б)

А
В






0
0
1
0
1

0
1
0
1
0

1
0
1
1
1

1
1
0
1
0


В)

А
В
С






0
0
0
1
0
0

0
0
1
1
1
1

0
1
0
0
0
0

0
1
1
0
0
0

1
0
0
1
0
1

1
0
1
1
1
1

1
1
0
0
0
1

1
1
1
0
0
1


Задание для самостоятельной работы «Кто быстрей?»

Заготовленные карточки учащимся, в которой надо провести заполнение таблицы истинности по столбцам, выполняя логические операции в соответствии с установленной последовательностью.



А
В
С
 
 





 
 
 
 
 
 



 
 
 
 
 
 



 
 
 
 
 
 



 
 
 
 
 
 



 
 
 
 
 
 



 
 
 
 
 
 



 
 
 
 
 
 



 
 
 
 
 
 




Ответ:

А
В
С
 
 




0
0
0
1
0
1
0

0
0
1
0
0
0
1

0
1
0
1
0
1
0

0
1
1
0
0
0
1

1
0
0
1
0
1
0

1
0
1
0
0
0
1

1
1
0
1
1
1
0

1
1
1
0
1
1
0



      1. Обобщение урока, домашнее задание (2 мин).

На этом уроке мы закрепили понятие «таблицы истинности», познакомились с алгоритмом построения таблиц истинности, а также научились строить их для составных высказываний, не вникая в смысл самого высказывания.

Д/З не задается, так как урок спаренный, дети приходят через урок и продолжаем изучать тему «Основы логики и логические основы компьютера».