My goals in thiook on Riemannian geometry are essentially the same as those which guided me in my Eigenvalues in Riemannian Geometry [69], to introduce the subject, to coherently present a number of itasic techniques and results with a mind to future work, and to present some of the results that are attractive in their own right. Thiook differs from Eigenvalues in that it starts at a more basic level,and therefore, it must present a broader view of the ideas from which all the various directions emerge. At the same time, other treatments of Riemannian geometry are available at varying levels and interests,so I need not introduce everything. I have, therefore, attempted a viable introduction to Riemannian geometry for a very broad group of students, with emphases and developments in areas not covered by other books.

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

This book contains a systematic and prehensive exposition of Lobachevskian geometry and the theory of discrete groups of motions in Euclidean space and Lobachevsky space.It is divided into two closely related parts: the first treats the geometry of spaces of constant curvature and the second discrete groups of motions of these.The authors give a very clear account of their subject describing it from the viewpoints of elementary geometry, Riemannian geometry and group theory.The result is a book which has no rival in the literature. Part I contains the classification of motions in spaces of constant curvature and non-traditional topics like the theory of acute-angled polyhedra and methods for puting volumes of non-Euclidean polyhedra.Part II includes the theory of cristallographic, Fuchsian, and Kleinian groups and an exposition of Thurstonis theory of deformations. The greater part of the book is accessible to first-year students in mathematics.At the same time the book includes very recent results wh

本书译自美国威斯康辛电气与计算机工程系教授、前IEEE生物医学工程学会主席WillisJ.Tompkins编著的“BiomedicalDigitalSignalProcessing"一书。主要介绍生物医学数字信号处理中最重要的基础知识，基本处理方法及其在生物医学工程中的具体应用。本书共分14章：信号转换技术，数字滤波器基础，有限冲激响应滤波器，无限激响应滤波器，整数型滤波器，自适应滤波器，信号平均技术，数据压缩技术，时域和频域分析方法，ECG的QRS复波检测，ECG分析系统，VLSI在数字信号处理中的应用等。全书以生物医学信号中最常见的ECG信号作为处理对象，强调实时性的处理方法。紧紧结合课程内容几乎每章有一个实验，可让学生进行实践。本书可供生物医学工程专业及有关专作为，也可供有关研究人员、技术人员作为数字信号处理的实用参考书。