周巢尘，詹乃军著2017 年出版150 页ISBN：9787030533838
本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，也介绍了一些时态语义。本书的前三章以一个简单的程序设计语言为例，介绍操作语义学、指称语义学和公理语...
徐通锵著1997 年出版623 页ISBN：7560220509
但是，我们研究的对象主要是被西方某一些学者称之为“孤立语”的汉语，不是拼音文字
（荷）F.R.安克施密特著；田平原理译2012 年出版279 页ISBN：9787534770999
本书作者考察了现有叙事研究方法的优缺点，提出和辩护了叙述哲学的三个基本论题。这部著作对当代历史编纂学和历史哲学都产生了深远的影响。...
尼跃红著2003 年出版240 页ISBN：7040134292
本书从涉及室内设计领域的一些基本概念的分析入手，以20世纪西方现代建筑理论为背景，从哲学、符号学、语言学、心理学等角度，对建筑领域的总体趋势进行了理论概括；对建筑形式的发展历史进行回顾；对室内设计语言的...
陆玲，周书民著2014 年出版165 页ISBN：9787566107534
本书介绍了乔姆斯文法体系的四类文法及相应的实例，以及无限自动机、下推机、图灵机及相应实例。利用VC++6.0实现了给定文法所产生的句子、确定的有限自动机、不确定的有限自动机、带空转移的有限自动机、带...
高芸著2013 年出版224 页ISBN：9787516146200
形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...
