一亩三分地论坛

 找回密码
 获取更多干货,去instant注册!

扫码关注一亩三分地公众号
查看: 931|回复: 8
收起左侧

[研究方向] 一直不明白,数理逻辑和计算机科学有啥关系?

[复制链接] |试试Instant~ |关注本帖
时不我待 发表于 2016-2-16 23:48:17 | 显示全部楼层 |阅读模式

注册一亩三分地论坛,查看更多干货!

您需要 登录 才可以下载或查看,没有帐号?获取更多干货,去instant注册!

x
数理逻辑、命题逻辑啥的和计算机科学有啥关系?. Waral 鍗氬鏈夋洿澶氭枃绔,

补充内容 (2016-2-16 23:51):
感觉数理逻辑、重言式啥的太矫情了。
ryb 发表于 2016-2-17 00:02:23 | 显示全部楼层
你是指离散数学吗。。虽然到现在大部分都忘了 但是有些还是挺有用的。。比如德摩根定律。。学多了能让你变得更加geek 更加亲近于和计算机交流:)
回复 支持 反对

使用道具 举报

Sin 发表于 2016-2-17 00:13:48 | 显示全部楼层
了解底层的计算是如何进行的,学了汇编就会有体会了。
回复 支持 反对

使用道具 举报

wwk55551111 发表于 2016-2-17 00:44:34 | 显示全部楼层
很多底层的东西会用到,你设计一个74芯片,会要求你用很多与或非门电路。.鏈枃鍘熷垱鑷1point3acres璁哄潧
再有如楼上说的,在编写汇编语言的时候会有大量的取反,求补操作。
而且nlp问题用数学语言反映出来会有很多集,群的表示……
回复 支持 反对

使用道具 举报

mingkai 发表于 2016-2-17 15:06:25 | 显示全部楼层
开玩笑的说,没有20世纪的数理逻辑,就没有图灵机。机械工业出版社有本形式语言与自动机,An introduction to Formal Language and Automata, 好像不错。没有正面回答,因为我不是内行,见笑了。
回复 支持 反对

使用道具 举报

EkoLanWei 发表于 2016-2-17 15:23:37 | 显示全部楼层
智商! 智商! 智商! zhishang1
回复 支持 反对

使用道具 举报

Mr.Brain 发表于 2016-2-17 23:54:51 | 显示全部楼层
因为计算机就是按数理逻辑造出来的,然后它有了数理逻辑,可以替你解决问题,你这个使用者自然只管码代码了。。。
回复 支持 反对

使用道具 举报

无聊分子 发表于 2016-2-18 01:31:01 | 显示全部楼层
高级语言往下实现时的图灵等价,为什么Haskell和prolog这样两种差别巨大的语言都能跑在x86上?数理逻辑能指导你天马行空的思维安全落地~
回复 支持 反对

使用道具 举报

本版积分规则

请点这里访问我们的新网站:一亩三分地Instant.

Instant搜索更强大,不扣积分,内容组织的更好更整洁!目前仍在beta版本,努力完善中!反馈请点这里

关闭

一亩三分地推荐上一条 /5 下一条

手机版|小黑屋|一亩三分地论坛声明 ( 沪ICP备11015994号 )

custom counter

GMT+8, 2016-12-4 18:26

Powered by Discuz! X3

© 2001-2013 Comsenz Inc. Design By HUXTeam

快速回复 返回顶部 返回列表