时序逻辑

在计算机出现后的最初几十年里,计算机实质上是一个巨大的计算器,数字被录入,计算结果被输出。直到20世纪70年代,科学家们才意识到需要正确地验证这些计算结果。随着电脑变得更强大,软件更先进,多任务和变化的数据核查变得更加困难。

资源总数
500

时序逻辑 热门资料

查看全部 500 份 →

科学发现的逻辑》是波珀的代表作,也是现代科学哲学颇享盛名的主要代表作之一。本书主要讨论知识理论的两个基本问题:划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性,科学的方法不是归纳法而是演绎检验法。书中提出的有关科学的性...

2014-01-09 90 时序逻辑