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

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

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

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

логикалық операциялары туралы білімдерін қалыптастыру.

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

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

пәнге деген қызығушылығын арттыру.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Үйге тапсырма:   Логиканың негізгі түсініктері.

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

бағалау.