注册 | 登录
100 条"面向计算机科学的数理逻辑系统建模与推理"搜索结果
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理：系统建模与推理
高等数学（下册） 电子书
高等数学（下册）
  • 保定学院 数学与计算机系 编
  • 本书系统介绍了高等数学的基本概念、基本理论和基本方法，分为上、下两册。上册含函数、极限和连续，导数与微分，微分中值定理与导数的应用，不定积分，定积分及其应用。下册含向量代数与空间解析几何、多元函数微分学、多元函数积分学、无穷级数、常微分方程等内容。每章均配有习题，书末附有习题参考答案，便于教与学。本书还引入数学工具软件Matlab，配合书中内容，介绍了用Matlab解数学问题的基本方法。本书可用作
程序员的7堂职场课 电子书
程序员的7堂职场课
  • 面包理想
  • 50000+程序员的真实职场经验总结。
计算机组成原理实验指导（基于RISC-V在线实训） 电子书
计算机组成原理实验指导（基于RISC-V在线实训）
  • 组编
  • “计算机组成原理”是一门理论性、工程性和实践性都很强的专业核心基础课程，其实践教学对理论教学具有强支撑作用，是强化读者计算机系统能力、分析与解决复杂工程问题能力的重要途径。作者本着“理论与实践一体化、实验目标系统化、实验平台虚拟化、课程实验在线化、实验过程游戏化”的原则，历经十年持续的实践教学改革，开发了一系列原创的硬件在线仿真实验，建立了立足计算机系统、逐层递进、以设计型实验为主导的实践教学体系
计算机操作系统实验指导——基于RISC-V代理内核（在线实训版） 电子书
计算机操作系统实验指导——基于RISC-V代理内核（在线实训版）
  • 组编
  • 本书为基于RISC-V代理内核的计算机操作系统实验教材，实验分为设计基础实验和挑战实验两个部分，主要内容包括RISC-V体系结构、PKE实验和实验环境配置、中断处理、内存管理、进程管理、文件系统。本书采用RISC-V代理内核在实现代码规模极简化的同时，也更好地保证可操作系统在概念和功能上的完整性，有助于学生将实验重点放在操作系统重要概念对应的实现。本书可作为计算机类、电子信息类相关专业操作系统课程
数字电路与逻辑设计（微课版） 电子书
数字电路与逻辑设计（微课版）
  • 华中科技大学计算机科学与技术学院　组编
  • 本书内容结合微电子产业和计算机硬件产业的最新发展现状和技术前沿，注重基础性、高阶性、创新性和挑战性相结合，采用模块化的思想对教学内容进行有机划分，全书共9章，可以分为三个部分。第一部分是数字逻辑电路的基础，由第1～3章组成，包括基本知识、逻辑代数基础、半导体与集成门电路；第二部分是数字逻辑电路的经典设计和分析方法，由4～8章组成，包括组合逻辑电路、触发器、时序逻辑电路、信号产生与变换电路、数模和模
数理统计及其在数学建模中的实践（使用MATLAB） 电子书
数理统计及其在数学建模中的实践（使用MATLAB）
  • 汪祥莉
  • 本书介绍概率与数理统计分析的基本概念、典型应用及使用MATLAB进行实际建模分析的基本方法和应用。主要内容包括：利用MATLAB制作统计报告或报表、数据处理与统计作图、统计估计、参数检验、方差分析、回归分析与数据拟合、马尔可夫链、数理统计建模实验设计等。本书可作为大学“数学实验”和“数学建模”课程的教材，也可作为广大科研人员、学者、工程技术人员的参考用书。
大学计算机——面向实践与创新能力培养 电子书
大学计算机——面向实践与创新能力培养
  • 普运伟
  • 全书共分8章，内容包括：信息社会与计算思维、计算机硬件组成与工作原理、计算机软件平台与资源管理、工程文档与数字化编辑、数据库与信息管理、多媒体与信息可视化、计算机网络与数字化生存、问题求解与算法设计。本书以发展学生的计算思维和创新应用能力为导向，介绍计算机基础中共性和相对稳定的概念、知识和方法。
计算机科学概论与计算思维 电子书
计算机科学概论与计算思维
  • 刘新 褚芸芸 吴昊　编著
  • 本书共7章，不仅用浅显易懂的语言介绍了计算机相关的基本概念与基础理论，还辅之以相应的实例，同时对计算机科学领域的新知识和新概念进行了必要的介绍。考虑到部分学生有参加全国计算机等级考试的需求，本书还兼顾了全国计算机等级考试(二级)新大纲中对公共基础部分的要求。
适生于社会科学的因果理论和因果推理 电子书
适生于社会科学的因果理论和因果推理
  • 本书以社会科学哲学中的可操控性理论和机制论的对立和互补理论为主线，从证据理论的角度分析两者在因果性问题上的融贯，以概率论为基础探讨推进因果推理的路径，并在因果建模的实践中深化对因果性概念的理解。
