Основы логики

Составление логических выражений из высказываний. Изучение последовательности действий при построении таблиц истинности. Развитие на уроке логического мышления, внимания, памяти, речи учащихся. Воспитание способности слушать учителя и одноклассников.

Рубрика Педагогика
Вид разработка урока
Язык русский
Дата добавления 09.10.2013
Размер файла 22,3 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

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

Размещено на http://www.allbest.ru/

План урока

1. Обучающие:

1. Научить составлять логические выражения из высказываний

2. Ввести понятие "таблица истинности"

3. Изучить последовательность действий построения таблиц истинности

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

2. Развивающие:

1. Развивать логическое мышление

2. Развивать внимание

3. Развивать память

4. Развивать речь учащихся

3. Воспитательные:

1. Воспитывать умение слушать учителя и одноклассников

2. Воспитывать аккуратность ведения тетради

3. Воспитывать дисциплинированность

Задача урока Усвоить материал занятий.

Тип занятий: Комбинированный.

План занятия

1. Организационный момент (2 мин).

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

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

4. Физкультминутка (1 мин).

5. Закрепление

o разбор примера (5 мин);

o практические упражнения (10 мин);

o задания для самостоятельной работы (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 - количество логических переменных

2. Необходимо определить количество столбцов в таблице истинности.

· количество столбцов = количеству логических переменных + количество логических операций.

· Необходимо построить таблицу истинности с указанным количеством строк и столбцов, ввести названия столбцов таблицы в соответствии с последовательностью выполнения логических операций с учетом скобок и приоритетов (¬, &, V);

3. Заполнить столбцы входных переменных наборами значений

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

К

С

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. Физкультминутка

5 Закрепление

o разбор примера.

o практические упражнения.

o задания для самостоятельной работы.

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

А)

А

В

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

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

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

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

Размещено на Allbest.ru

...

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.