计算思维与各学科的关系

众所周知,计算思维对计算机相关学科的影响不言而喻,它还与其他学科相结合,促进其他学科的研究和创新,同时为各学科专业人才提供了计算手段。 1. 应用计算手段促进各学科的研究和创新 各学科应用计算手段进行...
阅读全文

数理逻辑的近现代发展历史

到17世纪,随着实验自然科学的兴起和发展,英国哲学家弗兰西斯·培根开拓了新的逻辑科学领域,研究了科学归纳法问题,奠定了归纳逻辑的基础。培根的主要著作是《新工具》。在这部著作中,培根抨击了中世纪经院哲学...
阅读全文