国内一线互联网在职谈谈对归国留学生的看法

一亩三分地论坛

 找回密码
 Sign Up 注册获取更多干货
E轮2.5亿美元融资
K12教育独角兽一起作业
北京-诚聘人工智能/教育/大数据岗
[Google级团队]
实时大数据分析领域践行者
北京/深圳-大数据/搜索/机器学习岗
码农求职神器Triplebyte:
不用海投
内推多家公司面试
把贵司招聘信息放这里
查看: 1706|回复: 8
收起左侧

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

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

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

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

x
数理逻辑、命题逻辑啥的和计算机科学有啥关系?

补充内容 (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芯片,会要求你用很多与或非门电路。 鏉ユ簮涓浜.涓夊垎鍦拌鍧.
再有如楼上说的,在编写汇编语言的时候会有大量的取反,求补操作。
而且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上?数理逻辑能指导你天马行空的思维安全落地~
回复 支持 反对

使用道具 举报

本版积分规则

提醒:发帖可以选择内容隐藏,部分板块支持匿名发帖。请认真读完以下全部说明:

■隐藏内容方法: [hide=200]你想要隐藏的内容比如面经[/hide]
■意思是:用户积分低于200则看不到被隐藏的内容
■可以自行设置积分值,不建议太高(200以上太多人看不到),也不建议太低(那就没必要隐藏了)
■建议只隐藏关键内容,比如具体的面试题目、涉及隐私的信息,大部分内容没必要隐藏。
■微信/QQ/电子邮件等,为防止将来被骚扰甚至人肉,以论坛私信方式发给对方最安全。
■匿名发帖的板块和方法:http://www.1point3acres.com/bbs/thread-405991-1-1.html

关闭

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

手机版|小黑屋|一亩三分地论坛声明

custom counter

GMT+8, 2018-4-27 01:32

Powered by Discuz! X3

© 2001-2013 Comsenz Inc. Design By HUXTeam

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