逻辑推理 – 阿木博客

发布于 8 小时前

0 热度无~ Racket

摘要

阿木博主一句话概括：基于回溯法的Racket语言实现数独求解算法阿木博主为你简单介绍：数独是一种流行的逻辑游戏，要求玩家在9×9的棋盘上填入数字，使得每一行、每一列以及每一个3×3的小格子内

发布于 7 天前

3 热度无~ Scheme

摘要

阿木博主一句话概括：基于Scheme语言的数学证明辅助语言初步实现阿木博主为你简单介绍：随着计算机科学的发展，数学证明辅助语言在数学研究和教育领域发挥着越来越重要的作用。本文以Scheme语言为基础，探讨了一种数