YuRen-tw 筆記列表

文章

• 模算術
  • 新手友善 程式語言 數論
  • 同餘關係、模倒數
• 談 Void：以依值型態語言 Idris 為例
  • 程式語言 𝝺函數程設
  • 依值型態、Curry–Howard 對應
• 啥物是 Lambda Calculus
  • 未完成 台語文 新手友善 𝝺函數程設
  • Lambda Calculus

未公開

• 等價關係
  • 未完成 新手友善 程式語言
  • 等價類、互斥集合、分割、union–find 演算法

筆記

• 莫比烏斯反演
  • 未完成 組合學
  • 關聯代數、Möbius 反演、排容原理、和差分
• 結合律演算法
  • 未完成 程式語言
  • 快速冪、部分和、二分區間樹
• Horadam Sequences
  • 英語文
  • 二階齊次線性遞迴關係、Fibonacci 數
• 形式冪級數
  • 未完成
  • 形式冪級數
• Lambda encoding
  • 程式語言 𝝺函數程設
  • 不動點組合子、Church 編碼、Scott 編碼

未公開

• 行列式與路徑
  • 未完成 組合學
  • 行列式、Lindström–Gessel–Viennot 引理
• Chinese Remainder Theorem
  • 未完成 英語文 代數
  • 中國剩餘定理
• Burnside's 引理
  • 未完成 組合學
  • 群作用、軌道–穩定子群定理

其他

• theorem theme 說明文件
  • HackMD主題
• article theme 說明文件
  • HackMD主題