Spy
量子相变 豆瓣
作者: S.Sachdev 2003 - 11
这是第一本系统介绍量子相变理论的专著,其中部分内容也可作研究生教材。本书内容新颖,涉及凝聚态物理学中广泛关注的许多重要问题。本书叙述简明,将理论模型的阐述与最新实验结果的介绍密切结合。书中着重描写和阐述存在量子相变的一些最简单的相互作用系统的物理性质。全书大部分均忽略了无序效应,而把注意力集中在这样一些系统在非零温度下的动力学性质,深入讨论了以非弹性碰撞为主的量子动力学及输运过程。
本书为英文版!
Mathematical Methods in Linguistics 豆瓣
作者: Partee, Barbara / Alice G. B. ter Meulen 出版社: Springer 1990 - 4
Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language
Buddhist Logic 豆瓣
作者: Theodore Stcherbatsky 出版社: Motilal Banarsidass Pub 1993 - 7
Buddhist logic reveals itself as the culminating point of a long course of Indian philosophic history. Its birth, its growth and its decline run parallel with the birth, the growth and the decline of Indian civilisation. The time has come to reconsider the subject of Buddhist logic in its historical connections. This is done in these two volumes.