登录 注册
浙大论坛 > 新生入驻 > 浏览当前帖子 最新帖子进站窗口排行在线会员隐藏左侧栏
浙大的数学大神帮帮忙
返回本版】  【发表帖子】  【回复帖子 浏览量  4164      回帖数 5
夏天的味道    等级  

楼主 发表于  2012/8/1 16:09:50    编 辑   


N[0]是归纳集,证明对N[0]的任何元素x,y(而它们本身是**)来说,一下诸关系成立:
1.card x <=card x+
2.card 空集 <= card x+
3.card x < card y <==> card x+ <card y+
4.card x < card x+
5.card x < card y ==> card x+ <= card y
6.x=y <==> card x = card y


裸不干    等级  VIP

2 楼 发表于  2012/8/1 20:01:00    编 辑   


不懂帮顶@刺头ws

      
cetkey1    等级  VIP

3 楼 发表于  2012/8/1 21:55:14    编 辑   


木有人回答吗

      
白色的乌鸦    等级  VIP

4 楼 发表于  2012/8/1 23:14:27    编 辑   


会变的IP

      
waym6143    等级  VIP

5 楼 发表于  2012/8/1 23:42:25    编 辑   


这好像是数理逻辑或者是离散数学里的东西,自己去图书馆找点书看吧,早忘了

      
离离原上草    等级  VIP

6 楼 发表于  2012/8/2 3:18:18    编 辑   


重启了一下,就变了

      
1
表情
所有内容均为会员自愿发表,并不代表本站立场.
论坛帮助 友情链接 会员认证删帖申请 联系我们
©www.zju1.com  Processed in 0.14