Z notation

Вики

S (теория множеств)

/

S (теория множеств) Обзор теории множеств Булоса Теория множеств Булоса (S) — это итеративная система множеств, которая не включает аксиому […]

Вики

S (теория множеств)

/

S (теория множеств) Обзор теории множеств Булоса Теория множеств Булоса (S) — это итеративная система множеств, которая не включает аксиому

Вики

Теория множеств Цермело–Френкеля

/

Теория множеств Цермело–Френкеля Основные аксиомы теории множеств Аксиома множества: существует множество, не равное пустому множеству.  Аксиома пустого множества: пустое множество

Вики

Теория множеств Цермело–Френкеля

/

Теория множеств Цермело–Френкеля Основные аксиомы теории множеств Аксиома множества: существует множество, не равное пустому множеству.  Аксиома пустого множества: пустое множество

Вики

Сплав (язык спецификации)

/

Сплав (язык спецификации) Основы языка Alloy Alloy — это декларативный язык для выражения сложных структурных ограничений в ПО.  Он основан

Вики

Обозначение Z

/

Обозначение Z Z-нотация — формальный язык спецификации для описания и моделирования вычислительных систем.  Жан-Раймон Абриал разработал Z-нотацию в 1974 году

Вики

Теория множеств Цермело–Френкеля

/

Теория множеств Цермело–Френкеля Теория множеств — раздел математики, изучающий свойства множеств и их отношений.  Аксиомы теории множеств являются основными утверждениями,

Вики

Общая теория множеств

/

Общая теория множеств Общая теория множеств (GST) разработана Джорджем Булосом и является слабой теорией множеств, достаточной для математики без бесконечных

Прокрутить вверх