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

  • Курстың мақсаты математикалық логиканың негізгі ұғымдары және әдістерімен таныстыру, оларды практикалық информатикада, оның ішінде жасанды интеллект жүйелерінде және есептеу техникасында қолдануға бағдарлау; математика негіздерінің мәселелері және оларды шешудегі математикалық логиканың рөлі туралы идеяларды қалыптастыру; математикалық пайымдау логикасы заңдарының әмбебап сипатын түсінуге дағдыландыру; абстрактілі және логикалық ойлау болып табылады.
  • Образовательная программа 6B05402 Механика
  • Несиелер 4
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 2
Top