Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Автоматтар және формалды тілдер теориясы
-
Курста ақырғы автоматика, грамматика теориясының тұжырымдамалары ашылады; иерархияны нақтылайды оларды ұсынудың және танудың күрделілігіне байланысты тілдер; дағдыларды дамытады тану және дәлелдеу қабілеттерін шешу үшін ақырғы үлгілерді құру әр түрлі есептеу модельдері үшін есептердің шешілмеуі.
-
Образовательная программа 7M06103 Математикалық және компьютерлік модельдеу
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 1
-
Семестр 1