RU

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

  • Курс аясында докторанттар логикалық теңдеулерді зерттеу мен шешудің негізгі әдістерін, кванторлармен және ақиқат кестелерімен жұмыс істеу кезінде бірінші ретті предикат логикасы тілінің формулаларының қасиеттерін, дәлелдеу теориясының элементтерін, предикат логикасы формулаларын зерттеу әдістерін және формулалардың шығарылуын, модель теориясының негізгі ұғымдарын: теориялардың шешімділігі мен толықтығы мәселелерін, шешілетін теориялардың мысалдарын, осы теориядағы зерттеу әдістерін зерттейді Алгоритмдер теориясының негізгі түсініктері, соның ішінде алгоритмдік шешілмейтін мәселелердің мысалдары.
  • Образовательная программа 8D06103 Математикалық және компьютерлік модельдеу
  • ВУЗ Қазақстан-Британ техникалық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top