Translation for 'logical' from English to Polish

logical

logiczny {adj}

• A related anonymous veto network algorithm computes the logical OR of several users' inputs, rather than a logical XOR as in DC-nets, which may be useful in applications to which a logical OR combining operation is naturally suited.
• In the specific cases of propositional logic and predicate logic, the formal languages considered have alphabets that are divided into two sets: the logical symbols (logical constants) and the non-logical symbols.
• The constants of a language can further be divided into logical symbols and non-logical symbols (sometimes also called logical and non-logical constants).
• When a vector has only zeros and ones as entries, it is called a "logical vector", a special case of a logical matrix.
• In logic, anti-psychologism (also logical objectivism or logical realism) is a theory about the nature of logical truth, that it does not depend upon the contents of human ideas but exists independent of human ideas.

• the 'no-security logical group', ' the low-security logical groups' and ' the high-security logical groups'.
• Tarski ends by pointing out that his definition of logical consequence depends upon a division of terms into the logical and the extra-logical and he expresses some skepticism that any such objective division will be forthcoming.
• In logical clock systems each process has two data structures: "logical local time" and "logical global time".
• Logical expressions are used to express any logical function.
• Data on the bus is divided into recessive (logical HIGH) and dominant (logical LOW).

• CCSL provides a concrete syntax to handle logical clocks.
• Infinite composition of automata allows modeling of "logical systems" that may be constructed from many logical components.
• In bitwise logical operations (e.g., logical AND, logical OR), the operand fragments may be processed in any arbitrary order because each partial depends only on the corresponding operand fragments (the stored carry bit from the previous ALU operation is ignored).
• By definition, God must be beyond Logic, and must be conceived only in a Meta-logical context beyond our logical and necessarily logical approach.
• Some support is provided for logical values, relational operators (the Fortran syntax can be used) and logical expressions.

• Reasoning can be done by translating graphs into logical formulas, then applying a logical inference engine.
• IBM refers to the data records programmers work with as "logical records", and the format on DASD [...] as blocks or "physical records".