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