Логическая константа
Cтраница 3
Простейшим логическим выражением, которое может быть операндом логической операции, является логическая константа, переменная логического типа, обращение к логической функции или логическое выражение, заключенное в круглые скобки. [31]
Отсутствие хотя бы одной точки ( справа или слева) в написании логической константы воспринимается как ошибка. Логические константы относятся к величинам логического типа стандартной длины и каждая из них занимает в памяти четырехбайтовую ячейку. [32]
Знаки &, V, -, - и - - известны как логические константы; их введение дает значительную экономию в технике доказательства, выявляя много легко узнаваемых блоков, которые можно использовать при этом. [33]
С адреса 0090 ( 16) разместим измененный вариант авторской подпрограммы вывода значения логической константы. Изменения связаны с тем, что, во-первых, в рассмотренной программе логическая константа кодируется 2 байтами, во-вторых, для получения таблицы в подпрограмме выводятся в каждом случае 6 символов: TRUE дополняется двумя пробелами, FALSE - одним. [34]
Слова False и True определены в языке и являются, по сути, логическими константами. Регистр букв в их написании несущественен: FALSEfalse. Значения этого типа участвуют во всевозможных условных операторах языка. [35]
Основные символы языка алгол делятся по своему назначению на четыре группы: цифры, буквы, логические константы и ограничители. Назначение каждого основного символа языка и его использование для записи алгоритмов определяются правилами составления синтаксических конструкций ( предложений) языка и будут рассмотрены в дальнейшем. [36]
Основные символы языка алгол делятся по своему назначению на четыре группы: цифры, буквы, логические константы и ограничители. Назначение каждого основного символа языка и его использование для записи алгоритмов определяются правилами составления синтаксических конструкций ( предложений) языка и будут рассмотрены в дальнейшем. Непосредственно из основных символов образуются элементарные конструкции языка: числа, идентификаторы, переменные, указатели функций и строки, а также выражения, описания и операторы. [37]
Логическое выражение образуется из операндов логического выражения и логических операций, приведенных в табл. 1.25. Операндами логических выражений являются логические константы, логические переменные, элементы логических массивов и выражения отношения. [38]
 |
Коды ошибок и их типы.| Типы параметров функции ЯЧЕЙКА. [39] |
Результат функции закодирован: 1 - тип данных число, 2 - тип данных строка, 4 - тип данных логическая константа, 16 - тип данных ошибка, 64 - тип данных массив. [40]
Важность результатов, содержащихся в теореме 3.34, заключается в том, что она позволяет нам заменить любое высказывание в выражении, составленном с использованием логических констант, на эквивалентное; выражение, получающееся в результате такой замены, будет эквивалентно исходному и, следовательно, в силу 3.15 доказательства преобразованного выражения достаточно для доказательства исходного. [41]
Логические константы и операторы можно рассматривать просто как сокращения для тех выражений, с помощью которых они были введены: в этом случае во всяком формальном доказательстве логические константы и операторы следует устранить, заменив их теми выражениями, которые они обозначают. [42]
Машина позволяет производить арифметические операции над двоичными числами с фиксированной и плавающей запятой, над десятичными и целыми числами, а также операции с алфавитно-цифровой информацией и логическими константами. [43]
Фактический аргумент может быть массивом, именем внешней подпрограммы, текстовой константой, арифметическим или логическим выражением, в частности переменной, элементом массива, обращением к функции, числовой или логической константой. [44]
Фактический аргумент может быть массивом, именем внешней подпрограммы, текстовой константой, арифметическим или логическим выражением, в частности переменной, элементом массива, обращением к функции, числовой или логической константой. [45]
Страницы: 1 2 3 4