Сабақ тақырыбы: Компьютердің логикалық негіздері Модуль/пән атауы Информатика
жүктеу/скачать 66.07 Kb.
|
- Бұл бет үшін навигация:
- Пікір дегеніміз
- «Егер жаңбыр жауған болса, онда көше су болып жатыр»
| Формальды логика сөйлеу тілімен білдіретін біздің кәдімгі мазмұнды пікірімізді талдаумен байланысты.
Математикалық логика формальды логиканың бөлігі болып табылады және оның дәлме-дәл анықталған обьектілері мен пікірлері бар, олардың ақиқаттығын немесе жалғандығын бір мәнді шешуге болатын ойларды ғана зерттейді. Математикалық логиканың саласы пікірлер алгебрасы ретінде (оның басқаша логика алгебрасы деп атайды. Қазіргі кезде пікірлер алгебрасының негізгі операциялары енбейтін бірде-бір программалау тілі жоқ. Логикалық есептерде тек сандар ғана емес, күтпеген, тым шиеленісті пікірлер де бастапқы деректер болып табылады. Пікір дегеніміз – жалған немесе ақиқат болуы мүмкін қандай да бір пайымдау. Мысалы, «Қар - ақ», «2*2=4» деген ақиқат, ал «Тау тегіс», «2*2=5» деген – жалған пікірлер. Пікірлер: жалпы және жеке болып бөлінеді. Жеке пікір нақты фактілерді көрсетеді, мысалы, «3+3<7», «Бүгін күн шуақты болды». Жалпы пікірлер обьектілер немесе құбылыстар тобының қасиеттерін сипаттайды, мысалы, «Егер жаңбыр жауған болса, онда көше су болып жатыр» т.с.с. Тәжірибелік жұмыс 1-тапсырма «Ойыңды тұжырымда» әдісі.
жүктеу/скачать 66.07 Kb. Достарыңызбен бөлісу:
|