申请试用
HOT
登录
注册
 
005-first order predicate calculus
1 / 29

005-first order predicate calculus

飞飞fly
/
发布于
6年前
/
2024
人观看
This chapter is mainly about first order predicate calculus, which mainly includes propositional logic,predicate calculus,terms,sentences,making sentences,quantifiers,equality,backus-naur form,well formed formulas,location of quantifiers and so on.
6点赞
2收藏
0下载
相关推荐