Предложение - язык
Cтраница 1
 |
Предложения языка ФОРМАТ. [1] |
Предложения языка ФОРМАТ выполнены в виде макрокоманд языка Ассемблера. [2]
Предложения языка REXX разделяются на следующие пять типов: пустое предложение, метка, оператор присваивания, оператор REXX, команда. [3]
Предложение языка теории Т называется неразрешимым в Т, если ни само предложение, ни его отрицание не являются теоремами этой теории. Таким образом, теория Т неполна тогда и только тогда, когда существуют неразрешимые в Т предложения. [4]
Предложениями языка 1 - й ступени, сохраняющимися при образовании булевых расширений, являются в точности дизъюнкции хорновских предложений. Хорновское предложение - это замкнутая предваренная формула языка 1 - й ступени, у которой бескванторная часть представляет собой конъюнкцию членов, каждый из которых является или атомной формулой, или дизъюнкцией одной атомной формулы и нескольких отрицаний атомных формул, или дизъюнкций отрицаний атомных формул. [5]
Законченным предложением языка кобол является кобол-программа. Как мы знаем, она состоит из четырех разделов. Раздел идентификации нужен из юридических соображений и на содержание кобол-программы не влияет. [6]
Законченным предложением языка КОБОЛ является КОБОЛ-программа. Как мы знаем, она состоит из четырех разделов. Раздел идентификации нужен из юридических соображений и на содержание КОБОЛ-программы не влияет. Раздел оборудования предназначен для описания конфигурации ЭВМ, на которой будет производиться решение задачи, и, кроме того, содержит данные о распределении устройств и памяти ЭВМ при выполнении будущей программы. КОБОЛ предполагает некоторое семейство машин, как бы вложенных друг в друга. Раздел оборудования указывает, на какую из этих ЭВМ будет вестись трансляция. [7]
 |
Окно Create Index ( Создать Индекс. [8] |
Наиболее часто используемые предложения SELECT языка SQL разработчик может определить как представления ( view), или виртуальные таблицы. Данные представлений не хранятся в базе данных отдельно. [9]
Порождение предложений языка осуществляют так: выбирают несколько формул, в правых частях которых стоят имена морфем. [10]
Совокупность предложений S языка L ( T) называется модельно полной, если для любых ее моделей Л и Б из того, что А является подалгеброй в В, следует, что вложение Л в б элементарно. Модельно полная теория имеет такую модель, которая вкладывается во всякую модель этой теории ( см. [23], гл. Для того чтобы совместная совокупность S предложений языка L ( T) была бы модельно полной, необходимо и достаточно, чтобы в классе всех моделей для S каждое предложение из S было бы эквивалентно предложению, у которого в пре-нексной форме все кванторы равны 3 ( см. [23], с. [11]
Каждому предложению языка соответствует обобщенное задание. Настройка его на выполнение действий задается параметрами предложения. Параметры могут задаваться явно или по умолчанию. [12]
Все ли предложения языка порождают машинные команды. [13]
Чтобы получить предложения языка, нужно войти в тезаурус. [14]
Макрокоманда - предложение языка программирования, вместо которого макрогенератор подставляет макрорасширение. [15]
Страницы: 1 2 3 4