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

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

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

时序逻辑程序设计与软件工程 上 时序逻辑语言

海量语义数据处理 平台、技术与应用

语义万维网所面临的一个重大问题，就是如何处理海量语义数据， 它一直被认为是制约语义万维网技术发展的瓶颈。 本书系统地介绍了海量语义数据处理的最新技术和进展， 通过系统地介绍LarKC 项目所开发的海量语义...

基于Copula理论的岩土体参数不确定性表征与可靠度分析

本书以岩土体参数不确定性表征及可靠度分析为主题，重点阐述基于Copula理论的岩土体参数不确定性表征方法及其在岩土结构物可靠度分析中的应用。研究基于Copula理论的岩土体参数不确定性建模方法，从理论和应用...

马克思恩格斯著作在中国的传播 MEGA？（二次方）视野下的文本、文献、语义学研究

时间、不确定性与资产定价

本书由三大部分组成：第一部分包括第一、二章，研究时间；第二部分包括第三至第七章，研究不确定性；第三部分包括第八至第十一章，研究资产定价。在第一部分中，作者在一个确定性环境中研究金融市场在跨时期决策中的......

认知语义学（卷Ⅰ）概念构建系统＝TOWARD A CONGITIVE SEMANTICS(VOLUMEⅠ)CONCEPT STRUCTURING STSTEMS

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 中

信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 下