Оқулық Алматы, 014 Қазақстан Республикасы Білім жəне ғылым министрлігінің «Оқулық»
Мəліметтер қорындағы математикалық логика
жүктеу/скачать 4,76 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- ФАКУЛЬТАТИВТЕР
| Мəліметтер қорындағы математикалық логика. Оқушылар
информатиканың негiзгi курсын оқуда «Мəліметтер қоры» тақырыбында математикалық логиканың элементтерiмен бірінші рет кездеседi. Реляциялық МҚ-да логикалық шамалар логикалық типтегі өрiстер болып табылады. Логикалық типтегі өрістер басқа типтегі өрiстермен қатар қолданылады жəне оқушылар оларды ажырата білуді үйренуi керек. 1-мысал. ФАКУЛЬТАТИВТЕР реляциялық мəліметтер қорында геология, гүл өсіруші, би факультативтері бойынша оқушылардың қатысуы туралы мəліметтер бар. Оның құрылымы реляциялық тілде былай көрсетіледі:
ГҮЛ ӨСІРУШІ, БИ). ГЕОЛОГИЯ, ГҮЛ ӨСІРУШІ жəне БИ өрістері логикалық типте болады. Əрбiр өрiс үшiн АҚИҚАТ белгісі оқушылардың осы факультативтерге қатысқанын білдірсе, ал ЖАЛҒАН белгісі қатыспағанын білдіреді. Логикалық өрнектер мəліметтер қорының сұраныстарында ақпаратты іздеу шарты ретінде қолданылады. Мəліметтер қорында қолданылатын логикалық өрнектердің анықтамасын былай
308 басқаша айтуымызға болады: логикалық өрнектер – бұл мəліметтер қорындағы өрістердің маңызы туралы пікір, бұл əр түрлі жазбаларға қатысты жалған немесе ақиқат болатын пікір. Негізгі мəселе – оқушыларды іздеу шарттарын логикалық өрнектер түрінде формальды ұсынуға үйрету. Мысалы, «бесінші сөреден жоғары жатқан барлық кітапты табу» сөйлемінен СӨРЕ>5 логикалық өрнегіне өту керек немесе «физика бойынша барлық үлгермей қалғандарды таңдау» шартын ФИЗИКА<3 түрінде көрсету немесе «жаңбыр жауған барлық күнді таңдау» сөйлемін ЖАУЫН- ШАШЫН=жаңбыр түрінде ұсыну. Күрделі
шарттарды іріктеулерде логикалық амалдар
қолданылады. Шарттардың дұрыс жазылуы үшін амалдардың үлкендігін ескеріп, жақшаларды дұрыс қойып шығу керек. 2-мысал. КІТАПХАНА мəліметтер қорында жеке кітапханадағы кітаптар туралы мəліметтер қаралады. Оның құрылымы келесідей болады:
2-ші сөреден 5-шi сөреге дейін орналасқан М. Əуезов пен М. Мағауиннің барлық кiтаптарын таңдау керек. Логикалық өрнек осы- лай жазылады: (АВТОР = «М.Əуезов» немесе АВТОР = «М.Мағауин») жəне СӨРЕ>=2 жəне СӨРЕ<=5. жүктеу/скачать 4,76 Mb. Достарыңызбен бөлісу:
|