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