Lecture
第 07 章 PL 表列演算
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 08 章 PL 弗-希演算(一)
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 09 章 PL 弗-希演算(二)
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 10 章 PL 完全性定理
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 11 章 PL 自動證明程序
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 12 章 PL 傳統的分析
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 13 章 FOL 謂詞符號化
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.