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