習題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”可判定.
推薦閱讀
- 動物免疫學技術
- 服務外包客戶關系管理(廣東外語外貿大學國際服務外包人才培訓系列教材)
- 新編體育經紀人教程(第四版)
- ANSYS 14.0超級學習手冊
- 機械基礎
- 2020年全國碩士研究生招生考試臨床醫學綜合能力(中醫)中醫診斷學考點歸納與歷年真題詳解
- 陳琦、劉儒德《當代教育心理學》(第2版)配套題庫【名校考研真題+課后習題+章節題庫+模擬試題】
- 王佐良《歐洲文化入門》筆記和課后習題詳解
- 網頁設計與制作案例教程(Dreamweaver CS5+Div+CSS+JavaScript)
- 王傳麗《國際經濟法》(高等教育出版社第3版)筆記和課后習題詳解
- 中國人形象規律教程:男性色彩與風格分冊(第2版)
- MATLAB 2020信號處理從入門到精通
- 操作系統習題解答與實驗指導(第四版)
- 成本會計
- 軟飲料加工技術