іки були переведені на точний мову математики. Розвивається апарат алгебри логіки (булевої алгебри), обчислення висловлювань, числення предикатів. Розвиток математичної логіки мало велике значення для всієї математичної науки, підвищивши рівень її строгості і доказовості.
Логіка відноситься до числа дисциплін, що утворюють математичний фундамент інформатики. Знайомство учнів з елементами математичної логіки в рамках курсу інформатики може відбуватися в таких аспектах:
процедурно-алгоритмічній;
в логічному програмуванні;
схемотехническом.
До першого аспекту належить використання логічних величин і логічних виразів в мовах програмування процедурного типу, а також у роботі з електронними таблицями, з базами даних. В умовних операторах, умовних функціях, що реалізують алгоритмічну структуру розгалуження, використовуються логічні вирази. У запитах на пошук інформації в базах даних також присутні логічні вирази. Використання в програмах величин логічного типу дозволяє ефективно вирішувати складні логічні завдання, В«головоломкиВ».
Вперше в шкільній інформатиці елементи логічного програмування мови Пролог були включені в підручник. Згідно авторської концепції одним з головних завдань шкільної інформатики має бути розвиток логічного мислення учнів, уміння міркувати, доводити, підбирати факти, аргументи і обгрунтовувати запропоновані рішення. Як відомо, парадигма логічного програмування є альтернативною до процедурній парадигмі. У механізмі виведення Прологу використовується апарат числення предикатів. p align="justify"> У контексті моделювання знань елементи логічного програмування присутні в підручнику. У першій частині підручника розповідається лише про ідею побудови логічної моделі знань. Реалізація цієї ідеї на Пролозі розкривається в другій частині, орієнтованої на поглиблене вивчення базового курсу. Під схемотехнічними аспектом розуміється знайомство з логічними схемами елементів комп'ютера: вентилів, суматорів, тригера, призначених для обробки і зберігання двійкової інформації. При вивченні даної теми слід звернути увагу учнів на те обставина, що основою внутрішнього мови комп'ютера є мова логіки, булева алгебра . Це пов'язано з двома обставинами: по-перше, внутрішній мова комп'ютера і мова логіки використовують двійковий алфавіт (0 і 1), по-друге, всі команди мови процесора реалізуються через три логічні операції: І, АБО, НЕ.
Глава 2. Методика викладання лінії подання інформації
2.1
