- Литерал
- 1. Основная форма строки
Употребляется в документе:
РД 45.134-2000Средства технические телематических служб. Общие технические требования
Телекоммуникационный словарь. 2013.
Литерал
Смотреть что такое "Литерал" в других словарях:
Литерал — Литерал: Литерал (информатика) Литерал (математическая логика) … Википедия
литерал — Лексема, которая непосредственно представляет некоторое значение. [ГОСТ 28397 89] Тематики языки программирования EN literal … Справочник технического переводчика
Литерал — 6. Литерал Literal Лексема, которая непосредственно представляет некоторое значение Источник: ГОСТ 28397 89: Языки программирования. Термины и определения оригинал документа … Словарь-справочник терминов нормативно-технической документации
Литерал (информатика) — У этого термина существуют и другие значения, см. Литерал. Литерал (англ. literal константа) запись в исходном коде компьютерной программы, представляющая собой фиксированное значение[1]. Содержание 1 Описание … Википедия
Литерал (математическая логика) — У этого термина существуют и другие значения, см. Литерал. В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов: Положительный литерал непосредственно… … Википедия
литерал — литер ал, а … Русский орфографический словарь
ненадежный литерал — При установленном параметре cursor sharing = similar механизм разделения курсоров в СУБД инициирует генерацию нового плана выполнения для сходных (т.е. отличающихся только значениями литералов) операторов SQL, если литерал (или переменная… … Справочник технического переводчика
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… … Википедия
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
