IMPROVED: verificarea erorilor de compilator pentru apelurile de bază ale bazei de date și a predicatelor de reflexie, unde primul argument este un termen cu calificări pentru module.
IMPROVED: Compiler error-checking for database and reflection predicate calls where the first argument is a module-qualified term.
Introducerea unor elemente de logica matematica referitoare la logica propozitiilor si logica predicatelor, in completarea cunostintelor din liceu.
An introduction to the elements of mathematical logic concerning the logic of sentences and predicates as a completion of the high school knowledge.
Expresiile pot fi create în interiorul predicatelor folosindu-se operatorii: =,! =, <=, <, >= și >.
Expressions can be created inside predicates using the operators: =,! =, <=, <, >= and >.
FIX: Când compilați directivele 'uses/ 2', nu creați o clauză de legătură pentru runtime de utilizare a predicatelor încorporate în "utilizator" atunci când nu este definit niciun altui alias.
FIXED: When compiling 'uses/2' directives, don't create a linking clause for runtime use for built-in predicates in 'user' when no alias is being defined.
Ca urmare a cumulării tuturor predicatelor afirmative, această idee de totalitate este numită de Kant "ens realissimum" [vii].
Owing to the piling of all affirmative predicates, this idea of totality, this Transcendental Ideal is also called by Kant ens realissimus, i.e. the Being which presents a supreme degree of reality.
ubbcluj.ro Obiective - Cunosterea unor metode de demonstrare în logica propozitiilor si logica predicatelor pentru rezolvarea problemelor decizionale: verificarea dacă o afirmaţie este teoremă sau este o consecinţă logică a unei mulţimi de axiome şi ipoteze
To study proof methods, specific to propositional and first-order logics, which solve the decision problems: check if a statement is a theorem or if a statement is a logical consequence of a set of axioms and hypotheses
Generalitatea analitică a logicii predicatelor a permis formalizarea matematicii și a dus la dezvoltarea teoriei modelelor de către Alfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne.
The analytical generality of predicate logic allowed the formalization of mathematics, drove the investigation of set theory, and allowed the development of Alfred Tarski's approach to model theory.
Util pentru documentarea predicatelor de verificare de tip.
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
Aucun résultat pour cette recherche.
Expressions en anglais avec traductions contenant predicatelor
