Теория - программирование
Cтраница 2
Основные области, охватываемые теорией программирования, связаны с семантикой языков программирования ( S. [16]
Понятие типа данных применяется в теории программирования как одно из средств, обеспечивающих правильность программ. В задачах программирования многообразие в воспринимается заданным на синтаксическом уровне. [17]
Существует отдельная математическая наука - теория программирования, изучающая способы составления программ для ЭВМ. [18]
Преимущество гипотезы селективной стабилизации перед теорией программирования заключается в том, что в первом случае для образования 10й синапсов требуется меньшее число генов: целые группы нейронов могут кодироваться одним геном и их рост до органа-мишени контролироваться одним общим регуляторным механизмом. [19]
В работах [10] - [12] построена теория дискретно-выпуклого программирования, в рамках которой установлено, ч го полиматроиды в выпуклом целочисленном программировании играют ту же роль, что выпуклые множества в выпуклом программировании. [20]
Сейчас успешно развивается специальный раздел вычислительной математики - теория программирования, который призван облегчить труд человека по составлению программ. В этом разделе находят широкое применение теория множеств, математическая логика, алгебра. Для составления программ используются и сами машины. [21]
Изучением подобного рода вопросов занимается одно из направлений теории программирования - теория формальных грамматик. [22]
Неприемлемость в целом как скиннеровской, так и крауде-ровской теорий программирования усвоения является следствием целей и задач обучения в буржуазной школе принцициально отличающихся от целей и задач в советской школе. [23]
 |
Страница сайта pascal. dax. ru, содержащая исходные тексты профамм на Паскале. [24] |
Данное пособие содержит как теоретические основы информатики, включая теорию программирования, так и практикум по программированию. [25]
В 1953 г. известный советский математик А. А. Ляпунов сформировал понятие оператора в теории программирования, пользуясь которым от алгоритма, описывающего некоторый процесс, удобно переходить к программе ЭВМ. [26]
Мы видим, что даже на первых шагах применения теории алгоритмов в теории программирования получаются интересные теоретически и важные с практической точки зрения результаты. [27]
Понятие дискретный преобразователь возникло на пути к применению теории автоматов в исследовании некоторых задач теории программирования и построении формализованных методов проектирования структур вычислительных машин. [28]
Однако все соглашались с тем, что это понятие является исключительно важным для развития теории программирования. [29]
Для лучшего восприятия материала в книгу включены некоторые сведения из алгебры логики, математической лингвистики и теории программирования. [30]
Страницы: 1 2 3 4