Программалаудағы математикалық логика. Қазіргі жоғары
деңгейдегі процедуралық программалау тілдерінің көбісінде негізгі
логикалық операциялар жүзеге асырған мəліметтердің логикалық
типтері қолданылады. Бұл əдістерді қолдану күрделі логикалық
есептерді ЭЕМ-да шешуге, жасанды интеллекттің программалау
жүйесінде адамның ойлау логикасын модельдеуге мүмкіндік береді.
Математикалық мағынадағы есептерді шешу программасын-
да логикалық өрнектер көбінесе теңсіздіктер жүйесін сипатта-
уда қолданылады. Мұндай типтегі есептерді шешуде оқушылар
ең алдымен математикалық білімін көрсету керек, содан кейін
математикалық қатынастарды логика тіліне аударып жəне есептің
шешімдерін программалау тілінде көрсете алуы тиіс. Есептеуіш
программалардағы логикалық өрнектер тармақталған жəне циклдік
операторлардың шартты бөлімінде қолданылады.
Оқыту нəтижесінде оқушылар:
– логикалық шаманың, логикалық өрнектің не екенін, логикалық
310
операциялар калай орындалатынын, логикалық өрнектерді есептеу
жəне жазу ережелерін білуі керек;
– пікірлердің (логикалық өрнектердің) ақиқаттығын анықтауды,
ЖƏНЕ, НЕМЕСЕ, ЕМЕС негізгі логикалық амалдарды қолданып
логикалық өрнектерді жазуды үйренуі керек;
– логикалық ойлаудың дамуы үшін алынған білім жəне
Достарыңызбен бөлісу: |