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

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

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

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

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

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

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

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

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

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