Cтраница 2
На основе данного операторного метода в период 1955 - 1960 гг. были созданы первые алгоритмические языки и трансляторы, а также разработаны первые формализмы теоретического программирования. [16]
Простое следствие теоремы 1.4 показывает, что вопрос том, вычисляют ли две программы одну и ту же одноместнук функцию, неразрешим. Смысл этого результата для теоретического программирования также очевиден. [17]
Книга представляет собой цикл лекций, пвппсашшх в видз беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это - задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. [18]
В первой части рассматривается задача экономии памяти в операторных схемах программ. Конструкции и понятия, вошедшие в теоретическое программирование в связи с решением этой задачи, не только внесли существенный вклад в развитие предмета, но и стали основой широкого класса преобразований программ, применяемых в системах автоматизации программирования и при проверке правильности программ. Задача экономии памяти рассматривается как пример решения прикладной задачи с применением математических методов. Изложение разбито на главы, в каждой из которых анализируется один из неотъемлемых этапов полного решения прикладной задачи: содержательная постановка задачи, точная постановка и общая теория, поиски конструктивного метода решения, затем его алгоритмизация и, наконец, составление программ на алгоритмическом языке. [19]
Некоторые файлы предназначены для тех, кто собирается стать суперпрофессионалом. В них рассказывается о некоторых проблемах теоретического программирования. [20]
Такими разделами являются, по нашему мнению, системное, прикладное и теоретическое программирование. [21]
Есть несколько областей знания, в которых формулировка основных положений теории опирается на понятие помеченного графа. Сюда кроме статистической физики и теории квантованных полей относятся теория алгоритмов, теоретическое программирование, теория автоматов. [22]
Все технологии опираются на фундаментальные и прикладные науки. Информационные технологии имеют свои собственные фундаментальные разделы: архитектура ЭВМ, операционные системы, теоретическое программирование, теория баз данных и другие. [23]
Автор надеется, что найдутся читатели, которые прочтут эти строчки не просто из привычки заглядывать в конец, а прочитав эту книгу более или менее подряд. В таком случае, по-видимому, им будет понятно намерение автора не только изложить решение двух задач теоретического программирования, но и постараться продемонстрировать математический метод в действии. [24]
Автор включил в этот небольшой обзор только те работы, которые непосредственно привели теорию схем Янова к тому виду, в каком она излагается в этой книге. В то же время теория схем Янова в целом существенно шире, она повлияла па ряд других разделов теоретического программирования, а ее внутренняя проблематика еще далеко не исчерпана. Автор намеревается завершить этот параграф, а вместе с ним и свои беседы обсуждением одной открытой проблемы для схем Янова, за которую орались многие, но которая оказалась достаточно трудной, чтобы се можно было бы поместить в книгу, не боясь отстать от жизни. [25]
Книга представляет собой цикл лекций, пвппсашшх в видз беседы с читателем. Подробно рассматриваются две классические задачи теоретического программирования, решения которых и развитые на этих решениях методы привели к созданию теоретического программирования как самостоятельной математической дисциплины. Это - задача экономии памяти в схемах Лаврова и задача построения полной системы преобразований в схемах Янова. [26]
Теоретическое программирование ( называемое также в ряде переводных работ теоретической вычислительной наукой или математической теорией вычислений) - это новый раздел математической науки, чьим объектом изучения являются математические абстракции программ - предписаний, выраженных на специальных алгоритмических языках, обладающих определенной информационной и логической структурой и подлежащих выполнению на автоматических вычислительных машинах. Родившись частично из практических потребностей, частично из желания познать природу новых явлений, вызванных электронными вычислительными машинами ( ЭВМ), теоретическое программирование, освоив средства и понятия фундаментальных математических дисциплин - логики, теории алгоритмов, алгебры и комбинаторики, начинает в дополнение к этому постепенно формировать собственный круг понятий и методов. Рассказать о некоторых из них - одна из задач книги, хотя и не главная. [27]
В настоящее время в математической логике большое внимание уделяется исследованию неклассических логик. Многозначные логики высказываний уже довольно давно и весьма успешно применяются в теоретической кибернетике. Модальные логики находят интересные применения в теоретическом программировании. Неклассические логики используются в теории вычислений, информатике, при описании систем эвристического программирования. [28]
Хотя программирование и является областью практической деятельности, для успешного его развития необходимы и теоретические исследования. Сюда относится, например, разработка теории языков программирования, методов трансляции и оптимизации программ. Эти и ряд других теоретических вопросов программирования составляют предмет теоретического программирования. [29]
Допустим, мы имеем некоторый язык программирования, частью определения свойств которого является денотационная семантика. Мы хотим на этом языке писать корректные программы, выполнение которых описывается операционной семантикой языка. При этом возникает проблема, относящаяся к числу фундаментальных в теоретическом программировании. [30]