1樓：
你需要學習遞迴論。
最最簡單和入門的一本書：https://
，有老版中文版。
2樓：維洛逐風
如果乙個函式是由三個基本函式（零函式，後繼函式，對映函式）通過三種操作（替換，原始遞迴，極小化）獲得的，稱該函式是遞迴的
3樓：Htedsv
邏輯
「邏輯」作為程式語言的抽象，可以看成乙個平面而沒有層次的「描述」，對於可計算理論的基本問題——判定性問題，它可以被看做乙個過濾器，過濾掉那些是邏輯表示式為假的輸入。這裡的邏輯表示式包括所有的邏輯，比如謂詞邏輯、組合子邏輯、LTL等等。所有的邏輯都能用乙個量度來衡量：
表達能力，或者是計算能力。比如謂詞邏輯和組合子邏輯就是等價表達能力的。
求值
既然邏輯表示式是乙個「過濾器」，下一步就是要知道它如何工作的，也就是求值、計算的過程。比如謂詞邏輯通過Ehrenfeuchtra誰ss辿 game，組合子邏輯通過Lambda運算元。這個時候才會涉及到「遞迴」的概念，而且在不同的邏輯中遞迴的表示方法完全不同，所以不涉及「最基本」。
具體如何求值，或者求值過程可能遇到的問題是「可計算理論與複雜度理論」關心的。而數理邏輯主要研究把「計算過程」封裝之後的事情。
4樓：free_POC
我只知道比如「合式公式」的定義採用了「遞迴方法」，還真不知道數理邏輯裡有什麼最基本的遞迴函式。
或者參看維基百科的遞迴函式詞條吧：遞迴函式
有哪些值得推薦的學習數理邏輯的書籍？
阿平 也算是學了一點logic了，來答一波！之前有位答主其實答得挺全的，我現在還是入門，之後可能會更新。Computation theory Computability An Introduction To Recursive Function Theory Cutland 這本書感覺不是特別好，是...
數理邏輯和一般所謂的邏輯到底有什麼區別？
一般的邏輯，就是邏輯。邏輯一詞和科學一詞類似，都是關於某種事物的系統的學問，但二者的區別在於科學一般用於形容關於自然界中的事物的學問，而邏輯則多用於形容關於人的思維規律，特別是思維的形式規律的學問。數理邏輯，是關於形式邏輯和謂詞邏輯的邏輯，因為邏輯是關於思維規律，因此邏輯的邏輯也可以用邏輯的形容，當...
要學好數理邏輯需要學多少純數學的知識？
已登出 先不說學到後面會如何，就入門階段，數理邏輯需要的唯一數學基礎就是coding，或者說把現實中的任何數學物件 比如代數結構 或者非數學物件 白紙黑字的字串 編碼的知識。為什麼呢？數理邏輯最開始接觸的物件就兩種，一種是兩算，也就是經典命題 謂詞邏輯的語法和語義，另外就是可計算理論裡的部分遞迴函式...