信息时代，讯息如海，一切变得琐碎不堪；读图时代，图像流行，一切变得光影斑斓。人们工作、生活与学习中确...
2020.
本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，...
2017.6
形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑...
2014.8