Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: booksXpress, Bayonne, NJ, USA
Soft Cover. Zustand: new.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Big River Books, Powder Springs, GA, USA
Zustand: Good. The cover has normal wear. The text has no notes or markings.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Zustand: New.
Verlag: Springer International Publishing Sep 2022, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers.Informed by the author's recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementary category theory and algebraic topology is recommended. 156 pp. Englisch.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: Books Puddle, New York, NY, USA
Zustand: New.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 1.01.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: New. Book is in NEW condition. 1.01.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Books Unplugged, Amherst, NY, USA
Zustand: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.01.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Book Deals, Tucson, AZ, USA
Zustand: New. New! This book is in the same immaculate condition as when it was published 1.01.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Book Deals, Tucson, AZ, USA
Zustand: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 1.01.
Verlag: Springer Spektrum, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Book Deals, Tucson, AZ, USA
Zustand: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 1.01.
Verlag: Springer Spektrum 2019-03, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New.
Verlag: Springer, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New.
Verlag: Springer Berlin Heidelberg Mrz 2019, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. Neuware -Wie lassen sich Spiele und Puzzles mathematisch analysieren Wie kann man unendliche Strukturen zutreffend beschreiben Wie kann man Nachrichten gut verschlüsseln Achtzehn ausgewählte mathematische Themen mit Aufgaben und Lösungen laden zum Entdecken und Knobeln ein und bieten Einblicke in die faszinierende Welt der Mathematik - von A wie Aussagenlogik bis Z wie Zahlentheorie. Die Themen wecken so die Neugierde für Mathematik und fördern die Begeisterung von Schülerinnen und Schülern ab Klasse 7. Anleitungen zum mathematischen Problemlösen und Beweisen erleichtern dabei den Einstieg.Das vorliegende Buch enthält das überarbeitete und ergänzte Material des Schülerzirkels Mathematik der Fakultät für Mathematik an der Universität Regensburg aus den Schuljahren 2012/13 bis 2014/15, das fürdie zweite Auflage um ausgewählte Themen der Schuljahre 2015/16 bis 2017/18ergänzt wurde.Stimme zur ersten Auflage'Es ist erfreulich, dass die Aufgaben und Lösungen aus dem Schülerzirkel Mathematik der Universität Regensburg einem breiten Leserkreis zur Verfügung gestellt werden. Die Verbindung von pfiffigen Knobelaufgaben als Einstieg in ein Thema mit der Vermittlung des mathematischen Hintergrundwissens wird sicher vielen Schülerinnen und Schülern den Weg in die Welt der Mathematik ebnen.'Hanns-Heinrich Langmann, Projektleiter Bundesweite Mathematik-Wettbewerbe bei Bildung & Begabung 336 pp. Deutsch.
Verlag: Springer Berlin Heidelberg Mrz 2019, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Wie lassen sich Spiele und Puzzles mathematisch analysieren Wie kann man unendliche Strukturen zutreffend beschreiben Wie kann man Nachrichten gut verschlüsseln Achtzehn ausgewählte mathematische Themen mit Aufgaben und Lösungen laden zum Entdecken und Knobeln ein und bieten Einblicke in die faszinierende Welt der Mathematik - von A wie Aussagenlogik bis Z wie Zahlentheorie. Die Themen wecken so die Neugierde für Mathematik und fördern die Begeisterung von Schülerinnen und Schülern ab Klasse 7. Anleitungen zum mathematischen Problemlösen und Beweisen erleichtern dabei den Einstieg.Das vorliegende Buch enthält das überarbeitete und ergänzte Material des Schülerzirkels Mathematik der Fakultät für Mathematik an der Universität Regensburg aus den Schuljahren 2012/13 bis 2014/15, das fürdie zweite Auflage um ausgewählte Themen der Schuljahre 2015/16 bis 2017/18ergänzt wurde.Stimme zur ersten Auflage'Es ist erfreulich, dass die Aufgaben und Lösungen aus dem Schülerzirkel Mathematik der Universität Regensburg einem breiten Leserkreis zur Verfügung gestellt werden. Die Verbindung von pfiffigen Knobelaufgaben als Einstieg in ein Thema mit der Vermittlung des mathematischen Hintergrundwissens wird sicher vielen Schülerinnen und Schülern den Weg in die Welt der Mathematik ebnen.'Hanns-Heinrich Langmann, Projektleiter Bundesweite Mathematik-Wettbewerbe bei Bildung & Begabung 336 pp. Deutsch.
Verlag: Springer International Publishing, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers. Subsequently, typical design options are discussed and brought to life through worked examples in the setting of simplicial complexes (a higher-dimensional generalisation of graph theory). Finally, the book demonstrates how current research in algebraic and geometric topology can be formalised by means of suitable abstraction layers.Informed by the author's recent teaching and research experience, this book allows students and researchers to quickly get started with formalising and checking their proofs. The core material of the book is accessible to mathematics students with basic programming skills. For the final chapter, familiarity with elementarycategory theory and algebraic topology is recommended.
Verlag: Spektrum Akademischer Verlag Gmbh, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 2nd edition. 335 pages. German language. 9.25x6.10x0.87 inches. In Stock.
Verlag: Springer, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: New. Book is in NEW condition. 0.62.
Verlag: Springer, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 0.62.
Verlag: Springer, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Zustand: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 0.62.
Verlag: Springer, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: Books Unplugged, Amherst, NY, USA
Zustand: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 0.62.
Verlag: Springer, 2022
ISBN 10: 3031146484 ISBN 13: 9783031146480
Anbieter: Book Deals, Tucson, AZ, USA
Zustand: New. New! This book is in the same immaculate condition as when it was published 0.62.
Verlag: Springer Berlin Heidelberg Mär 2019, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - Wie lassen sich Spiele und Puzzles mathematisch analysieren Wie kann man unendliche Strukturen zutreffend beschreiben Wie kann man Nachrichten gut verschlüsseln Achtzehn ausgewählte mathematische Themen mit Aufgaben und Lösungen laden zum Entdecken und Knobeln ein und bieten Einblicke in die faszinierende Welt der Mathematik - von A wie Aussagenlogik bis Z wie Zahlentheorie. Die Themen wecken so die Neugierde für Mathematik und fördern die Begeisterung von Schülerinnen und Schülern ab Klasse 7. Anleitungen zum mathematischen Problemlösen und Beweisen erleichtern dabei den Einstieg.Das vorliegende Buch enthält das überarbeitete und ergänzte Material des Schülerzirkels Mathematik der Fakultät für Mathematik an der Universität Regensburg aus den Schuljahren 2012/13 bis 2014/15, das fürdie zweite Auflage um ausgewählte Themen der Schuljahre 2015/16 bis 2017/18ergänzt wurde.Stimme zur ersten Auflage'Es ist erfreulich, dass die Aufgaben und Lösungen aus dem Schülerzirkel Mathematik der Universität Regensburg einem breiten Leserkreis zur Verfügung gestellt werden. Die Verbindung von pfiffigen Knobelaufgaben als Einstieg in ein Thema mit der Vermittlung des mathematischen Hintergrundwissens wird sicher vielen Schülerinnen und Schülern den Weg in die Welt der Mathematik ebnen.'Hanns-Heinrich Langmann, Projektleiter Bundesweite Mathematik-Wettbewerbe bei Bildung & Begabung.
Verlag: Springer, 2018
ISBN 10: 3319722530 ISBN 13: 9783319722535
Anbieter: Books Puddle, New York, NY, USA
Zustand: New.
Verlag: Springer Spektrum, 2016
ISBN 10: 3662489554 ISBN 13: 9783662489550
Anbieter: Studibuch, Stuttgart, Deutschland
paperback. Zustand: Gut. Seiten; 9783662489550.3 Sprache: Deutsch Gewicht in Gramm: 500.
Verlag: Springer International Publishing, 2018
ISBN 10: 3319722530 ISBN 13: 9783319722535
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Inspired by classical geometry, geometric group theory has in turn provided a variety of applications to geometry, topology, group theory, number theory and graph theory. This carefully written textbook provides a rigorous introduction to this rapidly evolving field whose methods have proven to be powerful tools in neighbouring fields such as geometric topology. Geometric group theory is the study of finitely generated groups via the geometry of their associated Cayley graphs. It turns out that the essence of the geometry of such groups is captured in the key notion of quasi-isometry, a large-scale version of isometry whose invariants include growth types, curvature conditions, boundary constructions, and amenability. This book covers the foundations of quasi-geometry of groups at an advanced undergraduate level. The subject is illustrated by many elementary examples, outlooks on applications, as well as an extensive collection of exercises.
Verlag: Springer, 2018
ISBN 10: 3319722530 ISBN 13: 9783319722535
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New.
Verlag: Springer Berlin Heidelberg, 2019
ISBN 10: 3662587246 ISBN 13: 9783662587249
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. Beantwortet u.a. folgende Fragen: Wie lassen sich Spiele und Puzzles mathematisch analysieren? Wie kann man unendliche Strukturen zutreffend beschreiben? Wie kann man Nachrichten gut verschluesseln?Erweckt Begeisterung fuer die Mathematik .
Verlag: Springer, 2018
ISBN 10: 3319722530 ISBN 13: 9783319722535
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.