В ы с ш е е о б р а з о в а н и е м. П. Лапчик, И. Г. Семакин, Е. К. Хеннер

и др. возникла математическая логика. Средствами этой новой науки 
все  прежние достижения логики были  переведены  на точный язык 
математики. Развивается аппарат алгебры логики (булевой алгебры), 
исчисления  высказываний,  исчисления  предикатов.  Развитие мате­
матической логики имело большое значение для всей математичес­
кой науки,  повысив уровень ее строгости  и доказательности.
Логика  относится  к  числу дисциплин,  образующих  математи­
ческий фундамент информатики. Знакомство учащихся с элемен­
тами  математической логики в рамках курса информатики может 
происходить в следующих аспектах:
•  процедурно-алгоритмическом;
•  в логическом программировании;
•  схемотехническом.
К первому аспекту относится  использование логических вели­
чин и логических выражений в языках программирования проце­
дурного  типа,  а  также  в  работе  с  электронными  таблицами,  с 
базами данных.  В условных операторах, условных функциях,  реа­
лизующих  алгоритмическую  структуру  ветвления,  используются 
логические выражения.  В  запросах на поиск информации  в базах 
данных также присутствуют логические  выражения.  Использова­
ние в программах величин логического типа позволяет эффектив­
но  решать сложные логические  задачи,  «головоломки».
Впервые в школьной информатике элементы логического про­
граммирования языка Пролог были включены в учебник [19].  Со­
гласно  авторской  концепции  одной  из  главных  задач  школьной 
информатики должно  быть развитие логического  мышления уча­
щихся,  умения  рассуждать,  доказывать,  подбирать  факты,  аргу­
менты  и обосновывать предлагаемые решения.  Как известно,  па­
радигма  логического  программирования  является  альтернатив­
ной  к  процедурной  парадигме.  В  механизме  вывода  Пролога 
используется  аппарат исчисления  предикатов.
В контексте моделирования знаний элементы логического про­
граммирования присутствуют в учебнике  [9].  В первой части учеб­
ника рассказывается лишь об идее построения логической модели 
знаний.  Реализация этой идеи на Прологе раскрывается во второй 
части,  ориентированной на углубленное изучение базового курса.
Под схемотехническим  аспектом понимается знакомство с ло­
гическими  схемами  элементов  компьютера:  вентилей,  суммато­
ров,  триггера,  предназначенных  для  обработки  и  хранения  дво­
ичной информации.  При изучении данной темы следует обратить 
внимание учеников на то обстоятельство,  что 

жүктеу/скачать 32,34 Mb.

Достарыңызбен бөлісу: