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

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