APP 遞歸論 dì guī lùn
數(shù)理邏輯的主要分支之一。包括自然數(shù)集上的遞歸論和廣義遞歸論。前者是對(duì)算法概念的一種精確的刻畫(huà)，由于它對(duì)給定值的計(jì)算往往回歸到已知值而求出，故名?？捎眠f歸方法計(jì)算的函數(shù)稱(chēng)為遞歸函數(shù)。在此基礎(chǔ)上產(chǎn)生了廣義遞歸論，它是研究在一切數(shù)學(xué)結(jié)構(gòu)的類(lèi)型上用遞歸方式來(lái)定義的一般過(guò)程的理論。它的發(fā)展有深刻的*模型論和*公理集合論的背景，可作為模型論、公理集合論的工具。遞歸論在計(jì)算機(jī)科學(xué)中有重要應(yīng)用。
