NOTES

笔记

这里是公开笔记入口。课程讲义、公式测试、公开边界都会在这里形成索引，也会按公开范围进入碧影的知识库。

中文主源可被碧影读取持续整理

这里是公开笔记入口。每篇笔记都可以被翻译成英文，并按 public 与 avatar_readable 控制是否进入碧影知识库。

覆盖逻辑与证明、集合与函数、算法、归纳递归、计数、关系等主题。

数学证明计数

阅读

覆盖信息表示、布尔代数、组合逻辑、运算部件、时序逻辑、ISA 与 RISC-V。

系统逻辑 RISC-V

阅读

覆盖算法分析、线性表、栈队列、树、堆、并查集、线段树、图与拓扑排序。

算法数据结构图

阅读

定义碧影能读什么、不能读什么。

公开范围碧影

阅读

用于验证 Markdown 中的数学公式渲染。

MathJax 公式

阅读

笔记模板¶

---
title: 标题
summary: 一句话摘要
public: true
avatar_readable: true
tags:
  - tag
---