Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики»







Скачать 190.76 Kb.
НазваниеКонкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики»
Дата публикации20.01.2015
Размер190.76 Kb.
ТипКонкурс
p.120-bal.ru > Документы > Конкурс





Министерство образования республики Башкортостан

Отдел образования муниципального района Кугарчинский район

Муниципальное бюджетное общеобразовательное учреждение

Башкирская гимназия с. Мраково
Конкурс «ИКТ в творчестве педагога – 2009»

Номинация: информатика


Разработка урока- обобщения

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

Составил учитель информатики

МБОУ Башкирская гимназия

с. Мраково

Белоклокова Тамара Гайфулловна

РБ Кугарчинский район

С. Мраково

Ул.Луговая, д. 7

Тел. 89279537233


Краткая аннотация урока-обобщения

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

Цели:

-обобщить у учащихся представление об алгебре высказываний; основные законы формальной логики; законы алгебры высказываний; основные логические операции и сформировать первичные навыки их применения; записывать формы сложных высказываний, строить таблицы истинности сложных высказываний Microsoft Excel 2003;

- тренировка учащихся в написании тестов, подготовка учащихся к сдаче ЕГЭ;

- развитие внимательности, памяти, логического мышления;

- развитие навыков научной речи

- воспитание навыков самоорганизации, самоконтроля.

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

Этапы урока.

    1. Организационный момент. Постановка цели урока.

    2. Проверка домашнего задания

    3. Контроль знаний (проведение теста).

    4. Исторические сведения.

    5. Решение задач.

    6. Практическая работа

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

    8. Постановка домашнего задания.


Ход урока.

  1. Орг. Момент.

  2. Сегодня на уроке мы с вами повторим и обобщим основные логические операции, законы логики, построение таблиц истинности сложных высказываний Microsoft Excel 2003.

  3. Проверяем письменное домашнее задание.

  4. Тест

Состоит из двух частей

Часть первая:

1. В теории множеств, какая операция соответствует диаграмме Эйлера-Венна

А) дизъюнкция

Л)конъюнкция

Ю)инверсия

Е)эквиваленция

2. В теории множеств, какая операция соответствует диаграмме Эйлера-Венна.

О)инверсия

С)импликация

Е)эквиваленция

Н)дизъюнкция

3.Закон исключающего третьего.

И) А = 1; О) = А; К) АВ = &; Г) А& = 0.

4. А(А&В) = А; А&(АВ) = А.

А)закон ассоциативности Б)закон поглощения

В)закон идемпотентности Г)закон де Моргана

5.Замена операции импликации АВ

Л) АВ; М) А&В; Н) В; Р) &В.

6.Для какого числа истинно высказывание

А)1 О)2 Е)3 И)4

7. Какое логическое выражение равносильно выражению

Ч) Ш)Аv(B&C) Щ)АvBvC Ц)
Часть вторая:

8. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.

Дан фрагмент таблицы истинности выражения F:

x .

У

Z

F

0

1

0

0

0

1

1

1

1

1

0

0

Какое выражение соответствует F?

А) Г)

Б) В)

9. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.

Дан фрагмент таблицы истинности выражения F:

X

У

Z

F

0

1

0

0

1

1

0

1

1

1

1

1

Какое выражение соответствует F?

К) Р)

Я) У)

10. Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.

Дан фрагмент таблицы истинности выражения F:


X

У

Z

F

0

1

0

0

1

1

0

1

1

0

1

0

Какое выражение соответствует F?

МА) ЛЬ)

ОВ) ИЙ)

Выбрать правильные ответы и нажать на кнопку показать результаты(компьютер вас оценить). Далее исправить неправильные ответы и составить код(отдельно первую и вторую часть)

Ответ:

1)Лейбниц

2)Буль

V. Исторические сведения.

Немецкий ученый, философ-Лейбниц

Он создал «Азбуку мыслей», сжатый и краткий язык символов.

