海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 用布尔代数推演芦笛和葵花宝典的逻辑
回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈
阅读上一个主题 :: 阅读下一个主题  
作者 用布尔代数推演芦笛和葵花宝典的逻辑   
所跟贴 谢指教!布尔代数我只懂点皮毛. 老越给来点更深入的证明? -- trout - (0 Byte) 2006-2-17 周五, 上午7:52 (71 reads)
越南人
[个人文集]






加入时间: 2004/02/14
文章: 7096

经验值: 97883


文章标题: 其实不能说更深入的证明,因为布尔代数很基本--后面发展起来的“证明推导”理论 (96 reads)      时间: 2006-2-17 周五, 上午8:00

是另一意义下的“深入研究”.
以后我会写一帖,略加介绍。

返回顶端
阅读会员资料 越南人离线  发送站内短信
    显示文章:     
    回复主题   printer-friendly view    海纳百川首页 -> 罕见奇谈 所有的时间均为 北京时间


     
    论坛转跳:   
    不能在本论坛发表新主题
    不能在本论坛回复主题
    不能在本论坛编辑自己的文章
    不能在本论坛删除自己的文章
    不能在本论坛发表投票
    不能在这个论坛添加附件
    不能在这个论坛下载文件


    based on phpbb, All rights reserved.
    [ Page generation time: 0.326045 seconds ] :: [ 23 queries excuted ] :: [ GZIP compression enabled ]