-
无人机飞行与作业
¥27.4(7.2折)定价:¥38.0无人机飞行与作业是目前无人机应用技术的基本方向,是信息时代与人工智能时代新的产业革命的关键技术。由于其快速反应、时效性以及全面性的能力,无人机越来越多地应用于人们生活的各个方面。 《无人机飞行与作业》共计七个模块,系统归纳了无人机操纵飞行和无人机作业应用,重点对无人机在不同行业的应用,对无人机系统和无人机飞行作业进行了概括,对无人机架空输电线路巡检作业、无人机航拍作业、无人机测绘作业、无人机农业植保作业和无人机系统维护与保养等进
-
数理逻辑引论——计算机科学与系统的天然基础
¥126.0(7.5折)定价:¥168.0本书的内容包括8章,讨论了命题演算和一阶谓词演算的希尔伯特公理系统,包括命题演算和谓词演算系统中逻辑语言的语法定义,形式推演证明系统的建立,逻辑语言的语义定义,以及两个形式系统的元理论,主要是有效性和接近性的定义和证明。以此揭示任何形式系统的组成部分、构建方法、需要研究处理的主要问题、方法和技术。还介绍了如何基于形式逻辑建立各种形式化数学系统,帮助读者理解数理逻辑和数学系统的关系。最后介绍了图灵机的定义,并且讨论了如何图灵机的状态转移