注册 | 登录
100 条"面向计算机科学的数理逻辑系统建模与推理"搜索结果
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理：系统建模与推理
计算机科学概论（第3版） 电子书
计算机科学概论（第3版）
  • 主编
  • 本书是根据“教育部非计算机专业计算机基础课程教学指导分委员会”提出的《关于进一步加强高校计算机基础教学的意见》要求，同时根据邮电高校的实际情况编写的。本书密切结合“大学计算机基础”课程的基本教学要求，结合计算机软件和硬件的新技术；结构严谨，层次分明，叙述正确。全书共分9章，主要介绍了计算机的历史、基本知识和基本概念；信息在计算机中的表示形式和编码；计算机硬件的组成和工作原理；程序设计思想和编程的方
计算机科学概论（第13版） 电子书
计算机科学概论（第13版）
计算机科学概论（第2版） 电子书
计算机科学概论（第2版）
  • 聂永萍
  • 本书是根据“教育部非计算机专业计算机基础课程教学指导分委员会”提出的《关于进一步加强高校计算机基础教学的意见》要求，同时根据邮电高校的实际情况编写的。全书共分9章，主要内容包括：计算机基础知识、信息与编码基础、计算机组成、程序设计初步、操作系统基础（Windows7）、数据库基础、计算机网络与Internet应用基础、多媒体技术及应用、信息安全等。
21世纪全国高职高专计算机教育“十一五”规划教材.AutoCAD计算机辅助设计 电子书
21世纪全国高职高专计算机教育“十一五”规划教材.AutoCAD计算机辅助设计
  • 《Aut
  • 本书配合大量实例和同步练习，全面讲述AutoCAD2007制图基础、二维图形编辑与修改、文字标注和编辑、图块的创建与编辑等内容。
算法精粹：经典计算机科学问题的Python实现 电子书
算法精粹：经典计算机科学问题的Python实现
UML面向对象分析与设计 电子书
UML面向对象分析与设计
  • 张素娟
  • 本书主要分为三个部分：第一部分是面向对象技术与建模基础，第1章主要介绍了面向对象的基本概念和主要特征，第2章主要介绍了建模的目的和基本原则、UML的组成结构和概念模型、常用建模工具的安装与使用。第二部分是本书的核心部分，有4个章节，分别从需求建模、静态建模、动态建模和物理建模介绍了UML在面向对象分析与设计中的应用。第三部分是综合应用与实训，第7章为教学案例，第8章为实训案例。
UML及其建模工具的使用 电子书
UML及其建模工具的使用
21世纪全国高职高专计算机教育“十一五”规划教材.计算机应用基础 电子书
21世纪全国高职高专计算机教育“十一五”规划教材.计算机应用基础
空间机械臂建模、规划与控制 电子书
空间机械臂建模、规划与控制
  • 陈钢
  • 本书基于作者多年来承担航天领域重大项目及其他国家级项目过程中取得的研究成果，对空间机械臂的建模、规划及控制等相关基本理论和方法进行了系统深入的论述：首先介绍了空间机械臂运动学及动力学建模方法，在此基础上对空间机械臂任务规划、路径规划、轨迹优化的基本理论及其在多种任务需求下的具体应用进行了详细介绍，最后在控制层面对空间机械臂接触碰撞控制以及柔顺控制进行了阐述。书中的理论方法紧密结合实际，可用于解决目
软件工程——软件建模与文档写作 电子书
软件工程——软件建模与文档写作
  • 龙浩 王文乐 刘金 戴莉萍
  • 本书根据现有软件工程教学和项目开发中存在的问题，结合软件工程的**新发展，以及目前软件工程教学的需要，围绕软件工程的三大要素——过程、方法和工具，以软件过程为引领，介绍软件开发工具和方法在不同软件开发阶段的建模和文档撰写。通过案例，以对比的方式，介绍结构化思想和面向对象思想在各个开发阶段中模型的体现，并在其中贯穿介绍了**新的软件工程应用技术。本书内容包括软件开发过程、软件建模工具、项目前期、需求
UML与Rose建模实用教程 电子书
UML与Rose建模实用教程
  • 吕云翔 赵天宇 丛硕
  • 本书四部分，共21章，其中，第一部分包括软件工程与面向对象方法、UML概述、RationalRose概述，第二部分包括UML概念模型、UML中的事物、UML中的关系、用例图、包图、类图、协作图、顺序图、状态图、组件图、活动图、部署图，第三部分包括统一软件开发过程，需求分析，系统分析，系统设计，系统实现、测试及部署，第四部分包括开发实例——博客网站。
生物药剂学建模与模拟 电子书
生物药剂学建模与模拟
  • 许明哲
  • 本书内容包括：概述、理论框架、人及动物的胃肠道生理学和其他给药部位、药物参数、机制性模型的验证、生物等效性与生物药剂学分类系统BCS、剂量依赖性和粒径依赖性、制剂的制备、食物效应、其他情况下的生物药剂学建模、肠道转运体、药物发现与开发阶段的建模策略、对生物药剂学建模的客观认知和良好的建模与模拟规范。
