ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Operation
N-operation
Binary operation
Enclosed binary operation
Groupoid
Semigroup
Standard N-operation
Indexed sum
Series
Power series
Convergent power series
Convergent basic real power series
Standard natural real exponential function
Basic real logistic function
Definition D5708
Standard basic real logistic function
Formulation 0
The standard basic real logistic function is the D4364: Real function \begin{equation} \mathbb{R} \to (0, 1), \quad x \mapsto \frac{1}{1 + e^{- x}} \end{equation}
Children
Standard basic real inverse logistic function
Results
R4732