"Решение логических задач средствами алгебры логики"



Скачать 104.95 Kb.
Дата17.05.2016
Размер104.95 Kb.
ТипУрок
Государственное казенное специальное (коррекционное) образовательное учреждение для обучающихся, воспитанников с ограниченными возможностями здоровья «Шадринская специальная (коррекционная)

общеобразовательная школа-интернат № 12 III, IV видов»



«Решение логических задач средствами алгебры логики»
Открытый урок для учителей школы по применение электронного учебника,

декабрь 2009 г.

Тема урока: "Решение логических задач средствами алгебры логики"



Цель урока: познакомить учащихся с методом решения логических задач средствами алгебры логики.

Задачи урока:

образовательная – знакомство учащихся с понятием решения логических задач средствами алгебры логики;

развивающие – развитие логического мышления учащихся, памяти, внимания, а также интереса к разделу информатики - алгебре логики;

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

Тип урока: проверка знаний и изучение нового материала.

Возраст учащихся: 11 класс.

Оборудование урока:

  • мультимедийный проектор;

  • презентация, подготовленная в MS Power Point;

  • карточки с индивидуальными заданиями;

  • карточки с законами алгебры логики.

Требования к знаниям и умениям учащихся:

учащиеся должны знать:

учащиеся должны уметь:

  • упрощать логические выражения;

  • строить таблицы истинности;

  • строить логические схемы по логическому выражению и наоборот;

  • записывать составные высказывания в виде логических функций.

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

План урока:

  1. Организационная часть.

  2. Повторение пройденных тем.

  3. Физкультминутка.

  4. Изучение нового материала.

  5. Закрепление изученного материала.

  6. Подведение итогов урока.

  7. Домашнее задание.

Ход урока

1. Организационная часть

  • приветствие;

  • проверка отсутствующих;

  • постановка целей урока.

Учитель. Нам известны три способа решения логических задач:

1. с помощью рассуждений;

2. с помощью таблиц;

3. средствами алгебры логики.

Первым способом мы умеем решать логические задачи с первого класса. Вторым способом мы научились решать на предыдущих уроках. А вот третьим способом – средствами алгебры логики – научимся решать сегодня.



2. Повторение пройденных тем.

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

(Все задачи на повторение пройденной темы решаются учениками на доске с объяснением применяемых правил и законов).



Первое задание. Упростить логическое выражение. (Демонстрируется слайд).

_______________

F =

Решение (используются законы де Моргана, закон двойного отрицания, распределительный закон):



_______________ _____

F = = A v B & = (A v B) & (B v C) = B v (A & C)

Дальше ученики самостоятельно решают подобную задачу в своих индивидуальных карточках.

Второе задание. Проверить правильность упрощения построением таблиц истинности. (Демонстрируется слайд).

Учитель. Для проверки правильности упрощения мы строим таблицы истинности для исходного и упрощенного логического выражения. Если данные в последних столбцах таблиц истинности совпадают, значит мы правильно упростили логическое выражение.

Решение:

Таблица истинности для исходного логического выражения



А

В

C

A V B

B V C





F

0

0

0

0

0

1

1

0

0

0

1

0

1

0

1

0

0

1

0

1

1

0

0

1

0

1

1

1

1

0

0

1

1

0

0

1

0

1

1

0

1

0

1

1

1

0

0

1

1

1

0

1

1

0

0

1

1

1

1

1

1

0

0

1

Таблица истинности для упрощенного логического выражения

 

А

В

C

A & C

B V А & C

0

0

0

0

0

0

0

1

0

0

0

1

0

0

1

0

1

1

0

1

1

0

0

0

0

1

0

1

1

1

1

1

0

0

1

1

1

1

1

1

Из таблиц истинности видно, что упрощение верное.

Дальше ученики самостоятельно решают подобную задачу в своих индивидуальных карточках.



Третье задание. Построить логическую схему полученного упрощенного логического выражения. (Демонстрируется слайд).

(Продемонстрировать и объяснить работу схемы).

Дальше ученики самостоятельно решают подобную задачу в своих индивидуальных карточках.

Четвертое задание. Записать следующее высказывание в виде логического выражения: «Если я хорошо подготовлюсь по русскому языку, математике и физике, то я получу пятерки или четверки».

Решение: выделим в составном высказывании простые и обозначим их логическими переменными:

А – хорошо подготовлюсь по русскому языку;

В – хорошо подготовлюсь по математике;

С – хорошо подготовлюсь по физике;

D – получу пятерки;

Е – получу четверки.

Тогда составное высказывание будет записано следующим образом:

F = (A & B & C) --> (D V E)

Дальше ученики самостоятельно решают подобную задачу в своих индивидуальных карточках.



Пятое задание. Решить логическую задачу с помощью рассуждений. (Демонстрируется слайд).

Принцу необходимо спасти принцессу от злого колдуна. Принцесса находится в одной из комнат с надписями на дверях:



  1. В этой комнате сидит тигр.

  2. Принцесса находится в комнате 1.

  3. Тигр сидит в комнате 2.

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

Учитель. Сейчас мы узнаем, есть ли среди нас принцы. Кто поможет принцессе? Если кто-то готов выручить ее, то он должен щелкнуть мышкой по двери и дверь откроется. (Демонстрируется слайд)



III. Физкультминутка. Гимнастика для глаз.

IV. Изучение нового материала. (Демонстрируются слайды)

Учитель.

