本书系统地介绍了离散数学中的基本概念、定理及证明方法，并详细阐述了各部分知识的应用实例，展示了离散数学在计算机科学及相关领域应用，还配备了大量具有针对性的习题，以帮助学生学习、理解和应用离散数学的相关理论。本书共8章，内容包括命题逻辑、谓词逻辑、集合、二元关系和函数、图、特殊图、代数系统基础和几个典型的代数系统。

本书主要内容讲述主人翁小满和花生在神秘力量的帮助下游览了北极小岛、热带海域、无名岛屿、气候极端恶化的未来、工业革命时期的欧洲城市和没有科技文明的时代。在此过程中，姐弟两认识到了气候变化的危害、了解了碳排放的源头，同时也明白了科技进步与生态和谐的辩证关系。小满和花生学习了“碳中和”相关知识，和爸爸妈妈一起根据家里的实际情

本书介绍了旌德建县1260多年来重要的人文历史、传统村落、建筑遗存、风俗民情。全书分为“说旌德”“旌德记”“旌德历史年表”三部分。“说旌德”主要介绍了旌德城市的由来、人口的变迁、重点建筑、地方特产的历史及特色艺术文化和风俗民情。“旌德记”侧重以文史的笔法重点描述有代表性的中国传统村落和历史文化丰富的山川、建筑。“旌德历

本教材旨在进一步规范输变电工程交接规范验收步骤和方法，主要依据《国网运检部关于加强和规范交接验收工作的通知》(运检技术〔2013〕206号)和《110kV及以上送变电工程启动及交接验收规程》(DL/T782-2001)等文件编写。主要内容包括：国网公司变电站新建、改建、扩建输变电工程交接验收过程及交接验收管理的职责、内

本书共9章，第1章为绪论，包括虚拟仪器的概述、LabVIEW的组成、LabVIEW的优势与配置；第2-8章阐述了LabVIEW2020的基本内容、编程方法与技巧，包括LabVIEW2020的开发环境、LabVIEW2020VI的操作、数据类型与程序控制、操作界面、文件I/O、图形与图表、LabVIEW2020的常用外部

皖西白鹅是我国优良的中型鹅品种之一，主要分布于皖西的六安、寿县、霍邱和河南固始等地，为国家二类禽类保护的动物和“重量畜禽品种资源保护”的品种。本书是结合皖西地区独特的白鹅资源和地区发展目标，以“特色资源为主体，以地方白鹅养殖过程为主线”进行撰写的。全书主要内容包括鹅的品种、皖西白鹅的生物学习性、经济杂交、营养与饲料、牧

本书系作者将其在中央和地方各级报纸杂志上公开发表的40余篇文章结集出版。作者以旅游审美为中心，有意识、成系列地对铜陵、黄山、淮南、合肥等地独特的山水、文化、历史、地理、风俗等进行挖掘、思考。书中既有作者对城市美景的描述，又有作者对当地资源开发利用、旅游价值挖掘，促进社会经济发展的独特思考。

本书以PHP语言为基础,由浅入深、循序渐进地介绍PHP技术,重点介绍了PHP语言基础、流程控制、函数、面向对象、数组、字符串、文件和目录、时间日期与系统信息、图形图像、PHP与XML、PHP与正则表达式和PHP应用实战。每个单元的内容,分为知识入门、循序渐进、知识拓展3部分。在弱化PHP基本理论,穿插了大量的实例和任务

本书主要内容包括JavaWeb概述、HTML和JavaScript基础、JSP基本语法、JSP访问数据库、Servlet编程、Hibernate框架基础、Spring框架基础、SpringMVC等。每部分内容理论知识与案例讲解、重点提示和思考练习相结合,注重实用性和可操作性,通俗易懂,便于使用者参考学习。

本书共分八章。第一章到第三章内容从大概念与单元教学的概念、理论基础、单元教学实施路径及单元教学设计模式进行阐述，第四章到第八章分别对单元教学主题与教学目标的确定、单元教学中核心问题的确定、单元学习任务与活动内容的设计、评价量规及单元作业的设计等进行介绍。