Содержательное обобщение тематического блока

Основы логики в школьном курсе информатики

Ниже изложен один из вариантов преподавания этой темы в курсе информатики основной школы.

Изучение основ логики разбито на 3 части:

•  “Элементы формальной логики” и “Элементы математической логики” изучаются в 8 классе, что позволяет выделить и закрепить знания о понятиях и суждениях, доказательных рассуждениях, о логических законах, сформировать умения оперировать символикой математической логики, применять эти умения к решению логических содержательных задач.

•  “Логические основы устройства ЭВМ” – в 9 классе, что позволяет сформировать “на уровне понимания” знания об архитектуре и принципах функционирования ЭВМ.

В 10-11 классах изучение логики может и должно быть продолжено.

Содержательное обобщение

Алгебра логики (булева алгебра) – это раздел математики, возникший в XIX веке благодаря усилиям английского математика Дж. Буля. Поначалу булева алгебра не имела никакого практического значения. Однако уже в XX веке ее положения нашли применение в описании функционирования и разработке различных электронных схем. Законы и аппарат алгебры логики стал использоваться при проектировании различных частей компьютеров (память, процессор). Хотя это не единственная сфера применения данной науки.

Что же собой представляет алгебра логики?

Ответ на этот вопрос Вы можете найти, пройдя по ссылке http://www.inf1.info/book/export/html/210