Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Функционалдық және логикалық бағдарламалау
-
Функционалды және логикалық бағдарламалау теоремаларды автоматты түрде дәлелдеуге негізделген бағдарламалау парадигмасы, сонымен қатар берілген фактілер мен шығару ережелері негізінде ақпаратты логикалық шығару принциптерін зерттейтін Дискретті математик
-
Образовательная программа 6B06112 Есептеу техникасы және бағдарламалық қамтамасыз ету
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 3
-
Семестр 2