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