本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。

先进水泥基复合材料是通过组成、结构优化设计，采用先进技术制备的具有优异性能的新型高技术水泥基材料，其性能特点是韧性好、强度高、可设计性好，是当前本领域研究的重点和技术应用的难点。本书是作者团队近二十年来开展先进水泥基复合材料研究与实践的成果总结，内容包括理论研究、实验分析、生产与制备、工程应用。作者围绕材料的增强机理、设计与制备，工程应用技术的难点和关键进行了深入系统的研究，介绍了所取得的系统性理论和技术应用成果。

本书为光电专业实验系列教材之一。光电信息产业是21世纪国家重点支持的战略性产业，本套教材以基础性实验项目为主，将综合性和设计性实验项目融会贯通。教材实验内容层次分明，满足不同层次学生的实验教学需求；实验内容丰富，许多项目来自现实中的工程。本书可供光电信息科学与工程、信息工程、通信工程等专业的学生使用。

本书为星思维系列之一，为2016年度第五届星艺杯设计大赛获奖作品集。全书包含了广东星艺装饰集团2016年度星艺杯设计大赛约50个获奖作品，分为公共项目设计和住宅项目设计两大块，分别选入了金奖、银奖、铜奖作品。如保利高尔夫别墅、珠江湾畔别墅、珍木堂红木展厅、凯里度假酒店、联合地产办公楼、奥迪汽车体验馆等，展示了各个获奖作品的效果图（或实拍图）、平面设计图等，并介绍了设计理念和用材等。

本书从瓷砖生产涉及的多个方面着手，较全面地阐述了瓷砖原料车间的生产现场管理、质量管理、技能管理、设备管理、工艺控制、成本控制、环境保护与治理等方面的生产规范，有利于加强相关从业人员的操作专业度与提高瓷砖原料车间的生产效率，促进瓷砖生产行业的良性发展。

本书分为东南亚汁酱、汤类菜肴、小食类菜肴、主菜类菜肴以及主食类菜肴五个模块，全面介绍了东南亚主要特色菜的制作方法。本书具有以下三个特点：*，突出职业教育特色。结合职业技术院校烹饪专业教学的要求，合理确定教材的结构体系。第二，继承与创新相结合。紧贴行业的发展，使教材具有鲜明的时代特征。第三，文字表述通俗易懂，图文并茂。本书可作为职业技术院校烹饪专业教材，也可作为职工培训教材。

以用户体验为中心的移动应用交互设计的好坏对于移动应用产品的开发是否成功起着决定性的作用吗？《用户体验与UI交互设计/数字媒体艺术专业十二五规划教材》以行业对数字媒体人才的需求为导向，将实际项目贯穿于本书的设计中，首先，《用户体验与UI交互设计/数字媒体艺术专业十二五规划教材》从感知移动设计讲起，分析、总结了移动设计的特点、生命周期、三大主流平台的应用以及人机交互设计的相关知识，并对移动设计的发展前景和就业趋势进行了分析、总结；其次，本书以用户体验的三大设计流程为主线，详细分析了每个流程中涉及的新

papi酱的网红之路还能走多久？《奇葩说》如何在马东的带领下持续创新7芒果TV实行了三年的独播战略如何转型？2017年VR视频将往何处去……《中国网络视频年度案例研究2017》将为您深度剖析。本着经典、实用、深入的原则，精选2016年度近20个具有代表性和影响力的国内网络视频典型案例，在背景分析和深度访谈的基础上深入探讨网络视频行业未来发展趋势。作为网络视频领域一份以年度重点案例分析为特色的研究报告，全面梳理年度热点案例．深度解读网络视频行业的内容生态与发展路径，具有

本书主要讲述Arduino在中学数字化实验中的运用与实践。首先介绍了数字化探究和Arduino的基础知识;然后讲解了温度、电量、力与质量、运动的测量与实验,并通过基础案例和拓展项目深入地讲解了传感器的使用;*后讲解了生化类的实验案例。本书适合大中专院校的理工类、电子类、通信类、计算机类等专业学生阅读,还适合中小学信息技术类、创客教育类的教师作为参考资料。

本书主要阐述航天器结构超高速碰撞过程的数值仿真技术。对单层板、蜂窝夹层板、泡沫铝等航天器舱壁结构及Whipple、填充、铝网等航天器防护结构给出了球形空间碎片超高速撞击过程的数值仿真方案,同时对航天器上的多层绝热材料、电子设备、电缆、管路等部件也给出了超高速撞击仿真示例和撞击特性关注角度。本书主要是针对高等工科院校航天器设计专业的学生编写的,可作为相关专业教材或参考书,也可供有关工程技术人员使用。