Kategoria BISAC: Mathematics >> Arithmetic

Die Grundidee des vorliegenden Lehrbuchs ist, wesentliche Elemente der diskreten Mathematik zu vermitteln, um die modernen Entwicklungen im Informationszeitalter kompetent mathematisch beurteilen zu konnen. Hierzu gehort das Verstandnis von Graphen, das Rechnen mit grossen Zahlen und das Rechnen modulo n. Die Autoren beginnen mit einer Darstellung der elementaren Zahlentheorie. Insbesondere wird die Verschlusselung mit dem RSA-Verfahren erlautert. Danach werden Abschatzungen behandelt, die unerlasslich sind, wenn man Objekte zahlen oder Laufzeiten wichtiger Algorithmen verstehen...

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic.

In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and...

Differential Forms and the Geometry of General Relativity provides readers with a coherent path to understanding relativity. Requiring little more than calculus and some linear algebra, it helps readers learn just enough differential geometry to grasp the basics of general relativity.

The book contains two intertwined but distinct halves. Designed for advanced undergraduate or beginning graduate students in mathematics or physics, most of the text requires little more than familiarity with calculus and linear algebra. The first half presents an...

The concept of the Euclidean simplex is important in the study of n-dimensional Euclidean geometry. This book introduces for the first time the concept of hyperbolic simplex as an important concept in n-dimensional hyperbolic geometry.

Following the emergence of his gyroalgebra in 1988, the author crafted gyrolanguage, the algebraic language that sheds natural light on hyperbolic geometry and special relativity. Several authors have successfully employed the author s gyroalgebra in their exploration for novel results. Francoise Chatelin noted in her book, and elsewhere,...

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed.

Originally published in 1986.

The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important...