- ordered quadruple
- мат. упорядоченная четверка
Большой англо-русский и русско-английский словарь. 2001.
ordered quadruple
Смотреть что такое "ordered quadruple" в других словарях:
War of the Quadruple Alliance — Infobox Military Conflict conflict=War of the Quadruple Alliance caption=The Battle of Cape Passaro, 11 August 1718 by Richard Paton (oil on canvas, 1767) date=1718–1720 place=Sicily, Sardinia, Spain, Scotland, Florida result=Allied Pyrrhic… … Wikipedia
Cross-ratio — D is the harmonic conjugate of C with respect to A and B In geometry, the cross ratio, also called double ratio and anharmonic ratio, is a special number associated with an ordered quadruple of collinear points, particularly points on a… … Wikipedia
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
Matrix grammar — A matrix grammar is a formal grammar in which instead of single productions, productions are grouped together into finite sequences. A production cannot be applied separately, it must be applied in sequence. In the application of such a sequence… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Terminal and nonterminal symbols — In computer science, terminal and nonterminal symbols are the lexical elements used in specifying the production rules that constitute a formal grammar. The terminals and nonterminals of a particular grammar are two disjoint sets. Contents 1… … Wikipedia
Subjective logic — is a type of probabilistic logic that explicitly takes uncertainty and belief ownership into account. In general, subjective logic is suitable for modeling and analysing situations involving uncertainty and incomplete knowledgeA. Jøsang.… … Wikipedia
cross-ratio — noun A special number associated with an ordered quadruple of collinear points, particularly points on a projective line, and preserved by the fractional linear transformations. Syn: anharmonic ratio, double ratio … Wiktionary
Dunkerque class battleship — Dunkerque Class overview Preceded by: Lyon class (planned) Bretagne class (actual) Succeeded by … Wikipedia
HMS Eagle (1918) — For other ships of the same name, see HMS Eagle. Aerial view of Eagle in the 1930s Career (United Kingdom) … Wikipedia
TRAXX — Bombardier TRAXX family (electric) TRAXX F140 AC1 : Deutsche Bahn AG Class 185 Power type electric Builder Bombardier Transportation Model TRAXX F140 AC … Wikipedia
