Урок по информатике на тему 'Логика және логикалық операциялар. Ақиқат кестелері' 8 класс

Пән аты: Информатика

Сыныбы: 8 (ІІ топ)

Сабақтың тақырыбы: Логика және логикалық операциялар. Ақиқат кестелері.

Сабақтың мақсаты:

Білімділігі: Компьютердің логикалық негіздері, логикалық пікірлердің негізгі түсініктері логикалық операциялары туралы білімдерін қалыптастыру.

Тәрбиелігі: Жауапкершілікке баулу, дәлдікке үйрету.

Дамытушылығы: Оқушының әрбір сабаққа ынтасы мен қабілетін біріктіріп, пәнге деген қызығушылығын арттыру.

Сабақтың түрі: аралас сабақ

Сабақтың өту әдісі: сөздік, көрнекі, практикалық

Сабақтың көрнекілігі: компьютерлер, топтамалар, тест сұрақтары т.б.б.

Оқыту формалары: жеке, топтық және ұжымдық.

Сабақтың өту барысы:

І. Ұйымдастыру кезеңі.

ІІ. Үйге берілген тапсырманы тексеру.

Логиканың негізгі түсініктері.

ЭЕМ қатысуымен шешілетін есептердің ішінде, әдетте логикалық деп аталатын есептер де аз емес. Логика- бұл адам ойлауының түрлері мен заңдары туралы, оның ішінде дәлелдеуге болатын пікірлердің заңдылықтары туралы ғылым.

Ғылыми пән ретінде логиканың формальды, математикалық ықтималдықты логика және т.б. түрлері қалыптасқан.

Формальды логика сөйлеу тілімен білдіретін біздің кәдімгі мазмұнды пікірімізді талдаумен байланысты.

Ықтималдық логика - кездейсоқ параметрлермен жасалатын сынақтың бірнеше серияларын қолдануға негізделген.

Математикалық логика формальды логиканың бөлігі болып табылады және оның дәлме дәл анықталған обьектілері мен пікірлері бар, олардың ақиқаттығын немесе жалғандығын бір мәнді шешуге болатын ойларды ғана зерттейді.

Математикалық логиканың саласы пікірлер алгебрасы ретінде (оның басқаша логика алгебрасы деп атайды,

ол алғаш рет 19 ғасырдың ортасында ағылшын математигі Джордж Бульдің еңбектерінде пайда болды. Бұл - дәстүрлі логикалық есептерді алгебралық әдістермен шешуге талаптанудың нәтижесі), информатикада жақсы меңгерілген.

Логика алгебрасының математикалық аппараты компьютердің аппараттық құралдарының жұмысын сипаттауға өте қолайлы, өйткені компьютердегі екілік санау жүйесі болып табылады, өздерін білесіңдер, онда екі цифр: 0 мен 1 қолданылады, ал логикалық айнымалылардың мәндері де 2: 0 және 1.

Пікір дегеніміз - жалған немесе ақиқат болуы мүмкін қандай да бір пайымдау. Мысалы,

«Қара -ақ», «2*2=4» деген ақиқат, ал «тау тегіс », «2*2=5» деген -жалған пікірлер.

Егер пікір айтылған ой обьектілерінің кез келгені үшін рас болса, онда жалпы пікір тепе тең ақиқат деп аталады. Мысалы, «иттің төрт аяғы бар» пікірі кез келген ит үшін рас.

Күрделі жағдайларда сұрақтардың жауабы ЖӘНЕ, НЕМЕСЕ, ЕМЕС логикалық жалғаулықтарын пайдаланып, құрамды пікірелер арқылы беріледі.

Логикалық жалғаулықтардың көмегімен басқа пікірлерден құрастырылған пікірлерді құрамды деп атайды. Құрамды емес пікірлерді қарапайым немесе элементар деп атайды.

Құрамды пікірдегі ЖӘНЕ жалғаулығы әрқашан құраушы пікірлердің бәрін ақиқат деп ұйғарады.

Барлық компьютерлік бағдарламада және математикалық пайымдауда немесе жалғаулығы тек біріктіруші ролде түсініледі. Мысалы: х=0 немесе у=0 пайымдауындағы немесе жалғаулығы не у=0 не х=0, у=0 және х=0 дегенді білдіреді.

ЕМЕС жалғаулығы теріске шығаруды тұжырымдау үшін қолданылады.

Логикалық амалдар.

Логикалық көбейту (коньюнкция). Екі немесе одан көп пікірлерді «және» жалғаулығы көмегімен біріктіру амалы логикалық көбейту немесе коньюнкция деп аталады.

Коньюнкция:

-табиғи тілде «және» жалғаулығына сәйкес келеді.

-пікірлер алгебрасында ^ немесе & белгілернің бірімен таңбаланады.

Коньюнкция - ол әрбір қарапайым екі пікірге, пікірлердің екеуі де ақиқат болғанда ғана ақиқат мән қабылдайтын күрделі пікірді сәйкес қоятын логикалық амал.

Логикалық қосу (дизьюнкция). Екі немесе одан көп пікірлерді «немесе» жалғаулығы көмегімен біріктіру амалы логикалық қосу немесе дизьюнкция деп аталады.

Дизьюнкция:

-табиғи тілде «немесе» жалғаулығына сәйкес келеді.

-пікірлер алгебрасында ٧ белгісімен таңбаланады.

Дизьюнкция - ол әрбір қарапайым екі пікірге, пікірлердің екеуі де жалған болғанда ғана жалған мән қабылдайтын, пікірлердің ең болмағанда біреуі ақиқат болғандаа ақиқат мән қабылдайтын күрделі пікірді сәйкес қоятын логикалық амал.

Логикалық теріске шығару (инверсия) . «Емес» жалғауының көмегімен пікірді теріске шығару амалы логикалық теріске шығару немесе инверсия деп аталады.

Инверсия:

-табиғи тілдегі «дұрыс емес», «теріске шығару» сөздеріне және «емес» жалғауына сәйкес келеді.

-пікіпрлер алгебрасында белгісімен таңбаланады.

Теріске шығару - ол әрбір қарапайым пікірге, негізгі пікірдің жалған екенін қорытындылайтын күрделі пікірді сәйкес қоятын логикалық амал.

Жаңа сабақты бекіту сұрақтары:

1.Пікір дегеніміз не?

2. Қандай пікірлер жалпы деп аталады? Жалпы және жеке пікірлерге мысал келтіріңдер?

3. ЖӘНЕ жалғаулығына мысал келтіріңдер?

4.НЕМЕСЕ жалғаулығымен бөлуші рөлде, біріктіруші рөлде мысал келтіріңдер?

5. Пікірлер алгебрасы нені зерттейді ?

6. Формалды және табиғи тілде берілетін пікірлерге мысал келтіріңіз?

Үйге тапсырма: Логика және логикалық операциялар. Ақиқат кестелері.

Сабақты қорытындылау: Жаңа материалды пысықтау, оқушылардың меңгерген білімдерін талдау, бағалау.

Оқушыларды бағалау.