Cinderella is a unique, technically very sophisticated teachware for geometry that will be used as a tool by students learning Euclidean, projective, spherical and hyperbolic geometry, as well as in geometric research. Moreover, it can also serve as an authors' tool to design web pages with interactive constructions or even complete geometry exercises.

Normal 0 false false false Foundations of Geometry, Second Edition is written to help enrich the education of all mathematics majors and facilitate a smooth transition into more advanced mathematics courses. The text also implements the latest national standards and recommendations regarding geometry for the preparation of high school mathematics teachers--and encourages students to make connections between their college courses and classes they will later teach. This text's coverage begins with Euclid's Elements, lays out a system of axioms for geometry, and then moves on to neutral geometry, Euclidian and hyperbolic geometries from an axiomatic point of view, and then non-Euclidean geometry. Good proof-writing skills are emphasized, along with a historical development of geometry. The Second Edition streamlines and reorganizes material in order to reach coverage of neutral geometry as early as possible, adds more exercises throughout, and facilitates use of the open-source software Geogebra. This text is ideal for an undergraduate course in axiomatic geometry for future high school geometry teachers, or for any student who has not yet encountered upper-level math, such as real analysis or abstract algebra. It assumes calculus and linear algebra as prerequisites.

This book is a text for junior, senior, or first-year graduate courses traditionally titled Foundations of Geometry and/or Non Euclidean Geometry. The first 29 chapters are for a semester or year course on the foundations of geometry. The remaining chap ters may then be used for either a regular course or independent study courses. Another possibility, which is also especially suited for in-service teachers of high school geometry, is to survey the the fundamentals of absolute geometry (Chapters 1 -20) very quickly and begin earnest study with the theory of parallels and isometries (Chapters 21 -30). The text is self-contained, except that the elementary calculus is assumed for some parts of the material on advanced hyperbolic geometry (Chapters 31 -34). There are over 650 exercises, 30 of which are 10-part true-or-false questions. A rigorous ruler-and-protractor axiomatic development of the Euclidean and hyperbolic planes, including the classification of the isometries of these planes, is balanced by the discussion about this development. Models, such as Taxicab Geometry, are used exten sively to illustrate theory. Historical aspects and alternatives to the selected axioms are prominent. The classical axiom systems of Euclid and Hilbert are discussed, as are axiom systems for three and four-dimensional absolute geometry and Pieri's system based on rigid motions. The text is divided into three parts. The Introduction (Chapters 1 -4) is to be read as quickly as possible and then used for ref erence if necessary.

Explains geometric theories and shows many examples.

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.

Tim Maudlin sets out a completely new method for describing the geometrical structure of spaces, and thus a better mathematical tool for describing and understanding space-time. He presents a historical review of the development of geometry and topology, and then his original Theory of Linear Structures.