По обвинению в ограблении перед судом предстали Иванов, Петров, Сидоров. Следствием установлено следующее:

1) Если Иванов не виновен или Петров виновен, то Сидоров виновен.

2) Если Иванов не виновен, то Сидоров не виновен.

Виновен ли Иванов?

Решение:

а) Выделим простые высказывания и запишем их через переменные:

A – «Виноват Иванов»

B – «Виноват Петров»

С – «Виноват Сидоров»

б) Запишем логические функции (сложные высказывания) через введенные переменные:

1) Если Иванов не виновен или Петров виновен, то Сидоров виновен.
2) Если Иванов не виновен, то Сидоров не виновен.
в) Запишем произведение указанных функций:

F=

г) Упростим формулу (используются законы де Моргана, переместительный закон, закон противоречия):


д) Приравняем результат единице, т.е. наше выражение должно быть истинным:

F = A & B & C = 1

е) Проанализируем результат:

Логическое произведение равно 1, если каждый множитель равен 1.

Поэтому:
Значит:



Ответ:

Учитель. Ребята, вы познакомились с новым методом решения логических задач. Как вам кажется, какой из трех способов решения логических задач является самым точным? (Ответы учеников)

V. Закрепление изученного материала.

Учитель. Запишем условие еще одной интересной задачи из жизни, которую мы начнем решать.

Задача. Джеку, Питеру и Майку предъявлено обвинение в соучастии в ограблении банка. Похитители скрылись на поджидавшем их автомобиле. На следствии Джек показал, что преступники скрылись на синем Мерседесе, Питер сказал, что это был черный Джип, а Майк утверждал, что это был Форд Мустанг и ни в коем случае не синий. Стало известно, что желая запутать следствие, каждый из них указал правильно либо марку машины, либо только ее цвет. Какого цвета и какой марки была машина?

Учитель. Можно ли раскрыть это преступление? Имея в виду, что у нас каждое преступление раскрывается, и, учитывая, что следователи изучали в школе алгебру логики, с уверенностью можно сказать, что преступники будут наказаны. Кто из вас поможет следствию и правильно вычислит цвет и марку машины, узнаем на следующем уроке, а сейчас вместе напишем логическую функцию.(Учитель помогает детям записать правильно логическое выражение.)



VI. Подведение итогов урока.

Учитель. Сегодня мы научились решать логические задачи средствами алгебры логики. Мы с вами выяснили, что самым точным способом решения логических задач является изученный нами сегодня способ. Но более простым способом вам показался решение логических задач с помощью таблиц. К сожалению, не все логические задачи можно решить с помощью таблиц, поэтому приходится решать их средствами алгебры логики.

(Поставить оценки наиболее активным ученикам. Собрать индивидуальные карточки для проверки.)



VII. Домашнее задание.

Учитель. Попробуйте решить домашнее задание – задачу об ограблении банка всеми тремя известными вам способами и сравнить результаты.

Роль логики


Логическим законам так же подчиняется и мышление человека  и протекает в логических формах независимо от науки логики. Люди мыслят логично, не зная правил логики, и правильно говорят, порой не зная правил грамматики! Но следует ли из этого, что изучение логики не играет практической роли в повседневной жизни
                
Сторонники практической точки зрения опираются на  классическое замечание Ф. Гегеля о том, что логика "учит" '' мыслить, так же как физиология «учит» переваривать. В прочем  правильно мыслить можно, и не изучив логику, так же как переваривать пищу, не зная физиологии. Но недооценивать практического значения наук нельзя.      
                 
В научении человека сознательно применять законы и формы мышления и мыслить логично и, следовательно, правильно познавать окружающий мир является задачей логики.

Придавали большое значение изучению логики ее законов и указывали на необходимость развивать способность к логическому мышлению многие выдающиеся деятели науки и культуры . «Логика — необходимый инструмент, освобождающий от лишнего, помогающий найти в массе информации ценное, — писал известный физиолог академик Н.К. Анохин. — Она нужна любому специалисту, будь он математик,медик ,биолог, ».

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

  Вот, например, как характеризуется профессиональное мастерство известного русского адвоката второй половины прошлого века П.А. Александрова: «Наиболее характерным для судебного ораторского мастерства П.А. Александрова является твердая логика и последовательность его суждений, умение тщательно взвешивать и определять место любого доказательства по делу, а также убедительно аргументировать и обосновывать свои важнейшие доводы».

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

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

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



  Однако они не учат думать, не стремятся развить эту драгоценную способность человека. Но думать необходимо, по крайней мере для того, чтобы не прожить всю жизнь куклой, которую дергают за веревочки манипуляторы, а быть настоящей личностью.
Каталог: images
images -> Элективный курс по английскому языку с естественно-научной направленностью young scientists
images -> Калимуллиной Ирины Назимовны 2013-2014 учебный год пояснительная записка рабочая программа
images -> Программы
images -> Наркотики и дети. Часть 1
images -> Личность подростка формируется не сама по себе, а в окружающей его среде. Особенно важна роль малых групп, в которых подросток взаимодействует с другими людьми
images -> Агрессивное поведение дошкольников и его преодоление
images -> Практические рекомендации родителям и педагогам, как правильно вести себя
images -> Особенности детей младшего школьного возраста с недостатками в интеллектуальном развитии
images -> Проблемы современного школьника


Поделитесь с Вашими друзьями:


База данных защищена авторским правом ©dogmon.org 2017
обратиться к администрации

    Главная страница