集合論の記事

Illuminated letter P at the beginning of Adelard of Bath's translation of Euclid's Elements, which starts "Punctum est illud cui pars non est" (A point is that which has no part).[1] Geometry is shown personified as a woman, following Martianus Capella's De nuptiis Philologiae et Mercurii.[2]

数学の体系と世界への応用抽象概念から実社会のモデルまで

数学数論代数学幾何学

続きを読む →

ISO 31-11からISO 80000-2へ物理科学における数学記号の標準化

ISO 31-11ISO 80000-2数学記号国際標準

続きを読む →

An example of a formal specification (in Spanish) using the Z notation, with named schema boxes, including declarations and predicates

Z表記法計算機システムの厳密な仕様記述を実現する形式言語

Z表記法形式仕様形式手法集合論

続きを読む →