自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(2)
  • 收藏
  • 关注

原创 图灵机停机不可判定证明

图灵机停机不可判定证明 利用反证法 假设存在一个M(p,d)可以判定p程序对就d输入是否停机程序p如下 p(d) { 如果 M(p,d)可停机 不可停机 否则 返回停机}请判定p否可停机 如果M(p,d)可停机 根据定义是不可停机的 如果M(p,d)不可停机,根据定义是停机的 

2007-07-09 18:22:00 2162

原创 我C++学习经历

记得刚上大学的时候,自己所学的专业是档案学郁闷了好久(未写完待续)

2004-07-11 11:40:00 615

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除