Elements of Logic via Numbers and Sets

Author: D.L. Johnson

Publisher: Springer Science & Business Media

ISBN: 1447106032

Category: Mathematics

Page: 188

View: 7880

DOWNLOAD NOW »
In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using clear, simple explanations that require no background knowledge of logic. It gives many useful examples and problems, many with fully-worked solutions at the end of the book. In addition to a comprehensive index, there is also a useful `Dramatis Personae` an index to the many symbols introduced in the text, most of which will be new to students and which will be used throughout their degree programme.

Sets, Logic and Categories

Author: Peter J. Cameron

Publisher: Springer Science & Business Media

ISBN: 1447105893

Category: Mathematics

Page: 182

View: 1167

DOWNLOAD NOW »
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have been introduced. The discussion is su pported by a wide range of exercises. The final chapter touches on philosophical issues. The book is supported by a World Wibe Web site containing a variety of supplementary material.

Symmetries

Author: D.L. Johnson

Publisher: Springer Science & Business Media

ISBN: 9781852332709

Category: Mathematics

Page: 198

View: 7289

DOWNLOAD NOW »
" ... many eminent scholars, endowed with great geometric talent, make a point of never disclosing the simple and direct ideas that guided them, subordinating their elegant results to abstract general theories which often have no application outside the particular case in question. Geometry was becoming a study of algebraic, differential or partial differential equations, thus losing all the charm that comes from its being an art." H. Lebesgue, Ler;ons sur les Constructions Geometriques, Gauthier Villars, Paris, 1949. This book is based on lecture courses given to final-year students at the Uni versity of Nottingham and to M.Sc. students at the University of the West Indies in an attempt to reverse the process of expurgation of the geometry component from the mathematics curricula of universities. This erosion is in sharp contrast to the situation in research mathematics, where the ideas and methods of geometry enjoy ever-increasing influence and importance. In the other direction, more modern ideas have made a forceful and beneficial impact on the geometry of the ancients in many areas. Thus trigonometry has vastly clarified our concept of angle, calculus has revolutionised the study of plane curves, and group theory has become the language of symmetry.

Bookseller

Buyer's guide

Author: N.A

Publisher: N.A

ISBN: N.A

Category: English imprints

Page: N.A

View: 4387

DOWNLOAD NOW »

Metric Spaces

Author: Mícheál O'Searcoid

Publisher: Springer Science & Business Media

ISBN: 9781846286278

Category: Mathematics

Page: 304

View: 7180

DOWNLOAD NOW »
The abstract concepts of metric spaces are often perceived as difficult. This book offers a unique approach to the subject which gives readers the advantage of a new perspective on ideas familiar from the analysis of a real line. Rather than passing quickly from the definition of a metric to the more abstract concepts of convergence and continuity, the author takes the concrete notion of distance as far as possible, illustrating the text with examples and naturally arising questions. Attention to detail at this stage is designed to prepare the reader to understand the more abstract ideas with relative ease.

Was ist Mathematik?

Author: Richard Courant,Herbert Robbins

Publisher: Springer-Verlag

ISBN: 3662000539

Category: Mathematics

Page: N.A

View: 9219

DOWNLOAD NOW »
47 brauchen nur den Nenner n so groß zu wählen, daß das Intervall [0, IJn] kleiner wird als das fragliche Intervall [A, B], dann muß mindestens einer der Brüche m/n innerhalb des Intervalls liegen. Also kann es kein noch so kleines Intervall auf der Achse geben, das von rationalen Punkten frei wäre. Es folgt weiterhin, daß es in jedem Intervall unendlich viele rationale Punkte geben muß; denn wenn es nur eine endliche Anzahl gäbe, so könnte das Intervall zwischen zwei beliebigen benachbarten Punkten keine rationalen Punkte enthalten, was, wie wir eben sahen, unmöglich ist. § 2. Inkommensurable Strecken, irrationale Zahlen und der Grenzwertbegriff 1. Einleitung Vergleicht man zwei Strecken a und b hinsichtlich ihrer Größe, so kann es vor kommen, daß a in b genau r-mal enthalten ist, wobei r eine ganze Zahl darstellt. In diesem Fall können wir das Maß der Strecke b durch das von a ausdrücken, indem wir sagen, daß die Länge von b das r-fache der Länge von a ist.

Elementare Wahrscheinlichkeitstheorie und stochastische Prozesse

Author: Kai L. Chung

Publisher: Springer-Verlag

ISBN: 3642670334

Category: Mathematics

Page: 346

View: 6266

DOWNLOAD NOW »
Aus den Besprechungen: "Unter den zahlreichen Einführungen in die Wahrscheinlichkeitsrechnung bildet dieses Buch eine erfreuliche Ausnahme. Der Stil einer lebendigen Vorlesung ist über Niederschrift und Übersetzung hinweg erhalten geblieben. In jedes Kapitel wird sehr anschaulich eingeführt. Sinn und Nützlichkeit der mathematischen Formulierungen werden den Lesern nahegebracht. Die wichtigsten Zusammenhänge sind als mathematische Sätze klar formuliert." #FREQUENZ#1

Mathematica®: A Problem-Centered Approach

Author: Roozbeh Hazrat

Publisher: Springer Science & Business Media

