МОУ

Лицей №4

Элективный

Подготовил :

Учитель информатики и информационных

технологий лицей №4 г. Орла

Орёл

2006 Пояснительная записка

Тема «Логические основы информатики» при изучении в школьном курсе информатики несет большую методическую и познавательную нагрузку. Обучение школьников основам информатики, изучение ими такого важного понятия, как «алгоритм», невозможно без развития у них логического мышления, умения оперировать понятиями и символикой математической логикой.

Хотелось бы подчеркнуть важность логических содержательных задач, при решении которых можно применить полученные знания. Именно такие задачи должны быть предметным обоснованием к вводимым новым понятиям. Исходя из вышеуказанных соображений был разработан курс «Логические основы информатики».

Цели курса – научить обучаемых:

·  Выделять существенные высказывания в тексте задачи;

·  Формализовать эти высказывания;

·  Представлять условия и решения задач в различных видах (таблицы, формулы, графы, схемы);

·  Решать одну и ту же задачу несколькими методами и уметь оценивать эти методы;

·  Преобразовывать логические выражения в совершенные дизъюнктивные и конъюнктивные нормальные формы для обоснования функционирования устройств, являющихся основой персонального компьютера;

·  Строить логическую схему заданного устройства.

Требования к знаниям учащихся

Учащиеся должны знать: иметь представление о логике как науке, для решения логических задач, знать логические операции и функции, иметь представление о таблицах истинности, знать основные законы логики, способы использования логических основ ПК, правила грамотного оформления логических задач.

НЕ нашли? Не то? Что вы ищете?

Учащиеся должны уметь: правильно оформлять решение логических задач и строить модели решения, знать логические операции и логические выражения, а так же условные операторы языка программирования, самостоятельно строить логические схемы устройств ПК.

Программа курса

Введение (2 часа). Логика как наука. Понятие об алгебре высказываний.

Основные понятия логики (6 часов). Логические операции. Логические переменные и логические функции. Законы логики. Сложное высказывание. Упрощение сложных высказываний. Таблицы истинности.

Логические основы ПК (8 часов). Роль математической логики в создании ПК. Простейшие преобразователи информации Совершенная дизъюнктивная и конъюнктивная нормальные формы. Булевы функции.

Схемы в логике (5 часов). Алгебра переключательных схем. Элементы схемотехники. Логические схемы.

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

Тематическое планирование

Тема

Лекции

Практика

1. Введение

2

0

2. Основные понятия логики

2

4

3. Логические основы ПК

3

5

4. Схемы в логике

2

3

5. Решение логических задач

1

12

Итого

10

24

Литература

1.  , , «Математические основы информатики» М: Бином. Лаборатория знаний. 2006 г.

2.  В. Лыскова, Е. Ракитина «Логика в информатике», М: Лаборатория Базовых Знаний. 2006 г.

3.  «Логические задачи», М: Лаборатория Базовых Знаний. 2006 г.

4.  «Что такое логика?», М: Лаборатория Базовых Знаний. 2006 г.

5.  Учебник по логике. М: Владос, 1994

6.  «Булева структура и её модели». М: Просвещение 1992 г.