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

加入VIP,免费下载
 

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

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

下载须知

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

版权提示 | 免责声明

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

1986_11 数理逻辑_11831100.pdf

General Information书名=1986.11 数理逻辑作者=A.G.汉密尔顿著页数=253SS号=11831100出版日期=1986.11前言目录第一章 非形式的命题演算 11 命题和联结词 12 真值函数和真值表 13 运算和代入规则 14 范式 15 联结词的完全集 16 论证和有效性第二章 形式的命题演算 21 形式系统L 22 L的完备性定理第三章 非形式的谓词演算 31 谓词和量词 32 一阶语言 33 解释 34 满足,真 第四章 形式的谓词演算 41 形式系统K? 42 等值,代入 43 前束范式 44 K的完备性定理 45 模型第五章 数学系统 51 引论 52 带等号的一阶系统 53 群论 54 一阶算术 55 形式集合论 56 一致性和模型第六章 哥德尔不完全性定理 61 引论 62 可表达性 63 递归函数和递归关系 64 哥德尔数 65 不完全性的证明第七章 可计算性,不可解性,不可判定性71 算法和可计算性72 图灵机73 字问题 74 形式系统的不可判定性附录 可数集和不可数集 部分习题的提示和解答 参考书目 符号表

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


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

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

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