先有思想的形式化还是先有形式化的思想？思想的形式化重要还是形式化的思想重要？本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特色），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。本书避免使用过于复杂和烦琐的数学证明和推导，通过本书，读者会了解到不太一样的数理逻辑和逻辑哲学。

本书由复旦大学历史系邓秉元教授主编，分学林述往、古典新诠、经学义理、经史专论、圆桌会谈、书评等部分。学林述往四篇文章，介绍了之前不太为人所重视而与新儒家有关系的近代学人，揭示了新儒家学术群体学术面貌的某些侧面。古典新诠收录对于《老子》古本第十五至二十一章的校读；经学义理收录的两篇文章分别对先秦儒家颜氏之儒和荀子“成圣/成治”之道进行了重新解读，揭示出早期儒家义理之学的特质；经史专论部分，既有对《春秋》隐公继位问题、朱熹小学等经学史上聚讼纷纭问题的重新梳理，也有对《经义考》标点错误的纠正及致误原因

随着全球化的不断发展，全球性问题日益凸显，全球治理尤其是全球经济治理理论与实践引起了学术界和政策层的广泛关注与探讨，中国对此从批判怀疑到被动接受直至全面主动参与经历了漫长的过程，并在新时代和新发展阶段赋予了全球经济治理更为丰富和更具深度的目标和动力。本书从全球经济治理的理论与框架构建着手，深入分析了新时代中国全球经济治理实践的方方面面，包括国际金融治理的理论延展与中国智慧，国际贸易和投资治理的理论梳理与新规则，国际气候变化与可持续发展治理的认知与实践，国际能源治理的理论构建与新发展，全球经济治理

蒸汽机的发明，揭开了人类走向现代社会的序幕，然而在全球化、数字化、后工业化的晚期现代社会狂飙突进的同时，金融危机、经济危机、环境危机如影随形，反全球化、民粹化甚嚣尘上，这迫使人们反思，我们是否走在正确的道路上？著名社会理论家莱克维茨和罗萨教授共同给出了他们的社会诊断与药方。莱克维茨认为当下的人和物都面临极为激烈的竞争，不得不追求花样翻新的创新。独异性社会的典型特征是“人有我优、人优我特、人特我精”。激烈竞争的后果是少数人赢者通吃，多数人苦苦挣扎。罗萨认为刚性的增长逻辑导致社会的不断加速，人们在忙

随着技术发展，各种AI产品层出不穷。人人都使用过AI，但真正做到用AI提升工作和学习效率的人却很少。原因是大多数使用者，不会专业地提问。如果能正确地提问，AI将帮你解放工作，实现效率逆袭。精通向AI提问的能力，AI能帮你成为超级个体。 这是一本AI时代成为提问高手的进阶指南，既授人以鱼，也授人以渔。本书从AI的基本概念与运行原理入手，引用了飞轮思维和ICDO提问技巧，还详细介绍了在不同场景下的提问方法与实际案例，旨在帮助读者掌握高效提问的技巧，获得更加精准和丰富的答案，做到事半功倍，实现效率十

本书基于中文版3dsMax2024编写，通过大量的操作实例系统地讲解三维图形和动画的制作技术，是一本面向零基础读者的专业教程。 全书共11章，包括初识中文版3dsMax2024、图形建模、几何体建模、灯光技术、摄影机技术、材质技术、渲染技术、动画技术、动力学动画、粒子动画、毛发技术等内容。本书结构清晰，内容全面，通俗易懂，第2~11章还给出相应的实例，并阐述制作原理及操作步骤，帮助读者提升实际操作能力。 本书的配套学习资源丰富，包括书中所有实例的工程文件、贴图文件和教学视频，便于读者自学使用。本

本书基于中文版Blender3.4编写，通过大量的操作实例系统地讲解三维图形和动画的制作技术，是一本面向零基础读者的专业教程。 全书共10章，详细讲解软件的操作界面、建模方法、灯光技术、摄像机技术、材质与纹理、渲染技术、动画技术、动力学动画、二维动画等内容。本书结构清晰，内容全面，通俗易懂，第2~10章还设计了相应的实例，并介绍了制作原理及操作步骤，帮助读者提升实际操作能力。 本书的配套学习资源丰富、实用，包括书中所有实例的工程文件、贴图文件和教学视频，便于读者自学使用。本书适合作为高校和培训机

“数学女孩”系列以小说的形式展开，重点讲述一群年轻人探寻数学之美的故事，内容深入浅出，讲解十分精妙，被称为“绝赞的数学科普书”。“数学女孩的秘密笔记”是“数学女孩”的延伸系列。作者结城浩收集了互联网上读者针对“数学女孩”系列提出的问题，整理成篇，以人物对话和练习题的形式，生动巧妙地解说各种数学概念。主人公“我”是一名高中男生，喜欢数学，兴趣是讨论计算公式，经常独自在书桌前思考数学问题。进入高中后，“我”先后结识了一群好友。几个年轻人一起在数学的世界中畅游。本书非常适合对数学感兴趣的初高中生及成人

《数学女孩》系列以小说的形式展开，重点讲述一群年轻人探寻数学之美的故事，内容深入浅出，讲解十分精妙，被称为“绝赞的数学科普书”。《数学女孩的秘密笔记》是《数学女孩》的延伸系列。作者结城浩在互联网上收集了读者针对《数学女孩》系列提出的问题，整理成篇，以人物对话和练习题的形式，深入浅出地解说各种数学概念。主人公“我”是一名高中男生，喜欢数学，兴趣是讨论计算公式，经常独自在书桌前思考数学问题。进入高中后，“我”先后结识了一群好友。几个年轻人一起在数学的世界中畅游，发现数学之美。

本书是一本带你走进奇妙原子世界的科普书，是一场人类对物质核心的探索之旅。“世上所有物质都是由相同的几种基本成分组成的”这个想法可以追溯到很久以前，然而人们却花了几个世纪才弄清楚这些基本成分到底是什么。本书将带你梳理人类探究原子世界的历程，从宇宙的尺度讲起，内容涵盖了原子核的发现过程、物质核心里的奇怪规律、原子核的测量、奇怪的核物质、元素多样性、核物理、原子核的结构、恒星与元素的诞生及宇宙的起源等。 本书适合广大的科普爱好者，尤其适合对元素、原子、原子核及亚原子世界感兴趣的读者学习阅读。