官术网_书友最值得收藏!

習題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”可判定.

主站蜘蛛池模板: 黔江区| 科尔| 甘洛县| 盐亭县| 于田县| 德令哈市| 瑞昌市| 怀安县| 元氏县| 卓尼县| 濮阳市| 南江县| 监利县| 秦安县| 荆州市| 准格尔旗| 海丰县| 舒城县| 耿马| 南安市| 乃东县| 罗城| 阜阳市| 醴陵市| 南川市| 周至县| 始兴县| 新竹县| 富锦市| 汶上县| 廊坊市| 顺义区| 阜康市| 来凤县| 建始县| 南阳市| 琼中| 芜湖县| 元朗区| 山阳县| 溆浦县|