Модель оформления рекомендаций



жүктеу 83.26 Kb.
Дата20.04.2019
өлшемі83.26 Kb.
түріУрок

Краткие рекомендации:

Автор: Саповатова Ирина Петровна

Полное название образовательного учреждения (с указанием региона и населенного пункта): МКОУ «Шайковская СОШ №2» п.Шайковка Кировского района Калужской области

Предметная область: информатика и ИКТ

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

Возрастная группа (класс): 10

Название презентации: «Элементы логики»

Количество слайдов: 62



Среда( редактор), в которой выполнена презентация: Power Point 2003

Рекомендации в свободной форме:

1 слайд


Сегодня на уроке мы познакомимся с наукой Логикой и основными элементами и понятиями логики.

2 слайд


Логика – одна из древнейших наук. Более 2300 лет назад древнегреческий философ Аристотель впервые систематизировал формы и правила мышления, тем самым, заложив основы науки логики. Впоследствии его основополагающие трактаты по логике были объединены под названием «Органон». Логика Аристотеля носит название формальной логики. Аристотель приехал в Афины и поступил в школу - академию Платона, где пробыл 20 лет, сначала в качестве ученика, а затем в качестве учителя. Аристотель часто спорил со своим великим учителем, отстаивая свои философские идеи. Аристотель на всю свою жизнь сохранил уважение к своему Великому Учителю и ушел из академии только после его смерти. В 335 г. до н.э. в предместье Афин Аристотель создал свою школу, которую назвал лицеем. Занимаясь преподавательской деятельностью, Аристотель не прерывал связи с Александром Македонским. В своих письмах царю, он предостерегал его от упоения властью, призывал ценить друзей и карать льстецов и наушников. Аристотель создавал логику как науку о доказательстве истины. Он подошел вплотную к теории доказательств. Но решить эту задачу даже гениальному человеку было не под силу. Потребовались тысячелетия упорного труда до получения результатов.

3 слайд


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

4 слайд


Логика (от греческого logos – слово, понятие, рассуждение, разум) – наука о законах и формах правильного мышления. Правильное или логическое мышление – залог вашей успеваемости, карьеры, популярности.

5 слайд


Джордж Буль (1815-1864гг.) Он автор известных произведений “Математический анализ логики” (1847) и “Исследование законов мысли” (1857) родился в городе Линкольне (Англия) в семье мелкого торговца. Материальное положение родителей было трудным, платить за обучение сына было невозможно, прошлось ограничиться начальными классами для детей бедняков. Джордж изо всех сил стремился получить образование. Он самостоятельно овладел латынью и греческим языком. Страсть к науке делала его невосприимчивым к пренебрежительным взглядам. В 1844 году он получает золотую медаль за работу по математическому анализу.

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

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

6 слайд


Мышление – инструмент познания окружающего мира.

Формы мышления:

  1. Понятие

  2. Умозаключение

  3. Суждение

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

7 слайд


Понятие – форма мышления, отражающая предметы в их общих и существенных признаках. Языковой формой выражения понятия является слово.

8 слайд


Содержание понятия — совокупность существенных признаков, отраженных в этом понятии.

9 слайд


На этом слайде приведены примеры, раскрывающие содержание понятия.

10 слайд


Объем понятия — множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия. Выделяют понятия общие и единичные.

11 слайд

На этом слайде приведены примеры, раскрывающие объём понятия.

12 слайд


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

13 слайд


Логическое высказывание - это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно.

14 слайд


Высказывания могут быть простыми и составными.

15 слайд


Истинность простых высказываний определяется на основании здравого смысла. Истинность составных высказываний определяется с помощью алгебры логики.

16 слайд


Высказывания бывают общими, частными или единичными. (На этом слайде сделаны гиперссылки на примеры общих, частных и единичных понятий)

17 слайд


Общее высказывание соответствует множеству однородных объектов, которое иначе называется классом объектов. (На этом слайде сделан возврат на слайд 16)

18 слайд


На данном слайде приведены примеры частных высказываний. (На этом слайде сделан возврат на слайд 16)

19 слайд


