sigmoid_def

Mathlib.Analysis.SpecialFunctions.Sigmoid

URI: https://scilib.ai/kg/mathlib#Real.sigmoid_def

English

For all x ∈ ℝ, sigmoid(x) = (1 + e^(−x))^(−1).

Русский

Для всех x ∈ ℝ выполняется сигмоид: сигмоид(x) = (1 + e^(−x))^(−1).

LaTeX

$$$\operatorname{sigmoid}(x) = (1 + e^{-{x}})^{-1}$$$

Lean4

theorem sigmoid_def (x : ℝ) : sigmoid x = (1 + exp (-x))⁻¹ :=
  rfl

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru