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

005-first order predicate calculus

飞飞fly
/
发布于
/
2011
人观看
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秒后跳转登录页面
去登陆