discipline Математикалық логика в Сәрсен Аманжолов атындағы Шығыс Қазақстан университеті

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

Образовательная программа 6B01503 Математика

ВУЗ Сәрсен Аманжолов атындағы Шығыс Қазақстан университеті

Несиелер 5

Селективті тәртіп

Оқу жылы 1