codecamp

逻辑是消除歧义的工具



逻辑是消除歧义的工具,我们平时使用的语言---》自然语言,是极易产生歧义的,程序员必须走出自然语言歧义的迷宫(Maybe,可能等自然语言)。程序只有0和1,true或false,><=。


致对逻辑持否定意见的读者----》对程序员来说,运用逻辑思考问题至关重要,计算机可不管我们的喜怒哀乐,它总是按照逻辑运行(0和1)。


“程序,给我好好运行啊!”,无论怎样对它说多少次,逻辑上有错的程序都不会正确运行。反之,逻辑上正确,程序运行几百万次也不会出错,因此也不必担心程序不好好运行,程序是不为我们的感情所动的。


很多人都觉得,"逻辑冰冷且机械死板",确实,逻辑有这种特征,但正因如此,它才有用,人类易被感情左右,但计算机不同,正因为它冰冷且机械死板,计算机才会一直稳定地运行,给我们所用。


程序员处于人类和计算机的分界线上(中间,人与机器的中间,我们是人,我们有感情,我们是程序员,我们不能有太多的感情。),只要做到逻辑性的思考和表达,就不会被常识和感情所困,从而写出符合要求的规格说明和程序。程序员应努力将问题转化为程序,让计算机有活可干。

逻辑是消除歧义的工具,我们平时使用的语言---》自然语言,是极易产生歧义的,程序员必须走出自然语言歧义的迷宫(Maybe,可能等自然语言)。程序只有0和1,true或false,><=。


致对逻辑持否定意见的读者----》对程序员来说,运用逻辑思考问题至关重要,计算机可不管我们的喜怒哀乐,它总是按照逻辑运行(0和1)。


“程序,给我好好运行啊!”,无论怎样对它说多少次,逻辑上有错的程序都不会正确运行。反之,逻辑上正确,程序运行几百万次也不会出错,因此也不必担心程序不好好运行,程序是不为我们的感情所动的。


很多人都觉得,"逻辑冰冷且机械死板",确实,逻辑有这种特征,但正因如此,它才有用,人类易被感情左右,但计算机不同,正因为它冰冷且机械死板,计算机才会一直稳定地运行,给我们所用。


程序员处于人类和计算机的分界线上(中间,人与机器的中间,我们是人,我们有感情,我们是程序员,我们不能有太多的感情。),只要做到逻辑性的思考和表达,就不会被常识和感情所困,从而写出符合要求的规格说明和程序。程序员应努力将问题转化为程序,让计算机有活可干。

逻辑是消除歧义的工具,我们平时使用的语言---》自然语言,是极易产生歧义的,程序员必须走出自然语言歧义的迷宫(Maybe,可能等自然语言)。程序只有0和1,true或false,><=。


致对逻辑持否定意见的读者----》对程序员来说,运用逻辑思考问题至关重要,计算机可不管我们的喜怒哀乐,它总是按照逻辑运行(0和1)。


“程序,给我好好运行啊!”,无论怎样对它说多少次,逻辑上有错的程序都不会正确运行。反之,逻辑上正确,程序运行几百万次也不会出错,因此也不必担心程序不好好运行,程序是不为我们的感情所动的。


很多人都觉得,"逻辑冰冷且机械死板",确实,逻辑有这种特征,但正因如此,它才有用,人类易被感情左右,但计算机不同,正因为它冰冷且机械死板,计算机才会一直稳定地运行,给我们所用。


程序员处于人类和计算机的分界线上(中间,人与机器的中间,我们是人,我们有感情,我们是程序员,我们不能有太多的感情。),只要做到逻辑性的思考和表达,就不会被常识和感情所困,从而写出符合要求的规格说明和程序。程序员应努力将问题转化为程序,让计算机有活可干。

逻辑是消除歧义的工具,我们平时使用的语言---》自然语言,是极易产生歧义的,程序员必须走出自然语言歧义的迷宫(Maybe,可能等自然语言)。程序只有0和1,true或false,><=。


致对逻辑持否定意见的读者----》对程序员来说,运用逻辑思考问题至关重要,计算机可不管我们的喜怒哀乐,它总是按照逻辑运行(0和1)。


“程序,给我好好运行啊!”,无论怎样对它说多少次,逻辑上有错的程序都不会正确运行。反之,逻辑上正确,程序运行几百万次也不会出错,因此也不必担心程序不好好运行,程序是不为我们的感情所动的。


很多人都觉得,"逻辑冰冷且机械死板",确实,逻辑有这种特征,但正因如此,它才有用,人类易被感情左右,但计算机不同,正因为它冰冷且机械死板,计算机才会一直稳定地运行,给我们所用。


程序员处于人类和计算机的分界线上(中间,人与机器的中间,我们是人,我们有感情,我们是程序员,我们不能有太多的感情。),只要做到逻辑性的思考和表达,就不会被常识和感情所困,从而写出符合要求的规格说明和程序。程序员应努力将问题转化为程序,让计算机有活可干。

真与假的二元世界
画一根数轴辅助思考
温馨提示
下载编程狮App,免费阅读超1000+编程语言教程
取消
确定
目录

关闭

MIP.setData({ 'pageTheme' : getCookie('pageTheme') || {'day':true, 'night':false}, 'pageFontSize' : getCookie('pageFontSize') || 20 }); MIP.watch('pageTheme', function(newValue){ setCookie('pageTheme', JSON.stringify(newValue)) }); MIP.watch('pageFontSize', function(newValue){ setCookie('pageFontSize', newValue) }); function setCookie(name, value){ var days = 1; var exp = new Date(); exp.setTime(exp.getTime() + days*24*60*60*1000); document.cookie = name + '=' + value + ';expires=' + exp.toUTCString(); } function getCookie(name){ var reg = new RegExp('(^| )' + name + '=([^;]*)(;|$)'); return document.cookie.match(reg) ? JSON.parse(document.cookie.match(reg)[2]) : null; }