经典好书《计算系统的形式语义》读书内容简介:两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情

经典好书《汉语内部形式研究》读书内容简介: 作者简介详情

经典好书《伦理学中的形式主义与质料的价值伦理学》读书内容简介:部著作是对伦理学人格主义进行奠基的尝试。它的核心在于对价值与人格进行现象学的查探。由于康德只承认价值的概念是指感性价值，人格的概念是指理性人格，因而这部著作也是对康德的实践理性和绝对命令的批判。作者简介马克斯·舍勒(Max...详情