Образовательная программа «8D06101 Компьютерные науки» направлена на подготовку докторов философии (PhD) и определена теоретическими и прикладными исследованиями в областях вычислимости, формальных методов, моделирования, алгоритмов, а также организационного сопровождения инженерии на стыке компьютерных наук и иных областей знаний.
Приемная комиссия
(7172) 64-57-10
info@astanait.edu.kz
Пн-Пт 9:00 — 18:00
Формирование у обучающегося компетенций научно-исследовательской работы, научно-педагогической деятельности, планирования и реализации теоретических и экспериментальных исследований, определения научных проблем и формулировки методов их решения.
Дисциплина рассматривает основные правила и практики академического письма, включая: терминологию и стиль научного повествования, принятые в международном научном сообществе порядки изложения материала для научных статей и монографий, основные этапы опубликования статей и очерков в рейтинговых изданиях, структура научного и технического ответов, специфика их написания. Краткое содержание основных разделов: специфика написания академической работы, основные структуры научнотехнических изданий и принципы их написания, процесс работы над статьей для рейтингового журнала, практика и этикет работы с редактом международного журнала.
Дисциплина рассматривает основные парадигмы (онтологии) научных исследований в области компьютерных и смежных наук с упором на принципы генерации новых идей и знаний. На основании синтеза онтологий исследований обучающийся приобретет понимание принципов теоретических и практических исследований, рассмотрит примеры построения планов исследования и реализует подбор соответствующих инструментов. Краткое содержание основных разделов: онтологии исследований, принципы междисциплинарного исследования, планирование эмпирических и вычислительных (методом
моделирование) исследований, качественные и количественные показатели доказательство в компьютерных науках.
Дисциплина рассматривает конц ептуальные основы и примеры применения практик экстремальной разработки и Scrum метода в контексте научной работы с упором на результат, а не процесс исследований. Краткое содержание основных разделов: процессный и проектный принципы организации работы, Agile манифест и основные принципы гибкого управления, экстремальная разработка и Scrum метод, применение проектного подхода в научных исследованиях.
Педагогическая практика направлена на развитие у обучающихся опыта организации проектно-ориентированного и студентоориентированного обучения под руководством руководителя практики. В результате прохождения практики обучающийся разовьет навыки публичного выступления и уверенность при работе с большой аудиторией слушателей, выработает понимание различных подходов к организации обучения.
Исследовательская практика направлена на поиск научной литературы, её обработку, систематизацию знаний, подготовку эксперимента. В результате освоения обучающиеся применят на практике принципы взаимодействия с руководителем научной работы, критический анализ материала, синтез подхода к реализации научного исследования, в то числе аспектов валидации и интерпретации ожидаемых результатов, планирование мероприятий и работ по проекту.
Дисциплина ознакомит обучающихся с основными подходами и инструментами формализации алгоритмов, их графического представления для широкой общественности и анализа (доказательства) их свойств. Краткое содержание основных разделов: формализация алгоритма и исследование его свойств, цепи Петри, структура Крипке, абстрактные конечные автоматы и сценарии их применения.
Дисциплина направлена на ознакомление обучающихся с основными инструментами компьютерных наук, используемыми для моделирования процессов и систем, а также оценки их свойств и поведенческих характеристик.
Дисциплина ознакомит обучающихся с понятием формальной верификации свойств модели, её принципами и инструментарием. Упор будет сделан на возможность и последовательность применения данного инструмента в научных исследованиях. Краткое содержание основных разделов: сущность формальной верификации, темпоральная логика, L ТL-формулы, модель Крипке, автоматизированная верификация
Дисциплина ознакомит обучающихся с областью знаний — машинное обучение и анализ данных: основные классы алгоритмов и моделей, проблематика их применения и перспективы. Краткое содержание основных. разделов: статистические методы, эвристические алгоритмы машинного обучения, нейронные сети, глубокое обучение, обучение с подкреплением и примеры их применения.
Процесс построения статистической модели и её метрики, метод наименьших. квадратов, скорректированный метод наименьших квадратов, модель производственного стохастического граничного анализа, модель стохастического граничного анализа затрат и модель стохастической метрики расстояний.