This series develops discrete structures that support algorithms and theoretical computer science. It will include Boolean algebra, number theory, relations, order, graph theory, and selected algorithmic techniques.

The current migration batch covers the completed Boolean algebra, number theory, and relations chapters. Their English notes have reviewed source text, and their Chinese counterparts provide a concise native-language entry point while diagrams and other source-generated assets remain pending. Graph theory and the later pure-mathematics topics remain roadmap items until their source chapters contain enough developed material.

Chapter map