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

005-first order predicate calculus

飞飞fly
/
发布于
/
1810
人观看
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下载
相关文档
确认
3秒后跳转登录页面
去登陆