Libros de Matemáticas, página 18 de 470

This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as another topic of study, this book''s uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly. The book will be of value not only to beginning students, but also to hardened programmers with many years of experience - in Fortran, Cobol, C, C++, or whatever. If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed. " -Peter G. Neumann-

This book is a clear exposition, with exercises, of the basic ideas of algebraic topology: homology (singular, simplicial, and cellular), homotopy groups, and cohomology rings. It is suitable for a two-semester course at the beginning graduate level, requiring as a prerequisite a knowledge of point set topology and basic algebra. Although categories and functors are introduced early in the text, excessive generality is avoided, and the author explains the geometric or analytic origins of abstract concepts as they are introduced, making this book of great value to the student.

This is the second of two volumes on the qualitative theory of foliations. For this volume, the authors have selected three special topics: analysis on foliated spaces, characteristic classes of foliations, and foliated manifolds. Each of these is an example of deep interaction between foliation theory and some other highly-developed area of mathematics. In all cases, the authors present useful, in-depth introductions, which lead to further study using the extensive available literature. This comprehensive volume has something to offer a broad spectrum of readers: from beginners to advanced students to professional researchers. It contains exercises and many illustrations. The book would make an elegant supplementary text for a topics course at the advanced graduate level. Foliations I is Volume 23 in the AMS series, Graduate Studies in Mathematics.

Rediscovering Mathematics is aimed at a general audience and addresses the question of how best to teach and study mathematics. The book attempts to bring the exciting and dynamic world of mathematics to a non-technical audience. With so much focus today on how best to educate the new generation and make mathematics less rote and more interactive, this book is an eye-opening experience for many people who suffered with dull math teachers and curricula.Rediscovering Mathematics is an eclectic collection of mathematical topics and puzzles aimed at talented youngsters and inquisitive adults who want to expand their view of mathematics. By focusing on problem solving, and discouraging rote memorization, the book shows how to learn and teach mathematics through investigation, experimentation, and discovery. Rediscovering Mathematics is also an excellent text for training math teachers at all levels.

Spatial Data Science introduces fundamental aspects of spatial data that every data scientist should know before they start working with spatial data. These aspects include how geometries are represented, coordinate reference systems (projections, datums), the fact that the Earth is round and its consequences for analysis, and how attributes of geometries can relate to geometries. In the second part of the book, these concepts are illustrated with data science examples using the R language. In the third part, statistical modelling approaches are demonstrated using real world data examples. After reading this book, the reader will be well equipped to avoid a number of major spatial data analysis errors.

Lawrence C. WashingtonAssuming only a modest background in elementary number theory, groups, and fields, Washington (mathematics, University of Maryland) introduces both the cryptographic and number theoretic sides of elliptic curves. He introduces elliptic curves over finite fields early in the book, leading readers to cryptographic applications, but the book is structured so that readers can explore number theoretic aspects independently if desired.

AN INTRODUCTION TO TEICHMULLER SPACES

Speaking Stata Graphics is ideal for researchers who want to produce effective, publication-quality graphs. A compilation of articles from the popular Speaking Stata column by Nicholas J. Cox, this book provides valuable insights about Stata's built-in and user-written statistical-graphics commands.