Выбранный для просмотра документ €¢â®à.doc
Скачать материал "Конспект урока «Основные понятия и операции науки логика». 9 класс"
Рабочие листы
к вашим урокам
Скачать
Выбранный для просмотра документ Основные понятия и операции науки логика.doc
Скачать материал "Конспект урока «Основные понятия и операции науки логика». 9 класс"
Рабочие листы
к вашим урокам
Скачать
Выбранный для просмотра документ Основные понятия и операции науки логика.ppt
Скачать материал "Конспект урока «Основные понятия и операции науки логика». 9 класс"
Рабочие листы
к вашим урокам
Скачать
1 слайд
Основные понятия и операции науки логика
Артемова Татьяна Васильевна
учитель информатики
высшая квалификационная категория
МБОУ – Сош №45
имени Д. И. Блынского, г. Орел.
art-tat-was@yandex.ru
2 слайд
Логика - наука о формах, методах и законах правильного мышления.
Родоначальником логики считается величайший
мыслитель древности - Аристотель
(примерно IV век до н.э., Древняя Греция).
Логическое учение Аристотеля,
называется традиционной или формальной логикой,
в которой для анализа правильности
суждения используется естественный язык.
Основоположником математической (символьной)
логики, в которой для анализа правильности суждения
используются математические методы является
английский математик Джордж Буль.
Поэтому эту науку называют булевой алгеброй.
3 слайд
Алгебра логики – раздел математики, изучающий логические
высказывания и методы установления их истинности или
ложности с помощью алгебраических методов.
Логика - теоретическая основа современного компьютера,
позволяет понять принципы функционирования двоичной арифметики.
4 слайд
Элементы алгебры логики:
1. Логические переменные - суждения - высказывание, о котором можно сказать истинно оно или ложно.
Виды высказываний (суждений):
общее – начинается со слов: все, всякий, каждый, ни один;
частное – начинается со слов: некоторые, большинство и т. п.;
единичное - во всех других случаях.
Примеры не суждений:
С = «Слава Родине!»
D = «Она красивая?»
К = «Возьми ключи»
Примеры суждений:
А = «Земля - планета солнечной системы»
В = «Яблоки растут на хвойных деревьях».
Суждение выражается повествовательным выражением,
обозначается латинскими буквами. Высказывание не может быть
выражено повелительным или вопросительным предложением
Примеры:
«Все рыбы умеют плавать» - общее высказывание;
«Некоторые медведи - бурые» - частное высказывание;
«Буква А - гласная» - единичное высказывание.
5 слайд
2. Логические константы - цифры 0 и 1, которые обозначают значения логических переменных (ложь и истина).
3. Логические выражения – составные суждения - образуются
из нескольких простых суждений, соединенных с помощью
логических операций «и», «или», «не», «если …, то …» и т.д.
Суждение, не являющиеся составными, называются простым.
Например, из простых высказываний
А = «Петров – врач», В = «Петров – шахматист»
при помощи связки «и» можно
получить составное высказывание
С = «Петров – врач и шахматист», понимаемое как
«Петров – врач, хорошо играющий в шахматы».
6 слайд
Логические операции:
1. Логическое умножение - конъюнкция - соединение двух логических переменных с помощью логической связки «и».
Обозначение: * или ^ или &
Примеры: А = «На столе лежит ручка».
В = «На столе лежит карандаш».
А^В = «На столе лежат ручка и карандаш»
Составное суждение со связкой «и» верно тогда и только тогда, когда верны обе его части.
7 слайд
2. Логическое сложение - дизъюнкция - соединение двух логических переменных с помощью логической связки «или».
Обозначение: + или .
Примеры:
А = «В библиотеке можно взять книгу».
В = «В библиотеке можно взять журнал».
А В = «В библиотеке можно взять книгу или журнал».
Составное суждение со связкой «или» верно тогда и только тогда, когда верна хотя бы одна из его частей.
8 слайд
3. Логическое отрицание - инверсия - присоединение частицы «не» к логическому суждению.
Обозначение: A или A.
Примеры: А = «Земля вращается вокруг Солнца».
А = «Земля не вращается вокруг Солнца».
Результат операции отрицания истинен, если исходное высказывание ложно, и наоборот.
9 слайд
Задания для закрепления пройденного материала:
Что такое логика?
Кто является основоположником логики, как науки?
В чем состоит отличие формальной логики от математической?
Что такое суждение?
Приведите пример истинного суждения.
Приведите пример ложного суждения.
Приведите пример высказывания, не являющегося суждением.
На какие типы можно разделить высказывания?
Что такое логические константы?
Что такое логические выражения?
10 слайд
Задания для закрепления пройденного материала:
Определи, какие из нижеприведенных фраз являются высказываниями с точки зрения алгебры логики. Определи значение высказывания (1 или 0):
Переводчик должен знать хотя бы два языка.
Два больше трех.
Все девочки любят играть в куклы.
Определи тип высказывания (общее, частное, единичное):
Все лекарства неприятны на вкус.
Многие растения обладают целебными свойствами.
Мой кот – серый.
13. Определи тип высказывания (простое или составное, истинное или ложное):
Наступил сентябрь, и начался учебный год.
Если прошел снег, то на улице лето.
Все растения съедобны.
11 слайд
Задания для закрепления пройденного материала:
Какая операция обозначается в логике знаками
& или ^?
Конъюнкция.
Какая операция обозначается в логике знаком ?
Дизъюнкция
Какая операция обозначается в логике знаком ¬?
Инверсия
Из двух простых высказываний постройте сложное высказывание, используя связку "И", "ИЛИ"
А = «В кабинете есть учебники».
С = «В кабинете есть справочники».
В = А^С = «В кабинете есть учебники и справочники».
В = АС = «В кабинете есть учебники или справочники».
Записать логическое выражение и определи его значение истинности для следующих высказываний:
С= «Рыбу ловят сачком или ловят крючком, или мухой приманивают, или червячком».
С = АВХУ=1
Х= «Приставка есть часть слова, и она пишется раздельно со словом».
Х = А^В = 0
12 слайд
Задание на дом:
1) Составить примеры следующих суждений и определить их значения:
истинного и ложного;
не суждения;
составного;
простого;
частного;
единичного;
общего.
Пример:
А = «Каждый треугольник имеет три вершины» - 1, простое, общее.
2) Записать логическое выражение и определи его значение истинности для следующего высказывания:
«Буква "а" – первая буква в слове "аист" или "сова"».
Рабочие листы
к вашим урокам
Скачать
Выбранный для просмотра документ ‚ ¦®!.txt
Скачать материал "Конспект урока «Основные понятия и операции науки логика». 9 класс"
Рабочие листы
к вашим урокам
Скачать
Рабочие листы
к вашим урокам
Скачать
Цели урока: Образовательная - введение в предмет логики, исследование значения логики, знакомство с этапами развития логики, знакомство с элементами алгебры логики; Развивающая - создать условия для развития познавательного интереса учащихся, способствовать развитию памяти, внимания, логического мышления; Воспитательная - способствовать воспитанию умения выслушивать мнение других, воспитание воли и настойчивости для достижения конечных результатов. Тип урока: урок изучения и первичного закрепления новых знаний.Оборудование: компьютер, мультимедийный проектор, презентация «Основные понятия и операции науки логика».Ход урока: I. Изложение нового материала (25 минут). Здравствуйте! Сегодня мы познакомимся с наукой логика, которая является теоретической основой современного компьютера и позволяет понять принципы функционирования двоичной арифметики. Слайд 2.Логика – наука о формах, методах и законах правильного мышления. Название науки «Логика» происходит от древнегреческого «логос» - слова, означающего мысль. В буквальном переводе «логика» - это наука о мышлении. Формальная логика является одной из древнейших наук. Первоначально логика разрабатывалась в связи с потребностями ораторского искусства, то есть как часть риторики. Выдающиеся ораторы пользовались большим уважением. Иногда при определении победителя дискуссии мнения присутствующих разделялись. Одни считали победителем одного из споривших, другие - другого. Это показало всю необходимость разработки правил логики, которые бы позволили избегать подобных разногласий и приходить к единому мнению. Родоначальником же логики по праву считается величайший мыслитель древности, ученик Платона – Аристотель (примерно IV век до н.э., Древняя Греция). Именно он в трудах, объединенных общим названием «Органон» (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений, сформулировал основные принципы научных доказательств. Логическое учение Аристотеля, усовершенствованное в некоторых аспектах, а иногда и искаженное, просуществовало без особых принципиальных изменений до середины XIX века и получило название традиционной или формальной логики. Логика Аристотеля для анализа правильного мышления использовала естественный язык. В конце XIX – начале XX века были заложены основы математической или символической логики, в которой для обнаружения истинности значения высказывания используются математические методы, т.е. язык символов. Большой вклад в развитие символической логики внесли Дж. Буль, О. де Морган, Г. Фриге. Основоположник алгебры логики - английский математик Джордж Буль. Поэтому эту науку называют булевой алгеброй. Слайд 3Алгебра логики – раздел математики, изучающий логические высказывания и методы установления их истинности или ложности с помощью алгебраических методов. Логика - теоретическая основа современного компьютера, позволяет понять принципы функционирования двоичной арифметики. Слайд 4 Элементы алгебры логики: 1) Логические переменные - суждения, высказывание о котором можно сказать истинно оно или ложно. Суждение выражается повествовательным выражением, обозначается латинскими буквами. Высказывание не может быть выражено повелительным или вопросительным предложением. Примеры суждений: А = «Земля - планета солнечной системы». В = «Яблоки растут на хвойных деревьях». Примеры, не являющиеся суждениями: С = «Слава Родине»! D = «Она красивая»? К = «Возьми ключи».Виды высказываний (суждений): общее – начинается со слов: все, всякий, каждый, ни один; частное – начинается со слов: некоторые, большинство и т. п.; единичное - во всех других случаях. Пример. Определить тип высказывания (общее, частное, единичное). «Все рыбы умеют плавать» - общее высказывание; «Некоторые медведи - бурые» - частное высказывание; «Буква А - гласная» - единичное высказывание. Слайд 5 2) Логические константы - цифры 0 и 1, которые обозначают значения логических переменных (ложь и истина). 3) Логические выражения – составные суждения, образуются из нескольких простых суждений, соединенных с помощью логических операций «и», «или», «не», «если …, то …» и т.д. Высказывания, не являющиеся составными, называются простым. Так, например, из простых высказываний: «Петров – врач», «Петров – шахматист» при помощи связки «и» можно получить составное высказывание «Петров – врач и шахматист», понимаемое как «Петров – врач, хорошо играющий в шахматы». Слайд 6Логические операции: 1. Логическое умножение – конъюнкция, соединение двух логических переменных с помощью логической связки «и». Обозначение: * или ^ или Примеры: А = «На столе лежит ручка». В = «На столе лежит карандаш». А^В = «На столе лежат ручка и карандаш». Составное суждение со связкой «и» верно тогда и только тогда, когда верны обе его части. Слайд 7 2. Логическое сложение – дизъюнкция, соединение двух логических переменных с помощью логической связки «или». Обозначение: + или v. Примеры: А = «В библиотеке можно взять книгу». В = «В библиотеке можно взять журнал». А v В = «В библиотеке можно взять книгу или журнал». Составное суждение со связкой «или» верно тогда и только тогда, когда верна хотя бы одна из его частей. Слайд 8 3. Логическое отрицание – инверсия, присоединение частицы «не» к логическому суждению. Обозначение: ¬A или A. Примеры: А = «Земля вращается вокруг Солнца».A = «Земля не вращается вокруг Солнца». Результат операции отрицания истинен, если исходное высказывание ложно, и наоборот. Слайд 9II. Закрепление изученного материала (15 минут). Что такое логика? Кто является основоположником логики, как науки? В чем состоит отличие формальной логики от математической логики? Что такое суждение? Приведите пример истинного суждения. Приведите пример ложного суждения. Приведите пример высказывания, не являющегося суждением. На какие типы можно разделить высказывания? Что такое логические константы? Что такое логические выражения? Слайд 10 1) Определи, какие из нижеприведенных фраз являются высказываниями с точки зрения алгебры логики. Определи значение высказывания (1 или 0): Переводчик должен знать хотя бы два языка (1) Два больше трех (0) Все девочки любят играть в куклы (1) 2) Определи тип высказывания (общее, частное, единичное):Все лекарства неприятны на вкус (общее) Многие растения обладают целебными свойствами (частное) Мой кот – серый (единичное) 3) Определи тип высказывания (простое или составное, истинное или ложное): Наступил сентябрь, и начался учебный год (составное, истинное) Если прошел снег, то на улице лето (составное, ложное) Все растения съедобны (простое, ложное) Слайд 11 Какая операция обозначается в логике знаками или ^? (Конъюнкция). Какая операция обозначается в логике знаком v? (Дизъюнкция). Какая операция обозначается в логике знаком ¬? (Инверсия). Из двух простых высказываний постройте сложное высказывание, используя связку «И», «ИЛИ» А = «В кабинете есть учебники». С = «В кабинете есть справочники». В = А+С= «В кабинете есть учебники и справочники». В = А+С= «В кабинете есть учебники или справочники». Записать логическое выражение и определи его значение истинности для следующих высказываний: С = «Рыбу ловят сачком или ловят крючком, или мухой приманивают, или червячком». С=АvВvХvY Х = «Приставка есть часть слова, и она пишется раздельно со словом». Х=А^В Слайд 12III. Задание на дом (5 минут). 1) Выучить основные определения и понятия, знать обозначения. 2) Составить примеры следующих суждений и определить их значения: истинного и ложного; не суждения; составного; простого; частного; единичного; общего. Пример: А = «Каждый треугольник имеет три вершины» - 1, простое, общее. Записать логическое выражение и определи его значение истинности для следующего высказывания: «Буква «а» – первая буква в слове «аист» или «сова»». Источники и литература: Информатика и информационные технологии. 10-11. Учебник для 10-11 классов. / Угринович Н.Д.– М.: Бином. Лаборатория знаний, 2005. Лыскова В.Ю., Ракитина Е.А. Логика в информатике. Методическое пособие. М.: Бином. Лаборатория знаний, 2006. Богомолова О.Б. Логические задачи. Задачник. М.: Бином. Лаборатория знаний, 2006.
6 665 164 материала в базе
Настоящий материал опубликован пользователем Седых Вера Николаевна. Инфоурок является информационным посредником и предоставляет пользователям возможность размещать на сайте методические материалы. Всю ответственность за опубликованные материалы, содержащиеся в них сведения, а также за соблюдение авторских прав несут пользователи, загрузившие материал на сайт
Если Вы считаете, что материал нарушает авторские права либо по каким-то другим причинам должен быть удален с сайта, Вы можете оставить жалобу на материал.
Удалить материалВаша скидка на курсы
40%Курс профессиональной переподготовки
300/600 ч.
Курс профессиональной переподготовки
600 ч.
Курс повышения квалификации
72 ч. — 180 ч.
Мини-курс
4 ч.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.