计算机科学概论 电子书
计算机科学概论
  • 吕云翔 李子瑨 翁学平
  • 本书从计算机基础知识、计算机硬件、计算机软件、计算机数据、计算机网络和安全、计算机发展前景六个方面对计算机科学相关内容进行了介绍。本书对计算机科学领域的重要理论知识有广泛的覆盖，内容全面翔实，语言易读易懂，有充分的图片、举例、练习和拓展阅读，是高等院校计算机科学、软件工程及计算机相关专业学生入门的理想教材。
大学计算机基础实训教程（第二版） 电子书
大学计算机基础实训教程（第二版）
  • 《大学计算机基础》编写组
  • 本书是《大学计算机基础》（第二版）（中国铁道出版社有限公司，《大学计算机基础》编写组）的配套教材。本书的编写目的是供教师指导实验教学、学生自学使用。　　本书包括了主教材中需要上机操作的内容，主要内容有Windows10操作系统、办公自动化软件Office2010（Word2010、Excel2010、PowerPoint2010）、数据库应用基础、计算机网络与Internet技术基础、计算机信息安
大学计算机基础（第二版） 电子书
大学计算机基础（第二版）
  • 《大学计算机基础》编写组
  • 本书是根据教育部《关于进一步加强高等学校计算机基础教学的意见》中有关“大学计算机基础”课程的教学要求编写的。全书共9章，主要内容包括计算机基础知识、Windows10操作系统管理、Word2010文字处理、Excel2010电子表格处理、PowerPoint2010演示文稿制作、数据库应用基础、计算机网络与Internet技术基础、计算机信息安全、多媒体技术等。　　本书从培养学生的计算思维出发，兼
Serverless核心技术和大规模实践 电子书
Serverless核心技术和大规模实践
概率论与数理统计 电子书
概率论与数理统计
  • 同济大学数学系
  • 　　1.内容经典，附二维码方式增加章导读以及扩展阅读内容，既体现数学严谨的思维逻辑，又反映数学之美。　　2.细化考研题目。配套辅导教材将细致讲解考研题目，培养学生的逻辑思维能力。　　3.随时更新新技术发展资料，配有微课视频。
高等数学习题全解上册 电子书
高等数学习题全解上册
  • 同济大学数学系
  • 《高等数学(上下)》习题全解，培养读者逻辑思维与创新能力。
同济大学数学系列教材 线性代数 电子书
同济大学数学系列教材 线性代数
  • 同济大学数学系
  • 1.全书内容联系紧密，紧扣“为什么要引入这些概念和知识”，采用追问形式、层层深入，既符合数学上的逻辑性，又符合学生的思维顺序，有效地避免了概念呈现的突兀性；2.语言紧凑简洁但又力求通俗易懂，“细教材，粗讲解”，以直观的几何空间为例，降低了其抽象程度，比较适合学生自学；3.要求学生自己证明的不太难的小命题多，这样处理既可以让教材语言简洁，还可以培养和锻炼学生的证明能力，《线性代数》这门课程不仅仅要求培养学生的计算能力，更应看重其对学生的抽象能力和逻辑证明能力的培养；4.利用二维码方式增加扩展阅读等内容，让学生对线性代数的发展有所了解，而且可以适当增加其兴趣。
高等数学习题全解下册 电子书
高等数学习题全解下册
  • 同济大学数学系
  • 本书是与同济大学数学系编写的《高等数学》（ISBN　978-7-115-42640-6，人民邮电出版社出版）配套的学习辅导书．全书按照教育部大学数学教学指导委员会的基本要求，充分吸取当前高等数学教材辅导书的精华，并结合数年来的教学实践经验，针对当今学生的知识结构和习惯特点编写．全书分为上下两册．本书为下册，是多元函数微积分部分，一共有四章，主要内容包括向量与空间解析几何，多元函数微分学，多元函数积
高等数学（下册） 电子书
高等数学（下册）
  • 同济大学数学系
  • 《高等数学下册》涵盖多元微积分、无穷级数，强化概念理解与创新能力。
高等数学（上册） 电子书
高等数学（上册）
  • 同济大学数学系
  • 《高等数学(上下)》：强化定义概念理解，培养逻辑思维和创新能力。
复杂动力网络的建模与控制 电子书
复杂动力网络的建模与控制
  • 李宁
  • 本书内容主要包括：复杂动力网络拓扑特性与模型的建立，对具有多重边和多权重复杂动力网络模型的鲁棒、自适应、牵制的同步控制，具有多重边和多权重复杂动力网络模型的有限时同步，随机复杂神经元网络的多时滞同步控制，复杂动力网络的故障诊断与容错控制，基于复杂网络的病毒传播，复杂网络的混沌与分岔控制等。
推荐书籍
相关词语
程序设计 职业选择 工程技术人员 移动终端 操作系统 应用程序 数学 微积分 高等数学 应用数学 经济数学 公共数学 工程数学 同济大学 高数 公共课
意见反馈
我的书架

公众号

关注微信公众号