- primitive symbol
-
исходный символ
Англо-русский словарь технических терминов. 2005.
Англо-русский словарь технических терминов. 2005.
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Symbol grounding — The Symbol Grounding Problem is related to the problem of how words (symbols) get their meanings, and hence to the problem of what meaning itself really is. The problem of meaning is in turn related to the problem of consciousness, or how it is… … Wikipedia
Dragon's Eye (symbol) — Dragon s Eye The 6 lines of the symbol can be seen in 6 … Wikipedia
Archaeology of the Cross and Crucifix — Archæology of the Cross and Crucifix † Catholic Encyclopedia ► Archæology of the Cross and Crucifix I. PRIMITIVE CRUCIFORM SIGNS The sign of the cross, represented in its simplest form by a crossing of two lines at right angles,… … Catholic encyclopedia
Extension by definitions — In mathematical logic, more specifically in the proof theory of first order theories, extensions by definitions formalize the introduction of new symbols by means of a definition. For example, it is common in naive set theory to introduce a… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
Axiom of extensionality — In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo Fraenkel set theory. Formal statement In the formal language of… … Wikipedia
Knights of the Cross with the Red Star — Symbol of the order. Sgraffito on the facade … Wikipedia
Ho — Symbol, Chem. holmium. * * * (as used in expressions) Ho peh Ho fei Ho nan Ho shen Hu ho hao t e O erh ku na Ho Ho Chi Minh Ho Chi Minh City Ho Chi Minh Trail Huang Ho T a li mu Ho Cheng Ho * * * ▪ Ghana town, southeastern Ghana. It is… … Universalium
History of early Tunisia — History of Tunisia ANCIENT HISTORY OF TUNISIA … Wikipedia
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia