What is the translation of " ЛИТЕРАЛА " in English?

• literals

Examples of using Литерала in Serbian and their translations into English

Садашњи домен променљиве може се разгледати применом специфичних литерала;
The current domain of a variable can be inspected using specific literals;

САТ је такође лакши ако је број литерала по клаузи ограничен на 2, у ком случају се зове 2-САТ.
SAT is easier if the number of literals in a clause is limited to at most 2, in which case the problem is called 2-SAT.

Код изнад ће спровести у време извршавања за утврђивање факторијалне вредност литерала 4 и 0.
The code above will execute at run time to determine the factorial value of the literals 4 and 0.

Оператор негације може да се користи само као део литерала, што значи да може да стоји само пре исказне променљиве.
The not operator can only be used as part of a literal, which means that it can only precede a propositional variable.

То је зато што обележавања литерала спроводе претрагу, а претрага је ефикаснија ако постоје више ограничења да буду задовољни.
This is because labeling literals enforce search, and search is more efficient if there are more constraints to be satisfied.

Као и редовно логичко програмирање, програми се упита о вероватноћи циља, који може да садржи ограничења поред литерала.
As in regular logic programming, programs are queried about the provability of a goal, which may contain constraints in addition to literals.

Код изнад израчунава факторску вредност литерала 4 и 0 у компајлирању и користи резултат као да су пре новосрачунате константе.
The code above calculates the factorial value of the literals 4 and 0 at compile time and uses the result as if they were precalculated constants.

Први( прост) импликант функције је импликант који не може бити покривен општијим( више редукованим- што значи са мањим бројем литерала) импликантом.
A prime implicant of a function is an implicant that cannot be covered by a more general,(more reduced- meaning with fewer literals) implicant.

Таква ограничења су неопходна, јер је преводилац додаје t1= t2 до циља кад год литерала P(… t1…) је замењен са телом клаузуле свеже варијанте чији је начелник P(… t2…).
Such constraints are necessary because the interpreter adds t1=t2 to the goal whenever a literal P(… t1…) is replaced with the body of a clause fresh variant whose head is P(… t2…).

