307
Логикалық шамалар – АҚИҚАТ, ЖАЛҒАН (true, false) сөздерін
білдіретін ұғымдар.
Логикалық өрнектер – күрделі немесе қарапайым пікірлер.
Күрделі пікірлерге логикалық амалдар қолданылады. Формальданған
түрде жазылған (жақшаларды, операция белгілерін, айнымалыларды,
тұрақтыларды қолданып) логикалық
өрнектерді логикалық
формулалар деп атайды.
Логикалық амалдар – математикалық логикада бес негізгі
логикалық операциялары анықталған: конъюнкция (логикалық
көбейту), дизъюнкция (логикалық қосу), логикалық терiске шығару
(инверсия), импликация, эквиваленттілік. Бұлардың алғашқы үшеуi
амалдардың толық жүйесiн құрайды,
қалған амалдар солардың
салдары арқылы бейнелене (жүйелене) алады. Əдетте информатикада
осы үш амал қолданылады.
Оқушылар логикалық амалдарды орындау ережелерін, логикалық
өрнектердің ақиқаттық кестесін құруды білуі керек.
Мəліметтер қорындағы математикалық логика.
Оқушылар
информатиканың негiзгi курсын оқуда «Мəліметтер қоры»
тақырыбында математикалық логиканың элементтерiмен бірінші
рет кездеседi. Реляциялық МҚ-да
логикалық шамалар логикалық
типтегі өрiстер болып табылады. Логикалық типтегі өрістер басқа
типтегі өрiстермен қатар қолданылады жəне
оқушылар оларды
ажырата білуді үйренуi керек.
1-мысал. ФАКУЛЬТАТИВТЕР реляциялық мəліметтер қорында
геология, гүл өсіруші, би факультативтері
бойынша оқушылардың
қатысуы туралы мəліметтер бар. Оның құрылымы реляциялық тілде
былай көрсетіледі:
Достарыңызбен бөлісу: 
