「程式語言、邏輯學」修訂間的差異
跳至導覽
跳至搜尋
Tankianting(討論 | 貢獻) |
Tankianting(討論 | 貢獻) |
||
行 11: | 行 11: | ||
* [[形式邏輯筆記]] (Note of ''[[:檔案:forallx.pdf|Forall X]]'') | * [[形式邏輯筆記]] (Note of ''[[:檔案:forallx.pdf|Forall X]]'') | ||
* [[型別理論與形式證明筆記]] (Note of ''Type Theory and Formal Proof: An Introdution'') | * [[型別理論與形式證明筆記]] (Note of ''Type Theory and Formal Proof: An Introdution'') | ||
* [[Program=Proof筆記]] | |||
== 程式語言 == | == 程式語言 == |
於 2023年6月25日 (日) 16:58 的修訂
Personal projects / 個人專案
邏輯學、型別理論
- 形式邏輯筆記 (Note of Forall X)
- 型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)
- Program=Proof筆記
程式語言
程式語言撇步
Python
LaTeX
- 檔案:大家來學LaTeX(第1版).pdf 轉載。2004 年的文章,當時協助許多臺灣的 LaTeX 使用者入門。GFDL 授權。
通訊協定
編輯器
- 視覺化2個文件的差分 (diff)
vim -d 檔案1 檔案2