Единичное высказывание соответствует конкретному объекту, тому самому, о котором идет речь. (На этом слайде сделан возврат на слайд 16)

20 слайд


Суждение - это форма мышления, в которой что-либо утверждается или отрицается об объектах, признаках или отношениях объектов (на этот слайд сделана ссылка со слайда 6).

21 слайд


На данном слайде рассмотрены примеры суждений (с этого слайда можно вернуться на слайд 6).

22 слайд


Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое объектов (на этот слайд сделана ссылка со слайда 6).

23 слайд


На данном слайде рассмотрен пример умозаключения (с этого слайда можно вернуться на слайд 6).

24 слайд


Алгебра высказываний служит для определения истинности или ложности составных высказываний, не вникая в их содержание.

25 слайд


На этом слайде даётся задание: Записать в виде логического выражения высказывание: «Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдёт на рыбалку».

26 слайд


Операции над логическими высказываниями

27 слайд


Инверсия

Логическое отрицание. Присоединение частицы «не» к высказыванию

Правило истинности: логическое отрицание (инверсия) истинно, если высказывание ложно и ложно, если высказывание истинно.

28 слайд


На этом слайде показан пример инверсии.

29 слайд


Рассматривается таблица истинности для логической операции инверсии.

30 слайд


Конъюнкция

Логическое умножение: объединение двух (или нескольких) высказываний в одно с помощью союза «и».

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

31 слайд


На этом слайде показан пример конъюнкции.

32 слайд


Обозначение операции логического умножения

33 слайд


Рассматривается таблица истинности для логической операции конъюнкции.

34 слайд


Дизъюнкция

Логическое сложение: объединение двух (или нескольких) высказываний в одно с помощью союза «или».

Правило истинности: составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний

35 слайд


На этом слайде показан пример дизъюнкции.

36 слайд


Обозначение операции логического сложения

37 слайд


Рассматривается таблица истинности для логической операции дизъюнкции.

38 слайд


Импликация

Логическое следование: соединение двух высказываний в одно с помощью оборота речи «если…, то…»

Правило истинности: составное высказывание, образованное с помощью операции логического следования (импликации), ложно тогда, когда из истинного высказывания (посылки) следует ложное высказывание (следствие)

Слайд 39


На этом слайде показан пример импликации.

Слайд 40


Обозначение операции логического следования

Слайд 41


Рассматривается таблица истинности для логической операции импликации.

Слайд 42


Эквивалентность

Логическое равенство: соединение двух высказываний в одно помощью оборота речи «тогда и только тогда, когда»

Правило истинности: составное высказывание, образованное с помощью операции логического равенства (эквивалентности), истинно только тогда, когда оба высказывания одновременно либо истинны, либо ложны.

Слайд 43


На этом слайде показан пример эквивалентности.

Слайд 44


Обозначение операции логического равенства.

Слайд 45


Рассматривается таблица истинности для логической операции эквивалентности.

Слайд 46


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

Слайд 47


Законы логики

Слайд 48

Закон тождества:

Слайд 49

Закон непротиворечия:

Слайд 50

Закон исключения третьего:

Слайд 51

Закон двойного отрицания:

Слайд 52

Закон поглощения 0:

Слайд 53

Закон поглощения 1:

Слайд 54

Закон поглощения:

Слайд 55

Закон идемпотентности:

Слайд 56


Законы Моргана:

Слайд 57

Слайд 58

Закон ассоциативности:

Слайд 59

Закон дистрибутивности:

Слайд 60

Закон коммутативности:

Слайд 61

Слайд 62


Список литературы:

  1. Поурочные разработки по информатике – Соколова О.А., Москва, «ВАКО», 2008

  2. Опорные конспекты по информатике – Тур С.Н., Бокучава Т.П., Санкт-Петербург, «БХВ-Петербург», 2007

  3. Информатика. Задачник – практикум в 2 т. – Семакин И.Г., Хеннер Е.К., Москва, БИНОМ, 2004


Список использованной литературы и Интернет-ресурсов:

Достарыңызбен бөлісу:


©kzref.org 2017
әкімшілігінің қараңыз

    Басты бет