| German |
| has gloss | deu: Literal (lat. „Buchstabe“) bezeichnet in Programmiersprachen Zeichenfolgen, die zur Darstellung der Werte von Basistypen (z. B. Ganzzahlen, Gleitkommazahlen, Zeichenketten) definiert bzw. zulässig sind. Sie sind nicht benannt, werden aber über die jeweilige Umgebung ebenfalls in die Programmressourcen eingebunden. Literale können nur in rechtsseitigen Ausdrücken (z. B. rechts eines Zuweisungsoperators oder als Argument einer Funktion) auftreten. Meist werden die Literale zu den Konstanten gerechnet und dann als literale Konstanten bezeichnet, da beide im Gegensatz zu Variablen zur Laufzeit unveränderlich sind. Das Wort Konstante im engeren Sinn bezieht sich allerdings mehr auf in ihrem Wert unveränderliche Bezeichner, d. h. eindeutig benannte Objekte, die im Quelltext beliebig oft verwendet werden können, statt immer das gleiche Literal anzugeben. |
| lexicalization | deu: Literal |
| French |
| has gloss | fra: En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif). |
| lexicalization | fra: Litteral |
| lexicalization | fra: littéral |
| Japanese |
| has gloss | jpn: リテラル（）は、記号論理とプログラミングで用いる用語である。 記号論理学では、リテラルは原子式かあるいは原子式の否定である。基礎リテラルは、変数を含んでいないものを指す。共通な変数を持たない2つの節に対して、節のそれぞれのリテラルで使って再汎単一化要素をもち、二次元導出系(binary resolvant)を作る場合に導出に使われたリテラル(literal resolved upon)と呼ぶ。共通の変数を含まない2つの節で、推論した節の二次元等号調整系(binary paramodulant)を作ったとき、等号調整に使われたリテラル(literal paramodulated upon)という。 |
| lexicalization | jpn: リテラル |
| Dutch |
| has gloss | nld: In de wiskundige logica is een literal een atomaire formule (ook wel atoom genoemd) of de negatie ervan. Literals kunnen onderverdeeld worden in: |
| lexicalization | nld: literal |
| Polish |
| has gloss | pol: Literał - w językach programowania, to jednostka leksykalna reprezentująca wartość wpisaną bezpośrednio w kod programu. Różni się od stałej tym, że stała jest wartością zakodowaną pod pewną nazwą, którą można używać w programie wielokrotnie, podczas gdy literał jest po prostu zapisem wartości (liczbowej, tekstowej, itp.) w danym miejscu programu. |
| lexicalization | pol: Literał |
| Portuguese |
| has gloss | por: Na lógica matemática, um literal é uma fórmula atômica (átomo) ou a negação de um átomo. Os literais podem ser divididos em dois tipos: * Um literal positivo nada mais é do que um átomo. * Um literal negativo é a negação de um átomo. |
| lexicalization | por: Literal lógica |
| lexicalization | por: literal |
| Russian |
| has gloss | rus: В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов: *Положительный литерал — непосредственно атомарная формула. *Отрицательный литерал — логическое отрицание атомарной формулы. |
| lexicalization | rus: литерал |
| Castilian |
| has gloss | spa: Los literales pueden se pueden caracterizar en dos tipos de acuerdo a su signo: * Un literal pósitivo es una fórmula atómica. * Un literal negativo es la negación de una fórmula atómica. |
| lexicalization | spa: literal |
| Serbian |
| has gloss | srp: У математичкој логици, литерал је атомичка формула (атом) или њена негација. Литерали се могу поделити у два типа: * Позитивни литерал је само атом. * Негативни литерал је негација атома. |
| lexicalization | srp: литерал |
| Ukrainian |
| has gloss | ukr: В математичній логіці літералом називають атомарну формулу, без 0 і 1, або її логічне заперечення. Відповідно, існують два типи літералів: *Ствердний літерал — безпосередньо атомарна формула. *Заперечний літерал — логічне заперечення атомарної формули. |
| lexicalization | ukr: літерал |
| Chinese |
| has gloss | zho: 在数理逻辑中，文字(literal)是一个原子公式(atom)或它的否定。文字可以分为两种类型: * 肯定文字就是一个原子。 * 否定文字是一个原子的否定。 |
| lexicalization | zho: 文字 |