Разработал идею логического исчисления. Рассуждения обозначил буквами, сложные высказывания-формулами.

В результате удалось содержательные рассуждения заменить формальными вычислениями.
Воспитанию и образованию детей уделял большое внимание. В пятнадцать лет Лейбниц поступил на юридический факультет Лейпцигского университета, а в 20 лет защитил докторскую диссертацию. Затем последовала вынужденная служба у коронованных особ. С 1668 года он работает в качестве дипломата, юриста, историографа. С 1676 г. он занимает должность заведующего придворной библиотекой при Брауншвейг-Люксембурском герцогством дворе. Всю жизнь его окружали недоверие и зависть. Их пренебрежение особенно усилилось в последние годы жизни. Но время подтвердило его гениальность, сохранив для потомков его имя и дела. Огромный титанический труд (около 75000 его работ хранится в Ганноверском архиве ) позволил ученому создать философскую систему, обогнав свое время на несколько столетий. Особый научный прорыв он совершил на стыке логики и математики, философии. Лейбниц был одним из первых, который всерьез интересовался двоичной системой счисления, в которой для счета достаточно двух цифр 0 и 1.

Лейбниц взглянул на логику Аристотеля через призму математики:

  • все известные понятия сводились к сочетанию простых понятий;

  • разработал идею логического счисления, то есть сформулировал правила действия с символами;

  • Простые рассуждения обозначались символами, сложные элементы логических высказываний обозначались формулами, а суждения – уравнениями;

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


Джордж Буль (1815-1864г.г.)
Дж.Буль автор известного произведения «Математический анализ логики»(1847г.)

Основной труд Дж. Буля «Исследование законов мысли», в ней представлен раздел логики - алгебра высказываний.

В 1844 г. Буль получает золотую медаль за работу по математическому анализу (1847г.) и «Исследование законов мысли» (1857). Родился в городе Линкольне (Англия) в семье мелкого торговца.

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

Оригинальные идеи Буля по достоинству оценены математиками Кембриджского университета А. Де Морганом и Д.Грегори. Благодаря их поддержке, не имея высшего образования, ни степени, в 1849 году он стал профессором математики католического колледжа в ирландском городе Корк, где провел последние пятнадцать лет своей жизни.

Основное произведение Д.Буля «Исследование законов мысли». В этой книге представлена алгебраическая система, которую называют алгеброй высказывания.
V. Решение задач

1)А,В, С – целые числа, для которых истинно высказывание:



Чему равно В, если А=45, С=43.

2)А,В, С – целые числа, для которых истинно высказывание:



Чему равно А, если С=8, В=18.

Решение.

1).Для того чтобы высказывание было истинным необходимо, чтобы =1 =1 и =1, тогда

либо =1 и =1

либо=0 и =0

В=44

2)Ответ: А=17

3)Укажите значения логических переменных К, L,M,N, при которых логическое выражение:

А) ложно.

Б) ложно.

Решение.

А) =0, только тогда когда =1 и =0.

Из первого условия: К=0,М=1 или К=1 М=0

Из второго условия N=0 М=0 L=1. С учетом первого и второго: N=0 M=0 L=1 K=1

Ответ:а)1100 )0111

VI. Практическая работа.

Построение таблиц истинности с помощью электронных таблиц Microsoft Excel 2003.

Цель работы: построить таблицы истинности сложных высказываний.

А)

К

M

L

N

Kили М

не L

М или неL

М или не L или N

не(Kили М)

импликация

0

0

0

0

ЛОЖЬ

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

0

0

0

1

ЛОЖЬ

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

0

0

1

0

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

ИСТИНА

ИСТИНА

0

0

1

1

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

ИСТИНА

ИСТИНА

ИСТИНА

0

1

0

0

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

1

0

1

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

1

1

0

ИСТИНА

ЛОЖЬ

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

1

1

1

ИСТИНА

ЛОЖЬ

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

0

0

0

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

0

0

1

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

0

1

0

ИСТИНА

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

