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


Приложения математической логики  в базовом курсе



Pdf көрінісі
бет157/437
Дата23.01.2022
өлшемі32,34 Mb.
#24228
1   ...   153   154   155   156   157   158   159   160   ...   437
Байланысты:
lapchik mp i dr metodika prepodavaniia informatiki

Приложения математической логики  в базовом курсе
Математическая логика в базах данных.  При изучении базового 
курса  информатики  ученики  впервые  встречаются  с  элементами 
математической логики  в теме  «Базы данных»  (БД).  В  реляцион­
ных БД логическими величинами являются поля логического типа. 
Логический тип  используется  наряду  с другими  типами  полей,  и 
ученики должны  научиться  выделять его.
Первое понятие о логической величине можно дать как ответ на 
альтернативный  вопрос.  Например:  «Имеется  ли  данная  книга  в 
библиотеке?»  или  «Поступил  ли  абитуриент  в  университет»,  или 
«На  улице  идет дождь?»  и  т. п.  Ответами  на  такие  вопросы  могут 
быть только «да» или «нет». Синонимами являются «истина», «ложь»; 
«true»,  «false».  Если  поле  таблицы  будет  принимать  только  такие 
значения,  то  ему назначается логический  тип.
Например,  реляционная  база  данных  ФАКУЛЬТАТИВЫ  со­
держит сведения  о  посещении учениками  трех  факультативов  по 
геологии, цветоводству и танцам.  На реляционном языке ее струк­
тура  описывается  так:
ФАКУЛЬТАТИВЫ  (УЧЕНИК.  ГЕОЛОГИЯ,
ЦВЕТОВОДСТВО,  ТАНЦЫ)
Поля  ГЕОЛОГИЯ,  ЦВЕТОВОДСТВО  и  ТАНЦЫ  будут  иметь 
логический тип.  Значение  ИСТИНА для  каждого поля  обозначает, 
что ученик посещает данный факультатив, а ЛОЖЬ — не посещает.
177


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


Достарыңызбен бөлісу:
1   ...   153   154   155   156   157   158   159   160   ...   437




©emirsaba.org 2024
әкімшілігінің қараңыз

    Басты бет