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

  • Математикалық логиканың негізгі ұғымдары мен принциптері, соның ішінде формальды жүйелер, логикалық операциялар, пайымдау және дәлелдеу. Алгоритмдік күрделілік, ресми тілдер және автоматтар сияқты Алгоритмдер теориясының негізгі тұжырымдамалары. Тиімді алгоритмдерді әзірлеу және талдау, логикалық әдістерді қолдану және жасанды интеллект пен блокчейн саласындағы ресми модельдер.
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 4
  • Семестр 1
Top