RU

Математикалық логика

  • Мақсаты: студенттердің логикалық есептеулер мен математикалық объекттердің алгоритмдік есептелетіні туралы түсініктерін қалыптастыру. Айтырылымдар логикасын қарастыру: айтылымдар, оларға қолданылатын амалдар; тавтологиялар; логика заңдары. Дизъюнктивті және конъюнктивті қалыпты тұлғаларды қарастыру. Мәтіндік «логикалық» есептерді шешуге айтылым логикасын қолдану. Айтылым логикасының аксиоматикалық құрылысын қарастыру; қорытынды жасау ережелері. Предикаттар логикасының аксиоматикалық құрылысын оқу. Ауызша және практикалық әдістерді, өзіндік жұмыс әдістерін қолдану.
  • Образовательная программа 6B01506 Математика (көптілді білім беру)
  • ВУЗ Шоқан Уәлиханов атындағы Көкшетау университетi
  • Несиелер 6
  • Селективті тәртіп
  • Оқу жылы 4
  • Семестр 1
Top