Cтраница 1
Теория программирования занимается изучением и разработкой методов переработки и использования информации для управления. Программирование работы любой системы управления в общем случае включает в себя: а) определение алгоритма нахождения решений, б) составление программы в коде, воспринимаемом данной системой. Нахождение решений сводится к переработке заданной входной информации в соответствующую выходную информацию ( команды управления), обеспечивающую достижение поставл. Оно осуществляется на основе нек-рого математич. [1]
Теория программирования занимается изучением и разработкой методов переработки и использования информации для управления. Программирование работы любой системы управления в общем случае включает в себя: а) определение алгоритма нахождения решений, б) составление программы в коде, воспринимаемом данной системой. Нахождение решений сводится к переработке заданной входной информации в соответствующую выходную информацию ( команды управления), обеспечивающую достижение поставл. Оно осуществляется на основе нек-рого математич. Наиболее развитыми являются математич. [2]
Теорию программирования для реальных вычислительных машин можно рассматривать как прикладной раздел современной теории алгоритмов, в котором находят свое воплощение и дальней шее развитие многие идеи из более абстрактивных ее разделов. Это далеко идущее обобщение идеи входного языка и программирующего алгоритма ( § 10) лежит в основе автоматизации программирования. [3]
Для теории программирования понятие эквивалентности алгоритмов является слишком узким. [4]
В теории программирования доказана теорема о том, что любая правильная программа ( с одним входом и одним выходом, без зацикливания и недостижимых операторов) может быть записана с использованием только указанных выше логических структур. [5]
В теории программирования фрейм называют абстрактным типом данных. [6]
Языком в теории программирования называют совокупность символов ( алфавит языка) и правила, определяющие способы объединения этих символов в языковые конструкции для записи осмысленных текстов. Простейшим языком программирования является язык команд конкретной ЭВМ, или машинный язык. [7]
В основе теории программирования и программно-управляемых машин лежат теория формальных языков, элементы теории чисел, математическая логика, теория алгоритмов) и выходящая за рамки этих дисциплин, хотя и связанная с ними, теория сложных систем. [8]
В рамках теории программирования исследуются вопросы математической теории программирования, операционные системы, системы коллективного пользования, алгоритмические языки, системы программирования и математического обеспечения и архитектура вычислительных систем. Эти вопросы имеют отношение лишь к одной группе проблем алгоритмизации СУ - проблемам программирования, хотя особенности программирования сложных задач управления и здесь исследуются еще недостаточно. [9]
В основе теории программирования и программно-управляемых машин лежат теория формальных языков, элементы теории чисел, математическая логика, теория алгоритмов) и выходящая за рамки этих дисциплин, хотя и связанная с ними, теория сложных систем. [10]
Основной задачей теории программирования можно считать облегчение взаимодействия человека с машиной, хотя этот взгляд претерпевает радикальные изменения с развитием вычислительной техники. [11]
Программу 7 в теории программирования называют интерпретатором. [12]
В работах по теории программирования делается акцент на то, что получить корректную программу легче и целесообразнее через стадию проектирования, чем через исчерпывающее тестирование. При этом утверждается, что тестирование может использоваться для показа существования ошибок, а не их отсутствия. [13]
Показано, что теория программирования т-ры в основном подобна теории ступенчатого элюирования. Выведены ур-ния для предсказания формы кривых элюирования и времени удерживания. [14]
Во многих разделах теории программирования возникает задача построения транзитивного замыкания данного бинарного отношения; В. В. Мартынюк [42] предлагает способ решения, требующий не больше времени, чем возведение в квадрат матрицы смежности графа данного бинарного отношения. [15]