Posted on "2023Y09M"

  • SuBonan

All / 2023 Y / 09 MArchive

09-16 - 数学杂记
Galois Connection & Galois Embedding
09-09 - 文献阅读
A Correctness and Incorrectness Program Logic
SuBonan

SuBonan

やがて、平凡な人になる
132 posts
10 categories
  • Home
  • About
  • Posts
    • Archives
    • Categories

Random Posts

  • - 杂感
    纪念徐子焓
  • - 量子计算
    Quantum Key Distribution
  • - 数学杂记
    离散数学-代数系统
  • - 数学杂记
    应用近世代数 课堂记录
  • - 数学杂记
    概率论与数理统计
  • - 杂感
    记
  • - 量子计算
    Kuperberg’s algorithm for the dihedral Hidden Subgroup Problem
  • - 数学杂记
    Fibration
  • - 计算机基础
    图形学中的矩阵含义
  • - 数学杂记
    Time Hierarchy Theorem

Recent Comments

    © 2019 – 2026 SuBonan @ SuBonan
    Powered by Hexo & Theme.Shoka