В ы с ш е е о б р а з о в а н и е м. П. Лапчик, И. Г. Семакин, Е. К. Хеннер
жүктеу/скачать 32,34 Mb. Pdf көрінісі
|
| ло
гическое выражение — это некоторое высказывание по поводу зна чений полей базы данных; это высказывание по отношению к разным записям может быть истинным или ложным. Логические выражения разделяются на простые и сложные. В простых выражениях всегда используется лишь одно поле табли цы, и не применяются логические операции. В сложных логичес ких выражениях используются логические операции. Простое ло гическое выражение представляет собой либо имя поля логичес кого типа, либо отношение (в математике говорят «неравенство»). Отношения для числовых величин сохраняют смысл математи ческих неравенств; при вычислении отношений для символьных величин учитывается лексикографический порядок; даты сравни ваются в порядке их календарной последовательности. Основная проблема — научить учеников формальному пред ставлению условий поиска в виде логических выражений. На пример, от фразы «найти все книги, лежащие выше пятой пол ки» нужно перейти к логическому выражению: ПОЛКА > 5; или условие «выбрать всех неуспевающих по физике» представить в виде: ФИЗИКА < 3; или «выбрать все дни, когда шел дождь»: ОСАДКИ = «дождь». Особое внимание надо обратить на использование полей логи ческого типа в условиях поиска. Обычно к ним не применяются отношения. Логическое поле само несет логическое значение: «ис тина» или «ложь». Например, условие «выбрать всех учеников, по сещающих танцы» представится одним именем логического поля: ТАНЦЫ. Сложные логические выражения содержат в себе логические операции. Рассматриваются три основные операции математичес кой логики: конъюнкция (И), дизъюнкция (ИЛИ), отрицание (НЕ). Обычно при объяснении этого вопроса учитель отталкивается от семантического смысла высказываний на русском языке, со держащих союзы И, ИЛИ, частицу НЕ. Например, высказыва ние: «Сегодня будет контрольная по алгебре И по физике» спра ведливо, если состоятся обе контрольные и ложно, если хотя бы одна не состоится. Другое высказывание: «Сегодня будет конт рольная по алгебре ИЛИ по физике» будет истинным, если со стоится хотя бы одна контрольная работа. И, наконец, высказы вание: «Сегодня НЕ будет контрольной» истинно, если конт рольная не состоится, т. е. если высказывание о том, что сегодня будет контрольная, оказывается ложным. Из подобных примеров учитель делает выводы о правилах выполнения логических опера ций: если жүктеу/скачать 32,34 Mb. Достарыңызбен бөлісу:
|