~Методика обучения и воспитания в области информатики (заочное отделение)

Логика — наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний. Основы логики как науки были заложены в IV в. до н. э. древнегреческим ученым Аристотелем. Правила вывода истинности высказываний, описанные Аристотелем (силлогизмы) оставались основным инструментом логики вплоть до второй половины ХIХ в., когда в трудах Дж. Буля, О. де Моргана и др. возникла математическая логика. Средствами этой новой науки все прежние достижения логики были переведены на точный язык математики. Развивается аппарат алгебры логики (булевой алгебры) исчисления высказываний, исчисления предикатов. Развитие математической логики имело большое значение для всей математической науки, повысив уровень ее строгости и доказательности.

Логика относится к числу дисциплин, образующих математический фундамент информатики. Знакомство учащихся с элементами математической логики в рамках курса информатики может происходить в следующих аспектах:

• процедурно-алгоритмическом;
• в логическом программировании;
• схемотехническом.

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