ISBN: 1849962510

Category: Mathematics

Page: 180

View: 9793

DOWNLOAD NOW »
Mathematica®: A Problem-Centered Approach introduces the vast array of features and powerful mathematical functions of Mathematica using a multitude of clearly presented examples and worked- out problems. Each section starts with a description of a new topic and some basic examples. The author then demonstrates the use of new commands through three categories of problems - the first category highlights those essential parts of the text that demonstrate the use of new commands in Mathematica whilst solving each problem presented; - the second comprises problems that further demonstrate the use of commands previously introduced to tackle different situations; and - the third presents more challenging problems for further study. The intention is to enable the reader to learn from the codes, thus avoiding long and exhausting explanations. While based on a computer algebra course taught to undergraduate students of mathematics, science, engineering and finance, the book also includes chapters on calculus and solving equations, and graphics, thus covering all the basic topics in Mathematica. With its strong focus upon programming and problem solving, and an emphasis on using numerical problems that do not need any particular background in mathematics, this book is also ideal for self-study and as an introduction to researchers who wish to use Mathematica as a computational tool. Mathematica®: A Problem-Centered Approach comes with a free 30 day trial of the Wolfram Mathematica(R) software'

Geometrie und Billard

Author: Serge Tabachnikov

Publisher: Springer-Verlag

ISBN: 3642319254

Category: Mathematics

Page: 165

View: 5600

DOWNLOAD NOW »
Wie bewegt sich ein Massenpunkt in einem Gebiet, an dessen Rand er elastisch zurückprallt? Welchen Weg nimmt ein Lichtstrahl in einem Gebiet mit ideal reflektierenden Rändern? Anhand dieser und ähnlicher Fragen stellt das vorliegende Buch Zusammenhänge zwischen Billard und Differentialgeometrie, klassischer Mechanik sowie geometrischer Optik her. Dabei beschäftigt sich das Buch unter anderem mit dem Variationsprinzip beim mathematischen Billard, der symplektischen Geometrie von Lichtstrahlen, der Existenz oder Nichtexistenz von Kaustiken, periodischen Billardtrajektorien und dem Mechanismus für Chaos bei der Billarddynamik. Ergänzend wartet dieses Buch mit einer beachtlichen Anzahl von Exkursen auf, die sich verwandten Themen widmen, darunter der Vierfarbensatz, die mathematisch-physikalische Beschreibung von Regenbögen, der poincaresche Wiederkehrsatz, Hilberts viertes Problem oder der Schließungssatz von Poncelet.​

Theorem Proving with the Real Numbers

Author: John Robert Harrison

Publisher: N.A

ISBN: N.A

Category: Automatic theorem proving

Page: 147

View: 4399

DOWNLOAD NOW »
Abstract: "This thesis discusses the use of the real numbers in theorem proving. Typically, theorem provers only support a few 'discrete' datatypes such as the natural numbers. However the availability of the real numbers opens up many interesting and important application areas, such as the verification of floating point hardware and hybrid systems. It also allows the formalization of many more branches of classical mathematics, which is particularly relevant for attempts to inject more rigour into computer algebra systems. Our work is conducted in a version of the HOL theorem prover. We describe the rigorous definitional construction of the real numbers, using a new version of Cantor's method, and the formalization of a significant portion of real analysis. We also describe an advanced derived decision procedure for the 'Tarski subset' of real algebra as well as some more modest but practically useful tools for automating explicit calculations and routine linear arithmetic reasoning. Finally, we consider in more detail two interesting application areas. We discuss the desirability of combining the rigour of theorem provers with the power and convenience of computer algebra systems, and explain a method we have used in practice to achieve this. We then move on to the verification of floating point hardware. After a careful discussion of possible correctness specifications, we report on two case studies, one involving a transcendental function. We aim to show that a theory of real numbers is useful in practice and interesting in theory, and that the 'LCF style' of theorem proving is well suited to the kind of work we describe. We hope also to convince the reader that the kind of mathematics needed for applications is well within the abilities of current theorem proving technology."

Zahlen

Author: Heinz-Dieter Ebbinghaus,Hans Hermes,Friedrich Hirzebruch,Max Koecher,Klaus Mainzer,Jürgen Neukirch,Alexander Prestel,Reinhold Remmert

Publisher: Springer-Verlag

ISBN: 3642971229

Category: Mathematics

Page: 337

View: 8020

DOWNLOAD NOW »
Aus den Besprechungen: "Ein Mathematikbuch der Superlativen, für Mathematiker (jeder Schattierung) und Nichtmathematiker (denen völlig unbekannte Dimensionen der Mathematik eröffnet werden - künstlerische, magische, historische, philosophische, wissenschaftstheoretische, "unlogische", phantasieerfüllte usw.). Der Aufbau ist meisterhaft, die Lektüre höchst anregend und leicht lesbar." Monatshefte für Mathematik #1 "Ein gelungenes Werk, das dem Vorurteil entgegenwirkt, Mathematik bestehe nur aus isolierten Theorien." Die NEUE HOCHSCHULE #1 "Das Lesen ist ein Genuß, den man sich nicht entgehen lassen sollte." Jahresbericht der Deutschen Mathematiker-Vereinigung #1