海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 鼓励年青网友挑战现代的<<逻辑哲学>>
回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇
阅读上一个主题 :: 阅读下一个主题  
作者 鼓励年青网友挑战现代的<<逻辑哲学>>   
所跟贴 俺以前选学过这门课(没学分---没学完),在北美好像叫“ Modern Symbolic Logic”,有点意思,真当一 -- 布朗运动 - (36 Byte) 2010-5-11 周二, 上午9:15 (87 reads)
越南人
[个人文集]






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

经验值: 97883


文章标题: 是啊,那玩艺都是符号,难以联想,不易记忆,不当门课做题练习不行 (89 reads)      时间: 2010-5-11 周二, 上午9:40

我以前总设想,做一些能进行"希尔伯特"推理的硬件放在CPU中,
但看来近期没时间去考虑这个问题.

不知有无类似研究----我想是有的,有人介绍一下就好了.
返回顶端
阅读会员资料 越南人离线  发送站内短信
    显示文章:     
    回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇 所有的时间均为 北京时间


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


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