Алгебра, геометрия, логиканың фундаментальды сұрақтары

  • Қазіргі алгебра және абстрактілі кеңістіктер: бір анықтайтын амалы бар модельдер алгебрасы – топ; екі анықтайтын амалы бар модельдер алгебрасы – сақина мен өріс. Дифференциалдық геометрия: евклидтік жазықтықтағы қисықтар, үшөлшемді евклидтік кеңістіктегі қисықтар, үшөлшемді евклидтік кеңістіктегі дене беттері, қисықтығы бар кеңістіктер. Математикалық логиканың Математикалық логиканың фундамен-талды сұрақтары: өрнектер мен предикаттарды есептеу. Есептерді шешу үшін математикалық бағдарламалардың интеграцияланған пакеттерін қолдану, проблемалық жағдай.
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top