逻辑学及其应用研究 第四届全国逻辑系统、智能科学与信息科学学术会议论文集

本书是2008年在贵阳召开的第四届全国逻辑系统、智能科学与信息科学学术会议论文集。内容涉及形式逻辑、数理逻辑、法律逻辑、逻辑思维、自然语言理解、机器人涉及、安全协议形式化分析、密码学及其应用等诸...

计算机科学丛书 数字逻辑设计与计算机组成

本书从简单的数字逻辑电路设计基础开始，由浅入深，讲解组合逻辑和时序逻辑电路的设计技术、计算机组成的基本原理和计算机体系结构的相关概念，最后深入探讨了现代计算机系统如何利用硬件支持安全的体系结构。书...

政治学与国际公共管理丛书 组织逻辑与范式变迁 中国食品安全监管权配置问题研究

“民以食为天，食以安为先”。食品安全关系社会公众身体健康和生命安全、经济有序发展、社会和谐稳定，受到社会各界广泛关注。本书对以下一些核心问题进行了分析，如首先，中国食品安全监管权是如何配置的，配置的逻...

材料科学研究与工程技术系列丛书 功能材料

逻辑与计算机科学哲学

数据科学与工程技术丛书 数据科学R语言实践 面向计算推理与问题求解的案例研究法

本书带领读者身临其境地体验数据科学领域的日常工作，书中的12章即为12个鲜活的实践案例，包括航班延误数据分析、股票配对交易仿真以及二十一点纸牌游戏策略开发等，涵盖统计学、数据库、机器学习和可视化技术等...

吴允曾选集 数理逻辑与计算机科学

“大数据与人文社会科学研究”丛书 聚焦智慧社会 大数据方法、范式与应用

本书主要是对2017年度浙江大学“大数据+人文社会科学”创新团队优秀学术论文的汇编。所收录论文的主题围绕大数据和智慧社会研究，研究内容涉及互联网金融、互联网法律、政府治理、网络舆情、语言规律与认知...

混凝土材料科学与工程技术研究丛书 持续荷载与环境作用下混凝土梁中GFRP筋抗拉性能研究

绕着混凝土梁中GFRP筋抗拉强度演化和耐久性设计两方面的内容具体展开。GFRP作为一种新型材料，由玻璃纤维和聚合物基体组成，其在克服锈蚀、耐久性、耐腐性方面表现出独特的优势。讲述了GFRP材料的安全问题、复...

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。