Модельдердің теориясы

  • Пәнді игерудің мақсаты: Рекурсия теориясы, жиынтықтар теориясы, Алгебралық жүйелер теориясы және олардың сыныптары бойынша білімдерін кеңейту. Курс толықтық және дәйектілік теоремасын, толық және толық емес теорияны, модельдік толық теорияны, кіші модель және элементарлық кіші модель ұғымдарын, тип ұғымы мен типін іске асыру теоремасын, санау теориясындағы есеп түрін төмендету теоремасын қарастырады.
  • Образовательная программа 7M06105 Кибернетика  және жасанды интеллект
  • Несиелер 5
  • Оқу жылы 1
Top