習題2.1
1.不寫程序,分別證明下列函數可計算:(1)m(x)=x(?x);(2)mx.
2.如果f(x,y)可計算,m是任意一個自然數,證明h(x)=f(x,m)可計算.
3.設g(x)是一個全可計算函數,證明謂詞M(x,y)≡“g(x)=y”可判定.
1.不寫程序,分別證明下列函數可計算:(1)m(x)=x(?x);(2)mx.
2.如果f(x,y)可計算,m是任意一個自然數,證明h(x)=f(x,m)可計算.
3.設g(x)是一個全可計算函數,證明謂詞M(x,y)≡“g(x)=y”可判定.