您好,欢迎访问PDF电子书资源免费下载网
当前位置:首页 > 搜索
1目 录 第一章 绪论:从直观到形式 1 从“矛盾”说起 2 直观上的推理 3 正确推理 4 一阶语言 5 推演系统 第二章 集合 1 集合(不)是什么? 2 关系 3 函数 4 可数集与不可数集 第三章 一阶语言的语形 1 字母表 2 归纳定义...
Powered by 阿里PDF-免费文档电子书下载
Copyright © PDF电子书资源免费下载网 All Rights Reserved. 皖ICP备2021018472号-4