The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.

 
  • 摘要連續函數的不動(dòng)點(diǎn)是指稱(chēng)語(yǔ)義的一個(gè)重要內容,它刻畫(huà)了程序的計算性質(zhì)。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan