ch3 集合论

形式语义 集合论
Formal Semantics
专栏索引 专栏目录 / Formal Semantics / 章节页
Publish Date:   2026-01-22
Word Count:   69

ch3 集合论

集合论的知识也是离散数学学的，但是在这一章节提到了在形式语义中不同的逻辑记号的表达方式。最后还学了点lambda演算。

👉 点击这里阅读下一篇：《ch4 操作语义》

Author: linda1729
Link: https://linda1729-blog.netlify.app/posts/2026-01-22-formal-semantics-ch3-set-theory/
Reprint policy: All articles in this blog are used except for special statements CC BY 4.0 reprint policy. If reproduced, please indicate source linda1729 !
形式语义 集合论
赏
评论
  TOC