简单逻辑早就教了，数理逻辑学了也没用，学数学也不是逻辑，而是培养一种严谨的推理习惯

所有跟帖： 

• 嘿嘿，想当年数理逻辑跟计算机系很多课程是一样的 -skyport- ♂ (0 bytes) () 10/02/2017 postreply 19:36:58

• 和数理逻辑相关的是computability和Turing halting problem那种理论的东西，99.9%的码农根本用 -大观园的贾探春- ♀ (20 bytes) () 10/02/2017 postreply 19:43:50

• 码农首先要求考虑到问题空间所有区域，数学不好的人写出的代码一没有普适性，二会在很多样本空间出问题 -tibuko- ♂ (0 bytes) () 10/02/2017 postreply 19:46:39

• 那种思维训练还是有用的，写算法时感觉不一样，思路更清晰 -skyport- ♂ (0 bytes) () 10/02/2017 postreply 19:52:39

• 初中高中的代数几何到微积分没有一门课里有专门的逻辑（不管你称之formal or informal), 只有在推理时顺便提到。 -Francine- ♀ (339 bytes) () 10/02/2017 postreply 19:55:31

• 几何有。其中一章就叫Logic -greenoasis- ♀ (53 bytes) () 10/02/2017 postreply 20:09:01

• 好吧，你觉得几何里讲的那是逻辑，那就是吧。 -Francine- ♀ (0 bytes) () 10/02/2017 postreply 20:22:23

• 肯定是啊。最简单的数学逻辑。就这个很多学生都搞不明白 -greenoasis- ♀ (0 bytes) () 10/02/2017 postreply 20:25:04