ImageVerifierCode 换一换
格式:PDF , 页数:331 ,大小:9.82MB ,
资源ID:7035852      下载积分:10 文币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.wenkunet.com/d-7035852.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录   微博登录 

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(1990_04 数理逻辑导引_10201403.pdf)为本站会员(fydodygffhjjrfjik)主动上传,文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知文库网(发送邮件至13560552955@163.com或直接QQ联系客服),我们立即给予删除!

1990_04 数理逻辑导引_10201403.pdf

General Information书名=1990.04 数理逻辑导引作者=张尚水页数=326SS号=10201403出版日期=1990年04月第1版前言目录绪论 1 数理逻辑 2 预备知识第一章 命题逻辑 1 复合命题 联结词 2 真值联结词 真值形式 3 命题形式 真值表方法 4 真值函数 重言式 5 重言后承 推理的形式结构 6 联结词的可定义性、完全性和独立性 7 等值 对偶性 范式第二章 命题演算 1 形式系统 2 命题演算P的语言及其语法 3 P的公理和推理规则 4 演绎定理 5 P中定理的证明(续) 6 赋值 重言式 7 P的可靠性和协调性 8 P的弱完全性 9 P的强完全性 10 公理的独立性 11 命题逻辑的其它公理系统 12 命题逻辑的自然推理系统第三章 一阶谓词逻辑 1 个体词 谓词 函数词 2 变元和量词 3 自由变元和约束变元 4 谓词逻辑的命题形式 5 一阶语言 6 一阶语言的语义 7 代入 8 表列方法 9 范式第四章 一阶谓词逻辑(续) 1 一阶谓词演算 2 定理的推演 导出规则 3 演绎定理 4 定理的推演(续)对偶原则 5 可靠性和协调性 6 完全性 7 带等词的一阶谓词演算 8 模型论初步

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:文库网官方知乎号:文库网

经营许可证编号: 粤ICP备2021046453号世界地图

文库网官网©版权所有2025营业执照举报