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

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

Педагоги

Макарьева Ирина Леонидовна

Содержание программы

Элементы математической логики

Логические основы ЭВМ

Цели программы

Цели:

· познакомить с элементами математической логики;

· рассмотреть логические основы ПК.

Результат программы

Научить обучающихся

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

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

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

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

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

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

Материально-техническая база

Для работы требуется кабинет информатики, имеющий мебель: столы, стулья.

Технические средства: моноблок, компьютер учителя, компьютеры обучающихся.