05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Формула специальности:

"Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей" – специальность, занимающаяся развитием математической теории программирования, созданием, сопровождением и эксплуатацией программных средств различного назначения, отличающаяся тем, что она включает теоретическое исследование процессов проектирования и анализа алгоритмов и программ, языков программирования, операционных систем, баз данных и знаний, человеко-машинных интерфейсов, программных средств, расширяющих интеллектуальные возможности компьютеров и компьютерных систем, разработку и исследование сложных программных систем, технологий и инструментальных средств, предназначенных для автоматизации процессов их проектирования, оценивания качества, стандартизации и сопровождения. Научное, теоретическое и народнохозяйственное значение решения проблем данной специальности состоит в повышении эффективности процессов обработки данных и знаний в вычислительных машинах, комплексах и компьютерных сетях и в сокращении сроков их создания.

Область исследования:

1.Модели и методы проектирования и анализа алгоритмов и программ, их эквивалентных преобразований и верификации.

Примечание:
Специальность не включает исследования в областях:

• модели управляющих систем математической кибернетики;
• общие закономерности и алгоритмическое обеспечение процессов управления, диагностирования, распознавания образов, моделирования, обработки информации и системного анализа;
• прикладные задачи для различных отраслей науки или для реализации целевых функций в автоматизированных системах;
• сетевые протоколы;
• параллельные алгоритмы решения задач вычислительной математики;
• программные комплексы компьютерной реализации численных методов и математических моделей на их основе;
• методы и алгоритмы для задач кодирования и защиты информации ;

Эти исследования включены в специальности: 01.01.09, 05.13.01, 05.13.06, 05.13.12, 05.13.13, 05.13.15, 05.13.17, 05.13.18, 05.13.19.

физико-математические науки (при получении результатов в виде новых математических методов и доказанных свойств языков или систем программирования, квалифицируемых как вклад в развитие математической теории программирования и систем обработки данных и знаний. При этом формализованные описания новых языков или систем программирования на их основе к таким результатам не относятся.)

Установлено 8 апреля 2004 г.