Логика негізгі т?сініктері.

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

Класы: 8«А», 8«Б», 8 «В»

Саба?ты? та?ырыбы: 3-тарау. Логика негізі ж?не компьютерді? логикалы? негізі.

§3.1. Логиканы? негізгі т?сініктері.

Саба?ты? ма?саты:

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

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

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

Дамытушылы?ы: О?ушыны? ?рбір саба??а ынтасы мен ?абілетін біріктіріп,

п?нге деген ?ызы?ушылы?ын арттыру.

Саба?ты? т?рі: аралас саба?

Саба?ты? ?ту ?дісі: с?здік, к?рнекі, практикалы?

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

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

Саба?ты? ?ту барысы:

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

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

(Практикум ж?мыстарын тексеру).

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

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

?ылыми п?н ретінде логиканы? формальды, математикалы? ы?тималды?ты логика ж?не т.б. т?рлері ?алыптас?ан.

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

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

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

Математикалы? логиканы? саласы пікірлер алгебрасы ретінде (оны? бас?аша логика алгебрасы деп атайды, ол ал?аш рет 19 ?асырды? ортасында а?ылшын математигі Джордж Бульді? е?бектерінде пайда болды. Б?л - д?ст?рлі логикалы? есептерді алгебралы? ?дістермен шешуге талаптануды? н?тижесі), информатикада жа?сы ме?герілген.

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

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

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

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

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

Логикалы? жал?аулы?тарды? к?мегімен бас?а пікірлерден ??растырыл?ан пікірлерді ??рамды деп атайды. ??рамды емес пікірлерді ?арапайым немесе элементар деп атайды.

??рамды пікірдегі Ж?НЕ жал?аулы?ы ?р?ашан ??раушы пікірлерді? б?рін а?и?ат деп ?й?арады.

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

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

Жа?а саба?ты бекіту с?ра?тары:

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

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

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

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

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

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

?йге тапсырма: §3.1. Логиканы? негізгі т?сініктері.

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

ба?алау.

О?ушыларды ба?алау.