RU

Математикалық логика және жасанды интелект

  • Бұл курста формальды теория және формулаларды шығару қасиеттері туралы түсініктер қарастырылады. Курс Қазіргі заманғы математика тілінің әдіснамалық негіздерін меңгеруге, формальды аксиоматикалық теориялар арқылы математикалық білім жүйесін құрудың негізгі идеяларын меңгеруге мүмкіндік беретін негізгі ережелерді, әдістер мен нәтижелерді дәйекті баяндау, алгоритмнің нақты математикалық түсінігін қалыптастыру, басқа математикалық пәндерді оқу кезінде математикалық логиканың идеялары мен әдістерін қолдану.
  • Образовательная программа 7M01501 Математика (1.5)
  • ВУЗ Қазақ ұлттық қыздар педагогикалық университеті
  • Несиелер 6
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top