语言与逻辑——当代反实在论的核心问题研究
《语言与逻辑——当代反实在论的核心问题研究》,作者:胡瑞娜 出版社:科学出版社 ISBN:9787030475947。实在论与反实在论之争是当代西方哲学的核心问题之一。随着现代数理逻辑和量子力学的发展，实在论受到来自各方面的挑战。而现代数理逻辑和量子力学所证明的排中律和二价原则的无效性则为反实在论提供了强有力的依据。随着对形而上学的拒斥带来的“本体论的弱化”以及“语言学转向”的到来，语言和逻辑成
语言
片上系统的设计和描述语言 : [英文本] | Advances in design and specification languages for SoCs影印版
《片上系统的设计和描述语言 : [英文本] | Advances in design and specification languages for SoCs影印版》,作者:Boulet Pierre[著] 出版社:科学出版社 ISBN:9787030188519。本书主要针对数模混合系统在计算模型中遇到的问题进行了分析。通过对基于UML系统的分析以及C/C++等语言的使用，可以很方便的进行系
图像加密算法与实践 : 基于C#语言实现
《图像加密算法与实践 : 基于C#语言实现》,作者:孙燮华著 出版社:科学出版社 ISBN:9787030376701。本书介绍了国内外图像加密方案与算法，介绍图形加密的基本概念和算法基础，分别从空域和频域介绍各类图像加密方案，包括空域置乱加密、灰度加密、混合加密、频域置乱与数据加密、频域混合加密，还介绍图像加密的分析与攻击，以及评估与测试等内容。
HNC(概念层次网络)语言理解技术及其应用
《HNC(概念层次网络)语言理解技术及其应用》,作者:晋耀红著 出版社:科学出版社 ISBN:7030161904。本书介绍了基于HNC理论的语言理解技术，重点说明了HNC语句理解系统的基本思路、处理策略、相应算法的设计以及试验结果，详细说明了几个利用HNC技术开发的应用技术，包括语境单元萃取技术、语义立场判断技术等，并简单介绍了HNC语言理解技术在文本特征提取、文本相似度计算、文本分类以及信
自动机理论、语言和计算导引
《自动机理论、语言和计算导引》,作者:J.E.霍普克罗夫特 出版社:科学出版社 ISBN:15031737。本书是讨论自动机理论、语言理论和计算理论（主要是计算复杂性理论）的专著． 全书共十四章．第一章为预备知识；第二、三章讨论有穷自动机和正规集合；第四、五、六章讨论上下文无关语言和下推自动机；第七章讨论图灵机；第八章讨论不可判定性；第九章按Chomsky谱系对语言和自
中国电子信息工程科技发展研究．自然语言处理专题
《中国电子信息工程科技发展研究．自然语言处理专题》,作者:中国信息与电子工程科技发展战略研究中心 编著 出版社:科学出版社 ISBN:9787030684073。自然语言处理是人工智能领域的核心基础技术，是构建新一代人工智能关键共性技术体系的重要组成部分。本书总结阐述了自然语言处理技术和产业的发展历程、现状及特点，重点介绍了当前我国自然语言处理发展的热点亮点，并详细论述了知识图谱、语言理解、语言生
量子力学模态解释及其方法论 : 兼议语言分析方法在量子力学中的应用
《量子力学模态解释及其方法论 : 兼议语言分析方法在量子力学中的应用》,作者:贺天平，郭贵春著 出版社:科学出版社 ISBN:9787030222589。本书重点分析了模态解释中使用的语义移植、隐喻介入和语境建构的本质、特征和意义。
吐鲁番出土文献语言导论
《吐鲁番出土文献语言导论》,作者:王启涛著 出版社:科学出版社 ISBN:9787030360885。本书从社会语言学和体裁语言学的角度，对吐鲁番出土文献的语言系统和文字系统进行了全面研究。本书共分为七章，分别对吐鲁番出土的法制文献、行政文献、契约文献、书信文献、丧葬文献、帐簿文献进行了深入考察。
英语写作语言表现的测量及测量指标的研究
《英语写作语言表现的测量及测量指标的研究》,作者:陈慧媛 出版社:科学出版社 ISBN:9787030448132。本书旨在对英语写作语言表现的测量指标及指标体系进行理论与实验相结合的系列探讨和检验。书中在综合现有文献后遴选和设计了66项能体现学习者英语写作语言中表现不同维度特征的指标，并进行了较大规模的写作实验和多角度的统计分析。实验和分析结果验证了测量指标的类别属性，发现了指标对学习者英语
