数学描述与量子形式化