1_Основы логики_. Тема Основы логики
 Скачать 24.68 Kb.
|
|
Класс: 9 Предмет: Информатика Тема: Основы логики Цель урока: формирование понятие форм мышления, логическое высказывание, логические величины, логические операции. Задачи: сформировать понятия: логическое высказывание, логические величины, логические операции, формы мышления, создать условия для развития познавательного интереса обучающихся, способствовать развитию памяти, внимания, логического мышления; способствовать воспитанию умения выслушивать мнение других, работать в коллективе и группах. Тип урока: Урок изучения и первичного закрепления новых знаний Вид урока: лекция ОК 1-9 Используемое оборудование: персональные компьютеры, Лекция карточки с заданиями План урока: 1. Организационный момент - 1 мин. 2. Сообщение темы и постановка целей урока - 2 мин. 3. Актуализация знаний 20 мин 3. Изучение нового материала - 40 мин. Основы логики Логические выражения Логические операции 4. Закрепление полученных знаний - 10 мин. 5. Подведение итогов урока - 5 мин. 6. Домашнее задание - 2 мин. Ход урока I. Организационный момент Приветствие учащихся, настрой их на дальнейшую работу. II. Сообщение темы и целей урока. Как человек мыслит? Что в нашей речи является высказыванием, а что - нет? В чем сходство и различие в арифметическом умножении и логическом умножении? На эти и некоторые другие вопросы мы с вами постараемся ответить сегодня на уроке. Так же познакомимся с основными логическими выражениями и операциями, узнаем некоторые составляющие нашего мышления. Итак, тема нашего урока Основы логики. (Запись в тетради темы урока) III. Объяснение нового материала. 1. В основе современной логики лежат учения, созданные еще древнегреческими мыслителями, хотя первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания. Логика - это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Законы мира, сущность предметов, общее в них мы познаем посредством абстрактного мышления. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Мышление всегда осуществляется через понятия, высказывания и умозаключения. Понятие - это форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их от других. Пример Прямоугольник, проливной дождь, компьютер. Высказывание - это формулировка своего понимания окружающего мира. Высказывание является повествовательным предложением, в котором что-либо утверждается или отрицается. По поводу высказывания можно сказать, истинно оно или ложно. Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Ложным высказывание будет в том случае, когда оно противоречит реальной действительности. Пример Истинное высказывание: "Буква "а" - гласная". Ложное высказывание: "Компьютер был изобретен в середине XIX века". Пример Какие из предложений являются высказываниями? Определите их истинность. 1. Какой длины эта лента? 2. Прослушайте сообщение. 3.Делайте утреннюю зарядку! 4. Назовите устройство ввода информации. 5. Кто отсутствует? 6. Париж - столица Англии. (ЛОЖЬ) 7. Число 11 является простым. (ИСТИНА) 8. 4 + 5=10. (ЛОЖЬ) 9. Без труда не вытащишь и рыбку из пруда. 10. Сложите числа 2 и 5. 11. Некоторые медведи живут на севере.(ИСТИНА) 12. Все медведи - бурые. (ЛОЖЬ) 13.Чему равно расстояние от Москвы до Ленинграда. Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод). Пример Дано высказывание: "Все углы равнобедренного треугольника равны". Получить высказывание "Этот треугольник равносторонний" путем умозаключений. (доказательство пытаются сделать дети) Пусть основанием треугольника является сторона с, тогда а=b. Так как в треугольнике все углы равны, следовательно, основанием может быть любая другая сторона, например а. Тогда b=с. Следовательно, a=b=c. Треугольник равносторонний. Логические выражения и операции Алгебра - это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями. Так! алгебра называется алгеброй логики. Алгебра логики отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказывания. Можно определить понятия логической переменной, логической функции и логической операции. Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее символическое обозначение - латинская буква. Значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0). Составное высказывание - логическая функция, которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение - F(A,B,...). На основании простых высказываний могут быть построены составные высказывания. Логические операции - логическое действие. Существуют три базовые логические операции - конъюнкция, дизъюнкция и отрицание и дополнительные - импликацию и эквивалентность. Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить. Значением логического выражения могут быть только ЛОЖЬ или ИСТИНА. При составлении логического выражения необходимо учитывать порядок выполнения логических операций, а именно: 1) действия в скобках; 2) инверсия, конъюнкция, дизъюнкция, импликация, эквивалентность. Пример Записать в виде логического выражения следующее высказывание: "Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдет на рыбалку". 1. Разобьем составное высказывание напростые высказывания: "Петя поедет в деревню", "Будет хорошая погода", "Он пойдет на рыбалку". Обозначим их через логические переменные: А = Петя поедет в деревню; В = Будет хорошая погода; С = Он пойдет на рыбалку. Заполним таблицу логические операции.
IV. Закрепление изученного материала. Задания по вариантам. Упражнение 1.Запишите следующие высказывания в виде логических выражений. Вар1 1.Число 17 нечетное и двузначное. 2. Неверно, что корова - хищное животное. 3. На уроке физики ученики выполняли лабораторную работу и сообщали результаты исследований учителю. 4. Если число делится на 2, то оно - четное. 5.Переходи улицу только на зеленый свет. Вар 2 6. На уроке информатики необходимо соблюдать особые правила поведения. 7. При замерзании воды выделяется тепло. 8. Если Маша - сестра Саши, то Саша - брат Маши. 9. Если компьютер включен, то можно на нем работать. 10.Водительские права можно получить тогда и только тогда, когда тебе исполнится 18 лет. Упражнение 2Из двух простых высказываний постройте сложное высказывание, используя логические связки "И", "ИЛИ". Запишите логические высказывания с помощью логических операций и определите их истинность. Вар1 1.Андрей старше Светы. Наташа старше Светы. 2.Один десятый класс идет на экскурсию в музей. Второй десятый класс идет в театр. Вар2 3.На полке стоят учебники. На полке стоят справочники. 4. Часть детей - девочки. Остальные - мальчики. Упражнение 3.приведите примеры составных высказываний из приведенных ниже школьных предметов и запишите их с помощью логических операций:
VI. Подведение итога урока. Фронтальная беседа Что является высказыванием? Какие бывают высказывания? Какие логические операции существуют? Выставление оценок. VII. Домашнее задание Уровень знания: выучить основные определения, знать обозначения. Заполнение таблицы истинности
|