Анық емес жиындар теориясының негіздері

  • Мақсаты: Бұлыңғыр жиындар теориясын қолдану үшін Математикалық логика бойынша негізгі білімді қалыптастыру Мазмұны: Дерексіз алгебралық жүйелердегі есептеулер. Алгебралық жүйелердегі формальды теориялар мен олардың модельдерін құру әдістері. Жиындар теориясының аксиоматикасы және негізгі теоремалары. Логикалық есептеулер шеңберінде ресми қорытындылар құру. Ресми дәлелдемелер құру. Бұлыңғыр жиындар теориясын қолдана отырып, білім моделін құру. Эксперименттік зерттеулер нәтижелері бойынша алынған қорытындылардың дұрыстығын бағалау. Классикалық емес логикадағы логикалық тұжырымдарды құру принциптері.
  • Образовательная программа 6B06121 Жасанды интеллект технологиялары
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 1
Top