- formalizes
- Формализует
Большой англо-русский и русско-английский словарь. 2001.
formalizes
Смотреть что такое "formalizes" в других словарях:
formalizes — formalize (Amer.) for·mal·ize || fÉ”rmÉ™laɪz / fÉ”Ëm v. make official, make formal; make legally valid; affect formality; give a shape or form to, model (also formalise) … English contemporary dictionary
Yale shooting problem — The Yale shooting problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frame problem fail. The name of this problem derives from its inventors, Steve Hanks and Drew McDermott, working at Yale… … Wikipedia
Relational model — The relational model for database management is a database model based on first order predicate logic, first formulated and proposed in 1969 by Edgar Codd. [ Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks , E.F … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
Operad theory — is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already… … Wikipedia
Manny Villar — 25th President of the Senate of the Philippines In office July 24, 2006 – November 17, 2008 President … Wikipedia
Algebraically closed group — In mathematics, in the realm of group theory, a group A is algebraically closed if any finite set of equations and inequations that make sense in A already have a solution in A . This idea will be made precise later in the article.Informal… … Wikipedia
Alternative dispute resolution — (ADR) includes dispute resolution processes and techniques that fall outside of the government judicial process. Despite historic resistance to ADR by both parties and their advocates, ADR has gained widespread acceptance among both the general… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
Computational complexity theory — is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other. In this context, a… … Wikipedia
Discrete mathematics — For the mathematics journal, see Discrete Mathematics (journal). Graphs like this are among the objects studied by discrete mathematics, for their interesting mathematical properties, their usefulness as models of real world problems, and their… … Wikipedia
