Теория - программирование
Cтраница 3
Книга предназначена для специалистов по вычислительной технике, математическому обеспечению ЭЦВМ и студентов вузов, занимающихся теорией программирования. [31]
 |
Диаграмма проходов по алгоритму распознавания. [32] |
Задача семантического анализа свойств моделей вычислений, например, с целью обнаружения блокировок, относится к числу фундаментальных проблем теории программирования. Результаты анализа могут быть использованы для формальной верификации, оптимизации и специализации программ. Во многих случаях задача анализа моделей программ невысокого уровня абстракции оказывается алгоритмически неразрешимой. [33]
В настоящее время Детально разработаны методы решения задач лишь нулевой степени трудности, хотя имеется большая потребность в дальнейшем развитии теории критериального программирования с целью решения задач положительной степени трудности. [34]
В качестве материальной основы работы таких программ исследуются списковая структура организации памяти и некоторые другие проблемы, тесно связанные с теорией программирования. [35]
Объединение численных методов и основ программирования на ФОРТРАНе делает эту книгу полезной для широкого круга читателей, как для студентов и аспирантов втузов, так и для инженеров и специалистов по теории программирования. [36]
Это означает, что в кибернетику по Винеру входит значительная часть теории устойчивости для систем дифференциальных уравнений, классическая теория регулирования, теория случайных процессов с их экстраполированием и фильтрацией, теория информации, теория игр с применениями к анализу операций, технические аспекты алгебры логики, теория программирования и еще многое другое. Легко понять, что как математическая дисциплина кибернетика в понимании Винера лишена единства, и трудно себе представить продуктивную работу по подготовке специалиста, скажем аспиранта, по кибернетике в этом смысле. Ляпунову удастся сформулировать отчетливо программу развития более узкой и обладающей единством методов дисциплины, то, по моему мнению, ее лучше было бы не называть кибернетикой. [37]
В теории программирования до сих пор практика недостаточно руководствовалась теорией. Например, идея математического обеспечения возникла не в результате теоретического анализа понятий теории программирования, а в результате счастливых находок программистов, которые при этом чаще демонстрировали высокие способности к инженерному мышлению, чем математическую подготовку. Это становится особенно очевидным, когда проанализируешь некоторые зарубежные) книги, посвященные вопросам математического обеспечения. [38]
Постулируется, что имеется определенный избыток лабильных контактов и только немногие из них превращаются в стабильные синапсы. Альтернативная гипотеза Сперри ( теория программирования) предполагает специфическое химическое сродство между окончаниями аксонов и постсинаптическом клеткой, которое генетически запрограммировано и однозначно приводит к стабильному синапсу. [39]
В книге сперва излагаются основы теории программирования: элементы математической логики, теории формальных языков и теории алгоритмов. [40]
В книге сначала излагаются основы теории программирования: элементы математической логики, теории формальных языков и теории алгоритмов. На этом фундаменте построены все остальные части книги. Машины трактуются как физические реализации алгоритмов выполнения программ; сами программы - как особые классы алгоритмов; системы команд ЭВМ - как алгоритмические языки, получившие название машинных. Важная по своему месту в книге, хотя и небольшая глава посвящена понятию математического обеспечения ЭВМ. Основную часть книги составляет описание алгоритмических языков, среди которых ЯЛС ( язык логических схем) важен потому, что удобен для равносильных преобразований алгоритмов и служит хорошим промежуточным языком в работах по автоматизации процессов и при программировании на языке ассемблера. Язык ассемблера и языки алгол-60, фортран-4, ПЛ / 1 и кобол являются современными входными языками программирования. Первым описан ЯЛС, поскольку он используется в книге для описания машинных языков и равносильных преобразований алгоритмов; остальные языки описаны в том порядке, в котором они перечислены выше. Авторы сознательно нарушили естественный в смысле хронологии и развития идей порядок фортран - алгол - кобол - ПЛ / 1 и вынесли в начало алгол по следующей причине. Алгол лучше знаком советским программистам, так как привлек в себе внимание раньше других языков этого ряда, и потому другие языки будут, естественно, сопоставляться с алголом. Кобол в этой книге представлен своей русской версией, так как его международная версия для программистов, слабо знающих английский язык, теряет свои мнемонические возможности и достоинства. [41]
Второй способ наделения формального языка семантикой заключается в следующем. Такой алгоритм называют алгоритмом перевода, а в теории программирования - алгоритмом трансляции. [42]
Хотя развитие играющих машин в прошлом, в особенности за последние два десятилетия, представляется интересным и стимулирующим, думается, что лет через десять-двадцать эти устройства, несомненно, покажутся примитивными. Широкое использование универсальных вычислительных машин и быстрое развитие теории программирования обязательно приведут к важным достижениям в области создания машин, использующих общие принципы стратегии, и машин, обучающихся различным играм. [43]
Настоящая книга была задумана как второе издание книги А. И. Китова, Н. А. Криницкого, П. Н. Комолова Элементы программирования, выпущенной в 1956 г. издательством Артиллерийской инженерной академии им. Однако значительный прогресс в области электронной вычислительной техники и теории программирования и стремление авторов создать книгу, по возможности соответствующую уровню развития этих областей, привели фактически к тому, что была написана новая книга. В нее вошли новые разделы, посвященные принципам построения электронных цифровых машин, вопросам преобразования логических схем программ, вопросам автоматизации программирования. Значительно расширены и другие разделы книги, в частности, кроме описаний одноадресной машины Урал и трехадресной машины Стрела, в книгу включено описание двухадресной машины М-3 и краткие сведения о машине БЭСМ. [44]
Он любил выходить со мной в одну смену, так как теория программирования это одно, а отладка программы на первой ЭВМ - это другое. Я хорошо умел последнее. [45]
Страницы: 1 2 3 4