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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

Вики

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

/

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

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