В презентации указывается, когда знакомство с элементами логики происходит, в какой методической последовательности вводятся понятия математической логики, рассматривается математическая логика в электронных таблицах, базах данных, при изучении языка программирования. Рекомендуемая литература и общие задачи при изучении математической логики в школе.
Просмотр содержимого документа
«Роль математической логики в школьном курсе информатики»
Роль логики в школьном курсе информатики
понятие; высказывание; умозаключение; логическая переменная; логическая функция; логические операции; логическое выражение.
Для наглядности можно приготовить электрические схемы:
Дана логическая схема. Упростите её, используя минимальное количество вентилей.
0, A 1Соответствует математическая система неравенств: 0
Математическая логика в электронных таблицах
Структура условной функции:
Если (условие; действие1; действие2).
Логическому выражению:
И( A 10, A 1
Соответствует математическая система неравенств: 0
Логическая формула без использования условной функции
Применение условной функции
Например, требуется вычислить следующую разрывную функцию:
Логические величины – поля логического типа.
Если поле таблицы принимает значение «истина» либо « «ложь» , то ему назначается логический тип.
Логические выражения используются в запросах в качестве условий поиска.
Формальное задание на отработку условий поиска
На доске нарисована таблица:
Задано условие поиска в форме логического выражения; определить, какие записи ему удовлетворяют.
После решения таких формальных задач, следует, снова вернутся к содержательным задачам.
Записи
Поле
А
R 1
В
1
R 2
1
С
R 3
2
3
3
2
1
2
2
Процедурные языки программирования:
Логический тип данных Реализованы основные логические операции Логические выражения в условных операторах, реализующих алгоритмическую структуру ветвления
1. Информатика, Под редакцией П.П. Беленького. – Ростов-на-Дону, «ФЕНИКС», 2004. (УГЛУБЛЕННЫЙ КУРС)
2. Соколова О.Л. Поурочные разработки по информатике 10 класс. – М.: ВАКО, 2006.
3. http://tmn.fio.ru/works/03x/305/logika/index.htm
4. Самостоятельные работы, тесты и диктанты по информатике, под общей редакцией Русакова С.В. – М.: Информатика и образование, 2000.
Программирование:
1. Житкова О.А., Кудрявцева Е.К. Тематический контроль по информатике. Бейсик и Паскаль в вопросах и задачах. – М.: ИНТЕЛЛЕКТ – ЦЕНТР, 2004.
2. Бабушкина И.А. ПРАКТИКУМ ПО ТУРБО ПАСКАЛЮ. – М.: АБФ, 1998.
показать практическое применение логических элементов; объяснить логические основы устройств компьютера; развивать логическое мышление используя творческие задания; прослеживать линию логики на каждом году обучения информатике.