Логические основы информатики

реклама
МОУ
Лицей №4
Подготовил : И.А. Гревцев
Учитель информатики и информационных
технологий лицей №4 г. Орла
Орёл
2006
Пояснительная записка
Тема
«Логические
основы
информатики»
при
изучении
в
школьном
курсе
информатики несет большую методическую и познавательную нагрузку. Обучение
школьников основам информатики, изучение ими такого важного понятия, как
«алгоритм», невозможно без развития у них логического мышления, умения
оперировать понятиями и символикой математической логикой.
Хотелось бы подчеркнуть важность логических содержательных задач, при
решении которых можно применить полученные знания. Именно такие задачи
должны быть предметным обоснованием к вводимым новым понятиям. Исходя из
вышеуказанных
соображений
был
разработан
курс
«Логические
основы
информатики».
Цели курса – научить обучаемых:

Выделять существенные высказывания в тексте задачи;

Формализовать эти высказывания;

Представлять условия и решения задач в различных видах (таблицы,
формулы, графы, схемы);

Решать одну и ту же задачу несколькими методами и уметь оценивать эти
методы;

Преобразовывать логические выражения в совершенные дизъюнктивные и
конъюнктивные нормальные формы для обоснования функционирования
устройств, являющихся основой персонального компьютера;

Строить логическую схему заданного устройства.
Требования к знаниям учащихся
Учащиеся должны знать: иметь представление о логике как науке, для решения
логических задач, знать логические операции и функции, иметь представление о
таблицах истинности,
знать основные законы логики, способы использования
логических основ ПК, правила грамотного оформления логических задач.
Учащиеся должны уметь: правильно оформлять решение логических задач и строить
модели решения, знать
логические операции и логические выражения, а так же
условные операторы языка программирования, самостоятельно строить логические
схемы устройств ПК.
2
Программа курса
Введение (2 часа). Логика как наука. Понятие об алгебре высказываний.
Основные понятия логики (6 часов). Логические операции. Логические переменные и
логические функции. Законы логики. Сложное высказывание. Упрощение сложных
высказываний. Таблицы истинности.
Логические основы ПК (8 часов). Роль математической логики в создании ПК.
Простейшие
преобразователи
информации
Совершенная
дизъюнктивная
и
конъюнктивная нормальные формы. Булевы функции.
Схемы в логике (5 часов). Алгебра переключательных схем. Элементы схемотехники.
Логические схемы.
Решение логических задач (13 часов).
Задачи с транзитивными отношениями.
Задачи с некорректными условиями. Задачи с отношением равенства. Задачи с
нетранзитивными отношениями. Задачи с несколькими отношениями. Задачи на
сравнение элементов в отношениях. Задачи решаемые с помощью схем и таблиц.
Задачи на переправу. Задачи, решаемые с помощью графов. Задачи на перебор
возможных вариантов. Занимательные задачи. Задачи решаемые трафаретам.
Тематическое планирование
Тема
1. Введение
2. Основные понятия логики
3. Логические основы ПК
4. Схемы в логике
5. Решение логических задач
Итого
Лекции Практика
2
0
2
4
3
5
2
3
1
12
10
24
3
Литература
1. Е.В.
Андреева,
Л.Л.
Босова,
И.Н.
Фалина
«Математические
основы
информатики» М: Бином. Лаборатория знаний. 2006 г.
2. В. Лыскова, Е.Ракитина «Логика в информатике», М: Лаборатория Базовых
Знаний. 2006 г.
3. О.Б. Богомолова «Логические задачи»,
М: Лаборатория Базовых Знаний.
2006 г.
4. О.Б. Богомолова «Что такое логика?», М: Лаборатория Базовых Знаний. 2006 г.
5. А.Д. Гетманов Учебник по логике. М: Владос, 1994
6. И.М. Яглом «Булева структура и её модели». М: Просвещение 1992 г.
4
Скачать