- formally consistent
- мат. формально непротиворечивый
Большой англо-русский и русско-английский словарь. 2001.
formally consistent
Смотреть что такое "formally consistent" в других словарях:
Consistent histories — Quantum mechanics Uncertainty principle … Wikipedia
Consistent heuristic — In computer science, a consistent (or monotone) heuristic function is a strategy for search that approaches the solution in an incremental way without taking any step back. Formally, for every node N and every successor P of N generated by any… … Wikipedia
ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregative[1]) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also… … Wikipedia
Imperial cult (ancient Rome) — Ancient Roman religion Marcus Aurelius (head covered) sacrificing at the Temple of Jupiter … Wikipedia
Centripetal force — Not to be confused with Centrifugal force. Classical mechanics Newton s Second Law … Wikipedia
Brunelleschi, Filippo — born 1377, Florence [Italy] died April 15, 1446, Florence Florentine architect and engineer. Trained as a sculptor and goldsmith, he turned his attention to architecture after failing to win a competition for the bronze doors of the Baptistery of … Universalium
Timor Sea Treaty — Formally known as the Timor Sea Treaty between the Government of East Timor and the Government of Australia was signed between Australia and East Timor in Dili, East Timor on May 20, 2002, the day East Timor attained its independence from United… … Wikipedia
Counties of the People's Republic of China — formally County level divisions Simplified Chinese 县级行政区 Traditional Chinese … Wikipedia
France — /frans, frahns/; Fr. /frddahonns/, n. 1. Anatole /ann nann tawl /, (Jacques Anatole Thibault), 1844 1924, French novelist and essayist: Nobel prize 1921. 2. a republic in W Europe. 58,470,421; 212,736 sq. mi. (550,985 sq. km). Cap.: Paris. 3.… … Universalium
Local consistency — In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