1

0

1

1

ИСТИНА

ЛОЖЬ

ЛОЖЬ

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

0

0

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

0

1

ИСТИНА

ИСТИНА

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

1

0

ИСТИНА

ЛОЖЬ

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

1

1

ИСТИНА

ЛОЖЬ

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

Б)

К

M

L

N

М или неL или не N

К ил не L или не N

не

импликация

0

0

0

0

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

0

0

1

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

0

1

0

ЛОЖЬ

ИСТИНА

ИСТИНА

ИСТИНА

0

0

1

1

ИСТИНА

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

0

1

0

0

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

1

0

1

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

1

1

0

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

0

1

1

1

ИСТИНА

ЛОЖЬ

ЛОЖЬ

ЛОЖЬ

1

0

0

0

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

0

0

1

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

0

1

0

ЛОЖЬ

ИСТИНА

ИСТИНА

ИСТИНА

1

0

1

1

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

0

0

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

0

1

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

1

0

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

1

1

1

1

ИСТИНА

ИСТИНА

ЛОЖЬ

ИСТИНА

Проверьте правильно ли вы выполнили задания используя таблицу.

VII. Вывод: Такие задачи проще решать, используя определения логических функций, нежели построение таблиц истинности.

Подведение итогов.Выставление оценок. (с пояснением)

VIII. Домашнее задание:

Карточка для домашней работы

  1. Доказать справедливость следующих тождеств с помощью диаграмм Эйлера-Венна:

А) закон поглощения А&(АВ) = А;

Б) закон де Моргана А&В = ;

*В) правило замены операции импликации.

2. Доказать закон исключения (АВ) &(В) = В путём эквивалентных преобразований:

3. Доказать справедливость следующих тождеств с помощью построения таблицы истинности:

А) закон ассоциативности; Б) закон дистрибутивности; В) правило перевёртывания.



Добавить документ в свой блог или на сайт

Похожие:

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» icon«Логические законы и правила преобразования логических выражений»
Основы логики и логические основы компьютера в профильном курсе «Информатика и икт» / Разработка уроков. Автор-составитель Войтикова...

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconРабочая программа по информатике и икт составлена на основе следующих...
Федерального компонента государственного стандарта общего образования (Приказ Мо РФ от 05. 04. 2004). Среднее (полное) общее образование....

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconУрока Разработка урока с применением икт по теме: «Усыновление (удочерение)....
«Усыновление (удочерение). Опека и попечительство» урок №2 в теме «Формы воспитания детей, оставшихся без попечения родителей»

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconКонспект урока по информатике и икт
Тема урока – Понятие и структура правовой информации. Средства и приемы юридической техники. Знакомство с спс «КонсультантПлюс: Средняя...

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconРазработка урока Тема урока: Сила Архимеда
Цели урока: Образовательная: обеспечить формирование понятия выталкивающая сила, используя задания исследовательского характера

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconРасписание зимней сессии 2013-2014 уч г
Информатика и икт в профессиональной деятельности. Плотникова В. Ю.,10. 00, ауд. 23

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconМетодическая разработка для студентов по дисциплине «экологические основы природопльзования»
Данная методическая разработка призвана помочь вам в освоении дисциплины «Экологические основы природопользования»

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconРабочая программа по учебному курсу «Информатика и икт» 11 класс
...

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconТема урока: «Основы семейного права.» Цели урока
Цели урока: сформировать у учащихся четкое осознание необходимости правового регулирования семейных отношений (мотивация запоминания...

Конкурс «икт в творчестве педагога 2009» Номинация: информатика Разработка урока- обобщения «Основы логики» iconВсероссийский конкурс научно-исследовательских работ патриотической...
Фгбоу впо хакасский государственный университет им. Н. Ф. Катанова, Колледж педагогического образования, информатики и права

Вы можете разместить ссылку на наш сайт:
Право





При копировании материала укажите ссылку © 2015
контакты
p.120-bal.ru
Поиск