formal class
Смотреть что такое "formal class" в других словарях:
Class 951 Shinkansen — Class 951 951 1 preserved in Kokubunji, Tokyo, July 2006 In service 1969–1973 Manufacturer Kawasaki Sharyo, Nippon Sharyo … Wikipedia
class — class1 [klas, kläs] n. [Fr classe < L classis, class or division of the Roman people; akin to calare, to call: see CLAMOR] 1. a number of people or things grouped together because of certain likenesses or common traits; kind; sort; category 2 … English World dictionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Class (set theory) — In set theory and its applications throughout mathematics, a class is a collection of sets (or sometimes other mathematical objects) which can be unambiguously defined by a property that all its members share. The precise definition of class… … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Class formation — In mathematics, a class formation is a structure used to organize the various Galois groups and modules that appear in class field theory. They were invented by Emil Artin and John Tate. Contents 1 Definitions 2 Examples of class formations 3 The … Wikipedia
Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal ontology — A Formal ontology is an ontology with a structure that is guided and defined through axioms. The goal of a formal ontology is to provide an unbiased (domain and application independent) view on reality. Formal ontologies are founded upon a… … Wikipedia
Formal grammar — In formal semantics, computer science and linguistics, a formal grammar (also called formation rules) is a precise description of a formal language ndash; that is, of a set of strings over some alphabet. In other words, a grammar describes which… … Wikipedia
