1. 首页
  2. 移动开发
  3. 其他
  4. 每个人的逻辑Logic For Everyone

每个人的逻辑Logic For Everyone

上传者: 2020-08-12 17:56:20上传 TXT文件 95B 热度 14次
涵盖了命题和谓词演算中的所有基本材料。 应用包括通过紧性定理以及生成弱超字和超逻辑运算符获得的非标准模型。
用户评论