Информатика 10 класс (Урок№13 - Логические задачи и способы их решения.)

Информатика 10 класс (Урок№13 - Логические задачи и способы их решения.)

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

Цель:
— познакомить учащихся со способами решения логических задач.
Задачи:
— отработать умения решать логические задачи методом рассуждений, табличным методом и методом упрощения логических выражений.

мы узнаем:
• основные способы решения логических задач;
мы научимся:
• решать логические задачи методом рассуждений, табличным методом и методом упрощения логических выражений;
мы сможем:
• решать логические задачи одним из изученных способов.

Исходными данными в логических задачах являются высказывания. При этом высказывания и взаимосвязи между ними бывают так сложны, что разобраться в них без использования специальных методов бывает достаточно трудно.
Основная идея метода рассуждений состоит в том, чтобы последовательно анализировать всю информацию, имеющуюся в задаче, и делать на этой основе выводы.
Многие логические задачи связаны с рассмотрением нескольких конечных множеств и связей между их элементами. Для решения таких задач зачастую прибегают к помощи таблиц или графов. От того, насколько удачно выбрана их структура, во многом зависит успешность решения задачи.
Аппарат алгебры логики позволяет применять к широкому классу логических задач универсальные методы, основанные на формализации условий задачи. К ним относятся методы: 1) построения таблицы истинности по условию задачи и её анализ; 2) составления и упрощения логического выражения.