Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Свидетельство о публикации

Автоматическая выдача свидетельства о публикации в официальном СМИ сразу после добавления материала на сайт - Бесплатно

Добавить свой материал

За каждый опубликованный материал Вы получите бесплатное свидетельство о публикации от проекта «Инфоурок»

(Свидетельство о регистрации СМИ: Эл №ФС77-60625 от 20.01.2015)

Инфоурок / Информатика / Конспекты / Логика негізі және компьютердің логикалық негізі. Логиканың негізгі түсініктері.
ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону № 313-ФЗ все педагоги должны пройти обучение навыкам оказания первой помощи.

Дистанционный курс "Оказание первой помощи детям и взрослым" от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (180 часов). Начало обучения новой группы: 28 июня.

Подать заявку на курс
  • Информатика

Логика негізі және компьютердің логикалық негізі. Логиканың негізгі түсініктері.

библиотека
материалов

Сабақтың тақырыбы: Логика негізі және компьютердің логикалық негізі. Логиканың негізгі түсініктері.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математикалық логиканың саласы пікірлер алгебрасы ретінде (оның басқаша логика алгебрасы деп атайды, ол алғаш рет 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. Логиканың негізгі түсініктері.


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

бағалау.

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



Подайте заявку сейчас на любой интересующий Вас курс переподготовки, чтобы получить диплом со скидкой 50% уже осенью 2017 года.


Выберите специальность, которую Вы хотите получить:

Обучение проходит дистанционно на сайте проекта "Инфоурок".
По итогам обучения слушателям выдаются печатные дипломы установленного образца.

ПЕРЕЙТИ В КАТАЛОГ КУРСОВ

Автор
Дата добавления 05.11.2016
Раздел Информатика
Подраздел Конспекты
Просмотров67
Номер материала ДБ-322354
Получить свидетельство о публикации
Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх