sigmoid

Mathlib.Analysis.SpecialFunctions.Sigmoid

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

English

The sigmoid function is a real-valued function from ℝ to ℝ defined by sigmoid(x) = (1 + e^(−x))^(−1).

Русский

Сигмоидальная функция — это функция от ℝ к ℝ, заданная формулой sigmoid(x) = (1 + e^(−x))^(−1).

LaTeX

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

Lean4

/-- The sigmoid function from `ℝ` to `ℝ`. -/
noncomputable def sigmoid (x : ℝ) :=
  (1 + exp (-x))⁻¹

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

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

Разделы

Аффилиация

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