- calculus of classes
-
исчисление классов
Англо-русский словарь технических терминов. 2005.
calculus of classes
Смотреть что такое "calculus of classes" в других словарях:
calculus of classes — algebra of classes … Useful english dictionary
calculus of individuals — a branch of symbolic logic designed to avoid the terminological platonism inherent in an algebra of classes by recourse to the notion of individuals especially in their relationships of overlapping, discreteness, and being a part … Useful english dictionary
algebra of classes — a branch of symbolic logic sometimes regarded as an independent discipline that deals with classes and has as its main operations the forming of logical products, sums, and complements called also calculus of classes; compare inclusion,… … Useful english dictionary
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Secondary calculus and cohomological physics — In mathematics, secondary calculus is a proposed expansion of classical differential calculus on manifolds, to the space of solutions of a (nonlinear) partial differential equation. It is a sophisticated theory at the level of jet spaces and… … Wikipedia
AP Calculus — Advanced Placement Calculus (also known as AP Calculus) is used to indicate one of two distinct Advanced Placement courses and examinations offered by the College Board, AP Calculus AB and AP Calculus BC. AP Calculus ABAP Calculus AB is an… … Wikipedia
Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… … Wikipedia
Process calculus — In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and … Wikipedia
Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… … Wikipedia
Stochastic calculus — is a branch of mathematics that operates on stochastic processes. It allows a consistent theory of integration to be defined for integrals of stochastic processes with respect to stochastic processes. It is used to model systems that behave… … Wikipedia
Epsilon calculus — Hilbert s epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The… … Wikipedia
