Обучение проводится по авторской программе [1]. Учащиеся знакомятся с основными логическими операциями и их свойствами, с особенностями тождественных преобразований сложных высказываний, с таблицами истинности, графическим способом решения задач логики, с предикатами и кванторами, составляют структурные формулы и вычерчивают функциональные схемы логических устройств, синтезируют (конструируют) автоматы, решают сложные логические задачи, используя аппарат математической логики, изучают работу отдельных узлов ЭВМ.
Программная поддержка данного курса - 2 компьютерные программы: математическая логика и элементы вычислительной техники в школьном курсе информатики, разработанные учащимися школы с использованием пакета "Сценарий".
Структура программы "Матлогика"
|
Высказывания в алгебре логики |
Таблицы истинности |
Законы логики |
Решение логических задач |
|
простые высказывания |
Истинность высказываний |
законы логики |
системы логических уравнений |
|
основные логические операции |
Эквивалентность высказываний |
равносильные преобразования образования |
графический
способ |
|
сложные высказывания |
Тавтологии |
тестирование |
блок-схема |
|
тестирование |
Тестирование |
|
программа |
Программа "Элементы вычислительной техники в школьном курсе информатики" состоит из следующих разделов: элементарные преобразователи информации, структурные формулы и функциональные схемы логических устройств, двоичный одноразрядный сумматор, триггеры, шифраторы и дешифраторы, регистры, счетчики, контроль.
Литература.
1.Пустоваченко Н.Н. Программы непрерывного компьютерного образования для учащихся 1-11 классов. - Мурманск: ОНМЦСО, 1994, 44 с.
наверх
