Методика изучения основ логики

Методика изучения основ логики.
Логика относится к базовым фундаментальным разделам информатики. Изучение
данной темы помогает решать одну из главных задач обучения информатики в школе –
развитие логического мышления учащихся, умения рассуждать, доказывать,
аргументировать и обосновывать предлагаемые решения. Также в рамках данной темы
отрабатывается важнейший для информатики навык – умение формализовать
информацию.
Включение этой темы в курс информатики преследует двоякую цель:
1.Предоставление учащимся информации, необходимой для изучения других тем
информатики.
2.Овладение учащимися логической культурой, необходимой для получения новых
знаний, лучшей социализации личности в современном быстроменяющемся мире.
Изучение основ логики разбито на 3 части: “Элементы формальной логики”, “Элементы
математической логики, “Логические основы устройства ЭВМ”.
Задачи:
1. Научить учащихся формализовывать высказывания.
2. Выделять существенные высказывания в тексте задачи.
3. Научить учащихся предоставлять условия и решения задачи в формализованном
виде.
4. Преобразовывать логические выражения в соответствии с законами и свойствами.
5. Строить логическую схему устройства с заданными характеристиками.
6. Находить ошибки в рассуждениях.
При изучении данной темы вводятся основные понятий математической логики,
необходимых при изучении базового курса информатики, а также их использования при
работе с прикладным программным обеспечением и в языках программирования.
Основными понятиями здесь являются: высказывание, логическая величина
(константа, переменная), логические операции, логическое выражение.
Следует привести примеры высказыванй истинных и ложных.
Например: «Треугольник - это геометрическая фигура» — истинное высказывание.
«Париж — столица Китая» — ложное высказывание.
При изучении логических операций рассматриваются конъюнкция, дизъюнкция,
отрицание.
Изучая правила выполнения логических операций, следует рассмотреть таблицу
истинности.
Например, таблица истинности для конъюнкции A
B
А&B
1
1
1
1
0
0
0
1
0
0
0
0
Рассматривается понятие и приводятся примеры логических формул.
Чтобы научить учащихся формализовывать высказывания, можно предложить
следующие задания
1. Рассмотрим сложное высказывание: «Число 6 делится на 2, и число 6 делится на
3». Представить данное высказывание в виде логической формулы.
2. Рассмотрим сложное высказывание: «Летом я поеду в деревню или в
туристическую поездку». Представить данное высказывание в виде логической формулы.
3. Рассмотрим высказывание: «Неверно, что 4 делится на 3». Представить данное
высказывание в виде логической формулы.
4. Вычислить значение логической формулы:
не X и Y или Х и Z,
если логические переменные имеют следующие значения: X = = ЛОЖЬ, Y = ИСТИНА, Z
= ИСТИНА.
При решении подобных задач следует использовать таблицу истинности.