数理逻辑引论——计算机科学与系统的天然基础 电子书下载 PDF下载
内容简介
数理逻辑系统是形式语言、形式语义和证明的三位一体。《数理逻辑引论：计算机科学与系统的天然基础》讨论这类系统的核心思想、重要概念、组成部分、构建方法，以及它们与数学和计算机科学的紧密关系，解释数理逻辑系统中符号化语言、解释、模型等概念，研究递归、迭代、分解组合、模块化、等价替换等处理结构复杂性的方法和技术。正是这些概念、结构、方法和技术形成了计算思维的核心，也成为计算机科学和计算机软件与系统的天然基础。
同类热门电子书下载更多
- 计算机联锁基本知识
- 类脑智能目标检测原理及应用
- 数理逻辑引论——计算机科学与系统的天然基础
- 统计计算与智能分析理论及其Python实践
- 微型计算机原理与接口技术(第6版)
- 计算理论导引（英文版·第3版）
- 丹尼尔·希利斯讲计算机
- 网络嵌入：理论、方法和应用（异步图书出品）
- 计算机应用基础（第3版）
- 计算机世界大冒险：泰拉与七贤者（图灵出品）
- 生活数字化与网络民俗
- UI/UE系列丛书 用户至上：用户研究方法与实践（原书第2版）
- 与量子比特共舞（异步图书出品）
- 计算流体力学
- 计算材料
- 知识图谱建模与智能推理技术
- 微处理器体系结构专利技术研究方法 第三辑：X86指令实现专利技术
- 社会网络分析：软计算方法及应用
- 趣学算法（第2版）（异步图书出品）
- 【新版】大话计算机：计算机系统底层架构原理极限剖析（套装共3册）冬瓜哥著 清华大学出版社图书
Copyright © 2024 by topbester.com.
All Rights Reserved.
沪ICP备14027842号-1
All Rights Reserved.
沪ICP备14027842号-1