Перевод: с русского на все языки

со всех языков на русский

Литерал

См. также в других словарях:

  • Литерал — Литерал: Литерал (информатика) Литерал (математическая логика) …   Википедия

  • литерал — Лексема, которая непосредственно представляет некоторое значение. [ГОСТ 28397 89] Тематики языки программирования EN literal …   Справочник технического переводчика

  • Литерал — 6. Литерал Literal Лексема, которая непосредственно представляет некоторое значение Источник: ГОСТ 28397 89: Языки программирования. Термины и определения оригинал документа …   Словарь-справочник терминов нормативно-технической документации

  • Литерал (информатика) — У этого термина существуют и другие значения, см. Литерал. Литерал (англ. literal  константа)  запись в исходном коде компьютерной программы, представляющая собой фиксированное значение[1]. Содержание 1 Описание …   Википедия

  • Литерал (математическая логика) — У этого термина существуют и другие значения, см. Литерал. В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов: Положительный литерал непосредственно… …   Википедия

  • литерал — литер ал, а …   Русский орфографический словарь

  • Литерал — 1. Основная форма строки Употребляется в документе: РД 45.134 2000 Средства технические телематических служб. Общие технические требования …   Телекоммуникационный словарь

  • ненадежный литерал — При установленном параметре cursor sharing = similar механизм разделения курсоров в СУБД инициирует генерацию нового плана выполнения для сходных (т.е. отличающихся только значениями литералов) операторов SQL, если литерал (или переменная… …   Справочник технического переводчика

  • Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …   Википедия

  • Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… …   Википедия

  • Конъюнктивная нормальная форма — (КНФ) в булевой логике  нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»