Дипломдық жұмыс «Пропозициялық логика»

ҚОРЫТЫНДЫ

Дипломдық жұмыста «Пропозициялық логика» білім беру тақырыбын меңгеруде қайталау технологиялары зерттелді.

Математикалық білім берудің негізгі мақсаты – шынайы дүние құбылыстарын математикалық, демек, логикалық және саналы түрде зерттеу қабілетін дамыту. Бұл мақсатты іске асыруға жалпы білім беретін мектепте математика курсында «Логика мәлімдемелер». Сондықтан мұғалімнің бұл материалды факультативтік математика сабақтарында қолдануы құптарлық қана емес, тіпті математиканы оқытудың қажетті элементі болып табылады.

Бірінші тарауда «Пропозициялық логика» тақырыбының мазмұнына талдау жасалды. Пропозициялық логиканың негізгі ұғымдары мен операциялары, сонымен қатар логикалық есептерді шешу әдістері қарастырылады. Біріншісі «мәлімдеме» түсінігі, оның түрлері мен белгіленуі болды. Содан кейін барлық жеті логикалық операция сипатталды - терістеу, дизъюнкция, конъюнкция, импликация, эквиваленттілік, Шеффер штрихы, Пирс көрсеткі. Логикалық есептерді шешудің алгоритмдік және эвристикалық әдістерін талдадық. Біріншілері болжамдық логиканың қалыпты және мінсіз қалыпты түрлерімен ұсынылған және логикалық есептерді шешу алгоритмі сипатталған. Логикалық есептерді шешудің эвристикалық әдістері төрт әдістемеден тұрады: нақтылау, қайта құрылымдау, бөлу және модельдеу.

Дипломдық жұмыстың екінші тарауында қайталаудың келесі түрлеріне негізделген технологиялар қарастырылды:

• 
  жыл басында өткенді қайталау – жаңа оқу материалына тікелей қатысы бар тақырыптарды қайталау.
  
• 
  бұрын қарастырылғанның барлығының ағымдағы қайталануы – материалды жүйелі түрде қайталау;
  
• 
  тақырыптық қайталау – дайын тақырыпты немесе курстың бүкіл бөлімін қайталау;
  
• 
  қорытынды қайталау – курстың негізгі мәселелерін оқудың қорытынды кезеңінде жүзеге асырылатын және осы бөлімнің немесе жалпы курстың логикалық материалын меңгерумен логикалық байланыста жүзеге асырылатын қайталау.
  

Төменде өтілген материалды қайталау әдістері сипатталған. Оларға мыналар жатады:

• 
  корреляция техникасы;
  
• 
  молайтуды және қайта құруды қабылдау;
  
• 
  салыстыру әдісі;
  
• 
  спецификацияны қабылдау.
  

• 
  алгоритм құру;
  
• 
  жоспарлау;
  
• 
  түйіндеме жазу;
  
• 
  оқулықпен жұмыс.
  

Мектеп оқушыларын логикалық есептерді шығаруға үйрету үшін «Логика» оқыту бағдарламасы жасалды.