离散之心

离散之心是一款面向数学与计算机科学学习者的轻量级教育类工具应用，专注于辅助理解离散数学核心概念，如集合论、逻辑推理、图论、关系与函数等。它提供交互式示例、可视化图表和即时反馈练习，适用于学生、教师及自学者。

软件优势

1. 概念可视化强：关键知识点（如哈密顿回路、真值表、偏序关系）支持动态图形演示。
2. 无网络依赖：全部功能本地运行，保护隐私且支持离线使用。
3. 学习路径清晰：内置结构化课程模块，按难度分级，适配不同基础用户。
4. 即时验证机制：练习题提交后实时解析错误原因，强化理解而非仅判对错。
5. 跨平台兼容：支持Windows、macOS及Linux系统，安装包体积小，资源占用低。

使用教程

1. 下载安装：访问官网获取对应系统版本安装包，双击完成安装（无需管理员权限）。
2. 启动入门：首次运行选择学习目标（如“准备期末考试”或“自学图论”），系统自动推荐首课。
3. 交互学习：点击左侧目录进入章节，右侧区域可拖拽节点构建关系图、输入命题验证逻辑等。
4. 练习巩固：每节末尾含3–5道自适应题目，答错时显示知识点提示与参考解析。
5. 进度同步：登录可选账户（非强制）同步学习记录，支持导出笔记与错题集为PDF。

更新日志

v1.4.2（2024年6月）：新增布尔代数化简动画演示；优化图论算法可视化帧率；修复部分高DPI屏幕显示异常问题。
v1.4.0（2024年3月）：上线中文语音讲解选项（可选开启）；增加离散概率基础模块；支持Dark Mode主题切换。
v1.3.1（2023年11月）：改进逻辑表达式输入法，支持LaTeX风格快捷键；提升多语言界面稳定性。