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

  • Пәннің мақсаты білім алушыларды математикалық теорияларды құрудың логикалық құралдарымен, математикалық логика негіздерімен, болжамдық және предикаттық есептеулермен, интерпретациялар мен модельдер ұғымдарымен, болжамдық логикамен, алгоритмдер теориясының элементтерімен және т.б. Бұл курстың нәтижесінде білім алушылардың абстрактілі ойлауы, мәтінді формальды логика тіліне және формуланы сөздік тілге аудару дағдылары қалыптасады.
  • Образовательная программа 6B01503 Математика
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
Top