数学的再发现 高中数学中的类比与归纳

本书通过类比与归纳的方法将高中数学主干内容进行拓展与延伸，分析了从“追求数学问题更简洁的解法，探索解决数学问题一般的方法，发现更一般的结论”等方面实现再发现的策略与方法，最后对数学再发现的教学实践作...

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

知识逻辑下的企业组织设计与优化

知识经济已经成为现实，其对企业生存与发展、企业管理理论和实践的影响是全方位的。知识日益成为决定企业生存与发展、企业市场竞争力的决定性因素，企业的可持续竞争优势的源泉不再由物质资产决定，而转由与知识...

初中数学的技能与技巧

多彩的少数民族之旅

我国目前有少数民族55个，其文化丰富多彩，包括节日、服饰、饮食、婚俗等各民族的文化内涵。该书用动漫的形式，让我国青少年了解各民族的生活习俗。...

ebay实用宝典 轻松的网上淘金之旅

本书介绍了如何把你的商品放到EBAY上等。

古多尔的精神之旅

简·古多尔博士是一位非凡的女性，杰出的人类学家。本书是她的回忆录，回忆了她一生的经历和心路历程。

互联网+背景的通俗逻辑学

逻辑学的发展充满活力。随着时代进步和人类社会发展，逻辑学不再只是哲学的一个部分，而是广泛地渗透到其他科学技术领域，在自然科学技术、人文社会科学和思维科学发展的进程中不断革新内容，开拓新域，显示出重要的...

弗雷格逻辑哲学与现代数理逻辑思潮

弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。

约翰·豪奇幻艺术工场

本书作者是指环王三部曲场景插图设计团员的主创人员，其创作的想像力和创作技法技巧令人惊叹，在本书中，作者无所保留好向读者展现了自己的创作理念，特殊技法等内容。...