Перевод: со всех языков на все языки

со всех языков на все языки

constructivity

См. также в других словарях:

  • Constructivity Model Viewer — is software for viewing Building Information Models (BIM) on Windows PCs. It is unique in that it is the only software that is capable of graphically viewing 100% of Industry Foundation Classes (IFC), the universal software standard for the AEC… …   Wikipedia

  • CICS — • Constructivity in Computer Science, The Association for Symbolic Logic, Summer Symposium, 1991 (informationswissenschaftl. Veoeffentlichungen) • Customer Information Control System (IBM) …   Acronyms

  • Natural proof — In computational complexity theory, a natural proof is a certain kind of proof establishing that one complexity class differs from another one. While these proofs are in some sense natural , it can be shown (assuming a widely believed conjecture… …   Wikipedia

  • Eskayan — Infobox Language name=Eskayan nativename=Eskaya pronunciation= states=Philippines region=Bohol speakers=unknown iso1= iso2= iso2b= iso2t= iso3= familycolor=Isolate script=Eskayan script (syllabary) rank= nation= agency= extinct= lc1= ld1=name of… …   Wikipedia

  • University of Derby — Established 1992 gained University Status 1851 Teacher Training College) Endowment £15.5m [1] …   Wikipedia

  • Newton da Costa — at Berkeley in 1973 Photo courtesy George M. Bergman Full name Newton da Costa Born 16 September 1929 (1929 09 16) (age 82) Curitiba, B …   Wikipedia

  • Lewis Gordon — Lewis Ricardo Gordon (born 1962) is a Jamaican philosopher who works in the areas of Africana philosophy, philosophy of human and life sciences, phenomenology, philosophy of existence, social and political theory, postcolonial thought, theories… …   Wikipedia

  • Eskaya — ethnic group group=Eskaya poptime= 3,000 (2000 census) popplace= flagicon|Philippines Philippines: Bohol| langs=Eskayan, Cebuano, Boholano rels=Philippine Independent Church related=Cebuano, other Visayan peoples, other Filipino peoples, other… …   Wikipedia

  • Realizability — is a part of proof theory which can be used to handle information about formulas instead of about the proofs of formulas. [Oosten, pp. 3 5] A natural number n is said to realize a statement in the language of arithmetic of natural numbers. Other… …   Wikipedia

  • Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …   Wikipedia

  • МОСТОВСКИЙ — (Mostowski), Анджей (р. 1 нояб. 1913) – польский логик и математик, чл. корр. Польской АН (с 1956), проф. ун та в Варшаве. М. принадлежат труды по математич. логике, логич. основаниям теории множеств, по топологии и алгебре. М. написал также ряд… …   Философская энциклопедия

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

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