2024 10-07 Mac下将markdown转为pdf 09-24 Markdown check 工具 markdownlint 09-23 在M1芯片的Mac上安装Python 3.7 09-18 MkDocs(Material) + Github Pages 部署记录 08-26 线性规划模型 08-26 非线性规划模型 07-04 李宏毅老师ML 学习笔记【Introduction】 07-01 《并行程序设计》读书笔记 【为什么要并行计算】 07-01 计算机视觉自学笔记及实践【图像加密与解密】 06-30 计算机视觉自学笔记及实践【OpenCV】 05-13 Mathematical Logic [Lec10 FOL syntax] 05-13 Mathematical Logic [Lec09 Soundness and Completeness] 05-13 Mathematical Logic [Lec08 Resolution] 05-13 Mathematical Logic [Lec07 Natural Deduction System] 05-13 Mathematical Logic [Lec06 Proof Systems and Hilbert-style] 05-13 Mathematical Logic [Lec05 Entailment] 05-13 Mathematical Logic [Lec04 Semantics] 05-13 Mathematical Logic [Lec03 Propositional Logic] 05-13 Mathematical Logic [Lec02 Preliminaries] 05-13 Mathematical Logic [Lec01 Leading] 03-13 OpenMP Notebook