Risultati di ricerca
2 giorni fa · "Formal equivalence" (sought via "literal" translation) attempts to render the text literally, or "word for word" (the latter expression being itself a word-for-word rendering of the classical Latin verbum pro verbo) – if necessary, at the expense of features natural to the target language.
14 ore fa · Lambda calculus. Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine.
4 giorni fa · In mathematics, a propositional formula is often more briefly referred to as a "proposition", but, more precisely, a propositional formula is not a proposition but a formal expression that denotes a proposition, a formal object under discussion, just like an expression such as "x + y" is not a value, but denotes a value.
2 giorni fa · In mathematics, the determinant is a scalar value that is a certain function of the entries of a square matrix. The determinant of a matrix A is commonly denoted det (A), det A, or |A|. Its value characterizes some properties of the matrix and the linear map represented, on a given basis, by the matrix. In particular, the determinant is nonzero ...
2 giorni fa · 3. May denote a logical equivalence. 1. May denote an isomorphism between two mathematical structures, and is read as "is isomorphic to". 2. In geometry, may denote the congruence of two geometric shapes (that is the equality up to a displacement), and is read "is congruent to". Comparison less-than sign)
1 giorno fa · Predicate logic, first-order logic or quantified logic is a formal language in which propositions are expressed in terms of predicates, variables and quantifiers. It is different from propositional logic which lacks quantifiers.
1 giorno fa · In linguistics, code-switching or language alternation occurs when a speaker alternates between two or more languages, or language varieties, in the context of a single conversation or situation. Code-switching is different from plurilingualism in that plurilingualism refers to the ability of an individual to use multiple languages, [1] while ...
