bodd

Mathlib.Data.Int.Bitwise

URI: https://scilib.ai/kg/mathlib#Int.bodd

English

bodd n returns true if n is odd, false otherwise.

Русский

bodd n возвращает true, если n нечётно, иначе false.

LaTeX

$$$\\mathrm{bodd}: \\mathbb{Z} \\to \\{true, false\\}, \\quad \\mathrm{bodd}(n) = \\text{true} \\iff n \\text{ is odd}$$$

Lean4

/-- `bodd n` returns `true` if `n` is odd -/
def bodd : ℤ → Bool
  | (n : ℕ) => n.bodd
  | -[n+1] => not (n.bodd)

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

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

Разделы

Аффилиация

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