面向大数据的数据结构与算法设计（Python版） 电子书
面向大数据的数据结构与算法设计（Python版）
  • 汤羽 林迪编著
  • 面对大数据和人工智能技术及应用的迅猛发展，传统的数据结构与算法课程的教学内容和教学模式亟待改革，以适应大数据和人工智能专业人才培养的需要。本书就是为满足这种需要而编写的。本书共15章，主要内容包括大数据概念、Python语言基础、线性表、栈与队列、数组与字符串、树、图等经典数据结构，键值对、嵌套数据结构、列存储结构等面向大数据计算的新型数据结构，排序算法、查找算法、基础算法设计、机器学习算法基础、
孙中山与“科学的时代” 电子书
孙中山与“科学的时代”
  • [日]武上真理子
  • 本书探讨了孙中山科学观形成的过程，同时就发于“科学”的孙中山思想的深化过程及其特点、意义进行考察。
市场营销管理学（修订本） 电子书
市场营销管理学（修订本）
  • 张理
  • 张理、高学争主编的《市场营销管理学》结合当今市场营销管理发展的新形势和新特点，针对高等院校市场营销、工商企业管理及经管类专业的培养目标，以市场营销管理的基本原理为线索，介绍了营销管理的框架体系、理论、实务等，指导学生运用市场营销管理的相关理论解决实际工作中的问题。《市场营销管理学》共分19章，主要内容包括：市场调查与预测；市场营销环境分析；购买行为分析；竞争者分析；战略计划与市场营销；市场细分；目
面向STEM的Scratch创新课程 电子书
面向STEM的Scratch创新课程
  • 周迎春
  • 我们的小学信息技术课有一些编程模块的课程规划，如五六年级有Scratch编程的课程安排等。但是，课程的安排大多局限于让学生在计算机屏幕上操作，很少涉及工程设计的理念。从Scratch官网上，我们可以找到Scratch的核心思想是Imagine（想象）、Program（编程）、Share（分享），寓意利用Scratch激发儿童的想象、培养儿童的思维，并在智慧分享中共同提高。笔者认为在STEM教育视野
Java面向对象思想与程序设计 电子书
Java面向对象思想与程序设计
  • 刘彦君 张仁伟 满志强
  • 本书面向以Java为第一种程序语言的初学者，强化面向对象的原理和机制，强调“做中学”，每章开头用思维导图的方式，引导读者带着问题去学习该章的内容，以便牢固地掌握知识。另外，作者录制了知识点和案例的讲解视频，读者可以方便地通过扫码的方式查看，同时，计蒜客在线教育团队，为读者提供了伴随式的在线编程平台支持，读者可以将图书和线上编程结合起来学习。
电液伺服阀建模与Simulink仿真 电子书
电液伺服阀建模与Simulink仿真
  • 李跃松 朱玉川 著
  • 本书是一本介绍电液伺服阀建模和仿真的著作，内容包括：电液伺服阀的构成、分类、性能描述方法及选用；力矩马达和力马达等电液伺服阀常用电机转换器的结构、工作原理、数学模型、参数优化及物理建模仿真；滑阀、双喷嘴挡板阀、射流管阀和偏导射流阀等液压放大元件的数学模型、静态性能、设计准则、物理建模及仿真；直动式电液伺服阀、双喷嘴挡板力反馈和双喷嘴挡板电反馈两级电液伺服阀、射流管力反馈和射流管电反馈两级电液伺服阀
MATLAB建模与仿真实用教程 电子书
MATLAB建模与仿真实用教程
  • 王健 赵国生 宋一兵 等编著
  • 《MATLAB建模与仿真实用教程》对MATLAB进行了详细的介绍和讲解，力争做到深入浅出，并配有大量实例，使读者能够达到零起点入门和快速提高的目的。《MATLAB建模与仿真实用教程》主要内容包括MATLAB建模基础、MATLAB数值与符号计算、MATLAB程序设计、图形图像、Simulink建模与仿真、科学计算、通信系统建模与仿真、自动控制系统建模与仿真、蚁群算法建模与仿真及神经网络建模与仿真。《
电力电子装置建模分析与示例设计 电子书
电力电子装置建模分析与示例设计
  • 李维波
  • 本书把典型电力电子装置的数量关系与仿真模型的构建方法整合起来，涵盖了整流装置、逆变装置和直流斩波装置的建模分析与示例设计。并以一个刚刚从事研发的工程师视角出发，进行原理分析、参数计算、建模设计，在素材遴选、内容编排方面，避免晦涩，凸显易懂。本书将涉及的Simulink基础知识、常规建模方法与基本流程知识，融入到典型电力电子装置的建模中去，既阐释了功率器件的选型方法、分析步骤和参数计算理论等，又结合
推荐书籍
相关词语
计算机理论 科技关键词 算法 Python 计算机 美国 计算机科学 编程 程序设计 数据科学 软件工具 软件工程
意见反馈
我的书架

公众号

关注微信公众号