「程式語言、邏輯學」修訂間的差異

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
行 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 / 個人專案

邏輯學、型別理論

程式語言

程式語言撇步

Python

LaTeX

通訊協定

編輯器

  • 視覺化2個文件的差分 (diff) vim -d 檔案1 檔案2

讀書筆記