Ҳисоблаш машиналари, мажмуалари ва компъютер тармоқларининг математик ва дастурий таъминоти

05.01.04 – Ҳисоблаш машиналари, мажмуалари ва компъютер тармоқларининг математик ва дастурий таъминоти
Мутахассислиги: “Ҳисоблаш машиналари, мажмуалари ва компъютер тармоқларининг математик ва дастурий таъминоти”нинг математик дастурларни назарий асосларини ўрганади; лойиҳалаш жараёнлари, алгоритм ва дастурларни таҳлил қилиш, дастурлаш тиллари, операцион тизимлар, маълумотлар базаси ва билимлар базаси; дастурий таъминот, автоматлаштириш жараёнини лойиҳалаш учун компьютер ва компьютер тизимларининг интеллектуал имкониятларини кенгайтириш; ҳисоблаш машиналари, мажмуалари ва компъютер тармоқларида маълумотларни қайта узатиш ва қайта ишлаш жараёнларининг ишончлилиги ва самарадорлигини ошириш мақсадида дастурий воситалар.
Тадқиқот йўналишлари:
дастур ва дастурий таъминотларни лойиҳалаш ва таҳлил қилиш учун моделлар, усуллар ва алгоритмлар, уларнинг эквивалент трансформациялари, текшириш ва тестлаш;
дастурлаш тиллари ва дастурий тизимлар, дастурий семантика;
дастурлар ва дастурий тизимларнинг ўзаро алоқасини таъминлаш учун моделлар, усуллар, алгоритмлар,тиллар ва дастурий воситалар;
маълумотлар ва билимлар базасини бошқариш тизимлари;
белгили ҳисоблаш дастурий тизимлари;
операцион тизимлар;
инсон ва компьютер ўртасидаги интерфейс; компьютек графикаси моделлари, методлари, алгоритмлари ва дастурий воситалари, визуаллашув, тасвирларни қайта ишлаш, виртуал реаллик тизимлари, мультимедиали мулоқот;
параллел ва тақсимланган маълумотларни қайта ишлаш учун дастур ва дастурий мажмуа яратиш моделлари ва методлари, параллел дастурлаш тиллари ва воситалари;
глобал тақсимланган маълумотларни қайта ишлашни ташкил қилиш учун моделлар, методлар, алгоритмлар ва дастурий инфраструктура


Шифр специальности: 05.01.04 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
Формула специальности: «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» исследует теоретические основы математического программирования; процессы проектирования, анализа алгоритмов и программных средств, языков программирования, операционных систем, баз данных и знаний; программные средства, расширяющие интеллектуальные возможности компьютеров и компьютерных систем для автоматизации процессов проектирования; программные средства различного назначения в повышении эффективности и надежности процессов обработки и передачи данных в вычислительных машинах, комплексах и компьютерных сетях.
Области исследований:
модели, методы и алгоритмы проектирования и анализа программ и программных систем, их эквивалентных преобразований, верификации и тестирования;
языки программирования и системы программирования, семантика программ;
модели, методы, алгоритмы, языки и программные инструменты для организации взаимодействия программ и программных систем;
системы управления базами данных и знаний;
программные системы символьных вычислений;
операционные системы;
человеко-машинные интерфейсы; модели, методы, алгоритмы и программные средства машинной графики, визуализации, обработки изображений, систем виртуальной реальности, мультимедийного общения;
модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования;
модели, методы, алгоритмы и программная инфраструктура для организации глобально распределенной обработки данных;
оценка качества, стандартизация и сопровождение программных систем.