Cтраница 2
Такое пространство дей ствительно существует математически, и оно снабжает нас знай чениями для выражений языка программирования того типа который раньше мы понимали операционально. Нам следуе начать понимать эти языки математически, ибо имеются все необходимые инструменты для этого. [16]
Символические ссылки интерпретируются как метки ассемблера и имена регистров, выражения в фигурных скобках интерпретируются как выражения языка С. [17]
Взглядом называется отношение, которое не хранится в базе данных непосредственно, а определяется с помощью некоторого выражения языка запросов. [18]
Машина вывода Ontobroker состоит из двух основных компонентов: транслятора с расширенного языка представления в ограниченный и собственно вычислителя выражений ограниченного языка, который является обычным языком логического программирования. [19]
Этих тождеств достаточно для того, чтобы из них по методу тождеств, преобразований можно было вывести любое ( верное) тождество, обе части к-рого суть выражения языка УСЕ. [20]
На первый взгляд эта существенная неизоморфность любых теоретических ( в частности, словесных) описаний Мира могла бы быть истолкована в агностицистском смысле - вот если бы класс выражений Языка был хотя бы в идеале, в пределе, с привлечением абстракции потенциальной осуществимости [12] ( допущение в этом случае более просто решающей вопрос абстракции актуальной бесконечности имеет слишком уж явно выраженный платонистский характер 67) изоморфен описываемому им Миру, то было бы все прекрасно. Приходится, однако, признать, что в некотором смысле дело обстоит как раз наоборот: ограничительные тенденции обнаруживаются именно в смелой гипотезе об актуальном изоморфизме Мира и Языка. Дело в том, что гипотеза эта утверждает не столько богатство Языка, сколько бедность Мира. [21]
Современный уровень Галилео проявляется в трактовке функций как данных ( функция может быть компонентом структуры данных, параметром и результатом работы другой функции), в использовании технологии абстрактных типов данных и во введении строгой типизации всех выражений языка. Примечательная черта Галилео - развитое понятие иерархии типов: если тип t есть подтип типа t, тогда значение тина t может быть использовано в качестве аргумента любой операции, определенной для типа f ( но не наоборот, так как в Галилео отношение быть подтипом является частичным порядком - см. для сравнения отношения между типами в Атланте ( гл. [22]
Значения в модели приписываются именно оцененным формулам и термам. Разумеется, замкнутые выражения языка П по определению являются оцененными. [23]
Доступ к базе данных в ROSIE и взаимодействие с ней могут быть осуществлены при помощи использования англоподобных языковых конструкций, обладающих гораздо большей выразительностью, чем те, с помощью которых заносятся элементарные утверждения в саму базу данных. Описание представляет собой выражение языка, которое служит для выбора отдельных элементов из базы данных. [24]
Впервые изучая иностранный язык, достаточно ознакомиться с наиболее употребимыми словами и основными правилами грамматики. Не требуется знать все идеоматические выражения языка и редко употребимые слова или изучать историю страны и психологию людей, хотя для более глубокого понимания это становится необходимым. Однако при работе на ЭВМ, когда в программе начинают появляться сложные ошибки или она работает неэффективно, одного знания языка программирования часто становится недостаточно. Так как эта ситуация довольно типична, то прикладным программистам и системным аналитикам, необходимо иметь некоторое представление о структуре ЭВМ, в то время как для системных программистов знание этих вопросов просто обязательно. [25]
Если база знаний рассматривается как программа, то машина логического вывода представляет собой интерпретатор. Его входной информацией являются выражения языка представления знаний. Результат работы подсистемы заключается в интерпретации входных выражений в соответствии с имеющимися данными. [26]
Перечисленные выше стандартные языки программирования мало пригодны для описания объектов и задач проектирования, так как в них отсутствуют такие понятия как тип объекта, связи объекта, параметры объекта, не предусмотрены описания типовых процедур проектирования, обычно учитывающих специфику объекта проектирования. Необходимость специальных конструкций, выражений языка для описания перечисленных понятий приводит к созданию предметно-ориентированных языков, называемых входными языками, или языками проектирования. [27]
С распространением идеи о том, что использование машины для трансляции может облегчить составление программ, началась работа по созданию проблемно-ориентированных языков и трансляторов с них-компиляторов. При трансляции с этих языков краткие выражения языка соответствуют большим последовательностям команд, а сами языки обладают значительной гибкостью. Первым из таких языков был ФОРТРАН ( акроним для FORmula TRANslation), созданный около 1955 года. [28]
Это значит, во-первых, что должны быть определены символы ( буквы, знаки), которые можно использовать в языке. Конечные последовательности таких символов образуют всевозможные выражения языка. [29]
В зависимости от способа формирования выражений языка, его называют либо реляционной алгеброй, либо реляционным исчислением. Наименее разработанной частью теории является область, затрагивающая группы целостности [ которые могут быть названы классами инвариантов ( 3.166 invariants) ] Для увеличения эффективности работы во многих системах управления реляционными базами данных приняты ограничения, соответствующие строгой реляционной модели. Оператор, представляющий операцию сравнения двух операндов, результатом которой является то или иное истинностное значение. Общеизвестные операторы сравнения показаны в таблице вместе с соответствующими им операторами отношения, используемыми обычно в вычислениях; оператор не равно имеет много различных обозначений. [30]