- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問答題
【簡答題】什么是形式化方法？
答案：
形式化方法是基于嚴(yán)密的、數(shù)學(xué)上的形式機(jī)制的開發(fā)方法。它包括形式規(guī)格，以及支持規(guī)格語言的語法檢查和規(guī)格屬性證明的方法和工具...
你可能感興趣的試題
問答題
【簡答題】簡述古代學(xué)者惟一的一次公理化方法嘗試。
答案：
“蓋天學(xué)說”是我國古代學(xué)者惟一的公理化方法嘗試。該學(xué)說構(gòu)建了一個幾何宇宙模型。該學(xué)說中的公理有兩個：一個是“天地為平行平...
問答題
【簡答題】平面幾何的公理化概括（歐氏幾何）。
答案：
在歐幾里德的《幾何原本》中，歐幾里德用公理化方法對當(dāng)時的數(shù)學(xué)知識（平面幾何）作了系統(tǒng)化、理論化的總結(jié)。在書中，他以點(diǎn)、線...
