离散之心

离散之心是一款面向编程学习者与算法爱好者的轻量级教育类工具应用，专注于辅助理解离散数学核心概念（如集合、逻辑、图论、关系、归纳证明等）。它通过交互式示例、可视化图解和即时反馈练习，帮助用户夯实理论基础，提升抽象思维与形式化建模能力。应用不包含社交功能、网络通信或用户数据上传，完全本地运行，注重隐私与专注体验。

软件优势

1. 纯本地运行，无需联网，保障学习过程隐私安全
2. 所有知识点配套动态可视化演示（如真值表生成、图的遍历动画）
3. 内置渐进式习题系统，支持自动校验与分步提示
4. 界面简洁无干扰，专注内容呈现，适配深色/浅色模式
5. 支持离线导出学习笔记（Markdown格式），便于复习整理

使用教程

1. 启动应用后，点击首页“开始学习”进入知识图谱导航页
2. 选择任一模块（如“命题逻辑”），观看简明讲解并拖动滑块调整参数观察变化
3. 点击“练习”按钮完成交互题目，提交后查看解析与错误定位
4. 长按公式或图表可调出注释说明，双击节点可展开关联概念
5. 在设置中启用“学习记录”，可查看个人掌握度热力图（仅本地存储）

更新日志

v1.3.2（2024.06）：新增图论中的最短路径Dijkstra算法可视化；优化移动端触控响应精度；修复部分设备字体渲染异常问题。
v1.3.0（2024.03）：上线“归纳证明引导模式”，提供结构化填空式证明训练；增加键盘快捷键支持（如Ctrl+Enter快速提交）。
v1.2.1（2023.12）：适配macOS Sonoma及Windows 11新字体渲染引擎；修正关系闭包计算中的边界条件判断逻辑。