primitive symbol

primitive symbol
исходный символ

Англо-русский словарь технических терминов. 2005.

Игры ⚽ Поможем сделать НИР

Смотреть что такое "primitive symbol" в других словарях:

  • 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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»