習題1.3

1．設計程序證明下面的函數是可計算的.

2．設P為程序，則是什么？（其中2表示有2個變量.）

3．設P為一個沒有任何躍命令的程序.證明存在數m使得要么要么.