本书主要关注语言表达的意义，提供概念化和形式化的工具以建立能够理解文本的语义系统。书中对语义学的数学基础、预述法、图形和机器、表型语法、词素、模型、具体化和人工生命的意义等主题做了探讨，不仅涵盖系统的工作原理，而且给出了严谨的数学描述，并提供大量不同难度的练习。本书具备鲜明的跨学科特性，适合计算机科学、语言学、哲学、认知科学等不同方向的读者阅读，建议读者结合编程实践以及扩展阅读资料，不断加深对原理、模型及系统的理解。