关注什么
Quantum PL Wiki 是一部由站点所有者个人维护的百科,关注量子编程语言、量子程序语义与形式化验证。它将概念介绍、数学表述与参考文献放在一起,帮助读者建立领域地图。
如何阅读
第一次访问,可以从阅读路径开始;已有具体问题,可以使用页面顶部的搜索,或在词条索引中按主题查找。相关词条通过正文链接互相连接。
当前版本
这是网站的首个 demo。当前词条是用于展示内容组织与阅读体验的介绍性草稿,尚未经站点作者逐条学术审定,不应替代教材、论文或工具官方文档。每篇词条列出参考入口,供进一步核实和深入阅读。
编写原则
区分直觉、定义与定理;注明结论成立的条件;优先链接原始文献。网站由所有者编辑,读者无需注册即可阅读。
理解一个程序,不仅是知道它能做什么,也是知道为什么。