У буловској логици, формула је у конјунктивној нормалној форми( КНФ) ако представља конјункцију клауза, где је клауза дисјункција литерала.
In boolean logic, a formula is in conjunctive normal form(CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals….

Позитивни и негативни примери су дати као целина E+{\ displaystyle E^{+}} и E-{\ displaystyle E^{-}} од unnegated и негираних подземних литерала, респективно.
The positive and negative examples are given as a conjunction E+{\displaystyle E^{+}} and E-{\displaystyle E^{-}} of unnegated and negated ground literals, respectively.

У буловској логици, формула је у конјунктивној нормалној форми( КНФ) ако представља конјункцију клауза, где је клауза дисјункција литерала.
In Boolean logic, a formula is in conjunctive normal form(CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a disjunction of literals.

Када поновно писање литерала у циљу, једини клаузуле су оне чији стражар подразумева уније о ограничењу продавнице и буквалне једначине са клаузулом у глави.
When rewriting a literal in the goal, the only considered clauses are those whose guard is entailed by the union of the constraint store and the equation of the literal with the clause head.

Формално, принудни логички програми су као редовне програмске логике, али тела клаузула могу да садрже ограничења, поред редовних програмских логичких литерала.
Formally, constraint logic programs are like regular logic programs, but the body of clauses can contain constraints, in addition to the regular logic programming literals.

Другим речима, циљ доказан овом семантиком ако постоји низ избора литерала и клаузула, међу многим евентуално оних, који доводе до празног циља и задовољиве продавнице.
In other words, a goal is proved under this semantics if there exists a sequence of choices of literals and clauses, among the possibly many ones, that lead to an empty goal and satisfiable store.

У реалној имплементацији, делимична задовољива формула обично такође враћа успех; ово се може извести из конзистентног скупа литерала првог if израза у функцији.
In a real implementation, the partial satisfying assignment typically is also returned on success; this can be derived from the consistent set of literals of the first if statement of the function.

Иако стандардни SQL дефинише три литерала за булов тип: TRUE, FALSE и UNKNOWN, такође се каже да се NULL BOOLEAN и UNKNOWN" могу користити наизменично да означе потпуно исту ствар".
Although the SQL standard defines three literals for the BOOLEAN type- TRUE, FALSE, and UNKNOWN- it also says that the NULL BOOLEAN and UNKNOWN"may be used interchangeably to mean exactly the same thing".

ФОРТРАН IV( 1962) је следио пример АЛГОЛА 60 обезбеђивањем Буловог типа података( LOGICAL), литерала истине(. TRUE. и. FALSE.), булових оператора поређења(. EQ.,. GT., итд.), као и логичких оператора. NOT.,. AND.,. OR.,. XOR..
FORTRAN IV(1962), however, followed the ALGOL 60 example by providing a Boolean data type(LOGICAL), truth literals(. TRUE. and. FALSE.), Boolean-valued numeric comparison operators(.EQ.,. GT., etc.), and logical operators(. NOT.,. AND.,.OR.).

Све конјункције литерала и све дисјункције литерала су у КНФ, јер се могу посматрати као конјункције једночланих литерала, или као дисјункције једне клаузе, редом.
All conjunctions of literals and all disjunctions of literals are in CNF, as they can be seen as conjunctions of one-literal clauses and conjunctions of a single clause, respectively.

Садашњи домен променљиве може се разгледати применом специфичних литерала; На пример, dom( X, D) сазна тренутни домен D једне променљиве X. Што се тиче домена реалних бројева, функтори могу користити домене целих бројева.
The current domain of a variable can be inspected using specific literals; for example, dom(X, D) finds out the current domain D of a variable X. As for domains of reals, functors can be used with domains of integers.

Литерал је атомичка формула или негација атомичке формуле.
A literal is an atom or a negated atom.

У математичкој логици, литерал је атомичка формула( атом) или њена негација.
Literal(mathematical logic)- In mathematical logic, a literal is an atomic formula(atom) or its negation.

У математичкој логици, литерал је атомичка формула( атом) или њена негација.
In mathematical logic, a literal is an atomic formula(atom) or its negation.

Литерал је атомичка формула или негација атомичке формуле.
A literal is an atomic formula or a negated atomic formula.

Хорнова клауза са тачно једним позитивним литералом је дефинитна клауза;
A Horn clause with exactly one positive literal is a definite clause;

Možete da koristite literal vrednosti u izrazima, poput broja 1. 254 ili niske„ Unesite broj između 1 i 10”.
You can use literal values in your expressions, such as the number 1,254 or the string"Enter a number between 1 and 10.".

Pure literal elimination Ако се исказна променљива јавља само са једним поларитетом у формули, зове се чиста.
Pure literal elimination If a propositional variable occurs with only one polarity in the formula, it is called pure.

Пјешачки надвожњак или улаз тунела треба планирати за дистрибуцију људи, област не би требало да буде мања од"$ литерал".
Pedestrian overpass or tunnel entrance should be planned for the distribution of people, the area should not be less than the'$literal'.

Xcode 4. 4 sadrži podršku za automatsko spajanje deklarisanih atributa, nove karakteristike za Objective-C kao što su sintaksa literala i sabskripting, poboljšana lokalizacija i još dosta toga.[ 26] Verzija Xcode 4. 4.
Xcode 4.4 includes support for automatic synthesizing of declared properties, new Objective-C features such as literal syntax and subscripting, improved localization, and more.

У присуству ваздуха, огромна већина органске материје може се спалити, неорганско једињење у којем се угљеник претвара у ЦО2, водоник у$ литерал и азот у азот.
In the presence of air, the vast majority of organic matter can be burned, Inorganic Compound in which carbon is converted into CO2, hydrogen into$literal, and nitrogen into nitrogen.