Логика - это, видимо, умение доказать какую - то истину. Ж. Лабрюйер Учебный проект по теме «Решение логических задач средствами алгебры логики» Учитель. - презентация

1 Логика - это, видимо, умение доказать какую - то истину. Ж. Лабрюйер Учебный проект по теме «Решение логических задач средствами алгебры логики» Учитель Доронина О.В.

2 Как человек мыслит? Что называется алгеброй высказываний? Что в нашей речи является высказыванием, а что- нет? На какие типы можно разделить высказывания? Как называются, образуются, обозначаются логические операции? В чем сходство и различие в арифметическом умножении и логическом умножении?

3 Булева алгебра Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений, т.е. методы установления истинности или ложности одних высказываний (утверждений) на основе истинности или ложности других высказываний. Джордж Буль – английский математик-самоучка ( г) который по праву считается отцом математической логики. Его именем назван раздел математической логики – булева алгебра.

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

5

6 Какую алгебру называют Булевой? Любую ли задачу можно решить, используя логические законы? Какие логические задачи решаются с помощью информационных технологий? Какие ученые, заложили основные логические принципы проектирования современного компьютера? Какие высказывания истинны, какие ложны? Сколько логических операций изучает алгебра логики? Как преобразовываются логические функции и выражения? Какие существуют логические законы и правила? Сколько существует способов решения логических задач Каков алгоритм решения задач средствами алгебры логики? Какую роль играют знания логики в вычислительной техники и программировании? Какие логические функции используются в электронных таблицах? Как, логические операции используются в языке программирования Паскаль?

7 Что такое логика? В процессе своей жизнедеятельности человек познает мир (получает информацию). Мышление сопутствует любой деятельности человека. Оно управляет его действиями, следит за тем, чтобы соблюдался определенный порядок, последовательность действий; после каждого шага проверяет результат, контролируя и корректируя сделанное. Мышление позволяет предвидеть возможные последствия действий, дать им определенную оценку. Когда мы доказываем что-либо, мы можем рассуждать правильно, а можем и сделать ошибку (тогда вывод будет ошибочным, ложным). Существуют определенные правила, которые показывают, как отличать верные умозаключения от ошибочных. Наука о законах правильного мышления называется логикой. 1)Найти информацию в Интернете по первому вопросу. 2)Привести примеры по второму вопросу и оформить их в формате А4 на бумажном носителе. 3)По третьему вопросу оформить ЛОС (лист опорных сигналов), программа по выбору.

8 Как научиться решать логические задачи? Логические или нечисловые задачи составляют обширный класс нестандартных задач. Сюда относятся, прежде всего, текстовые задачи, в которых требуется распознать объекты или расположить их в определенном порядке по имеющимся свойствам. При этом часть утверждений условия задачи может выступать с различной истинностной оценкой (быть истинной или ложной). К классу логических задач относятся также задачи на переливания и взвешивания (фальшивые монеты и т.п.). Перед Вами будет поставлены следующие задачи: 1)Вспомнить тему о преобразовании логических выражений с помощью законов логики 2)Найти информацию в Интернете по третьему и четвертому вопросу. 3)Решить данные учителем задачи используя различные способы, выбрать наиболее эффективный. 4)Сделать вывод. 5)Решение задач оформить в виде слайдов презентации

9 Какую роль играют знания логики в вычислительной технике и программировании? В вычислительной технике и автоматике используются логические схемы – устройства, которые преобразуют двоичные сигналы. Анализ и проектирование логических схем опираются на законы алгебры логики. Любой язык программирования содержит логические переменные и средства для описания и вычисления логических выражений. Логические методы применяются и при работе с электронными таблицами и базами данных. 1)Решить данные учителем задачи с помощью электронных таблиц и языка программирования Паскаль. 2)Оформить решение в презентации 3)Сделать вывод о проделанной работе.

10 Используемые и рекомендуемые ресурсы

11 Вперед, навстречу к истине!