Blick ins Buch

Well-Quasi Orders in Computation, Logic, Language and Reasoning (eBook)

A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

Peter M. Schuster, Monika Seisenberger, Andreas Weiermann (Herausgeber)

eBook Download: PDF

2020 | 1st ed. 2020
X, 391 Seiten
Springer International Publishing (Verlag)
978-3-030-30229-0 (ISBN)

Lese- und Medienproben

Ebook-Leseprobe (PDF)

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be extremely useful in computer science.

The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students.

Peter Schuster is an Associate Professor of Mathematical Logic at the University of Verona. After completing both his doctorate and habilitation in mathematics at the University of Munich, he was a Lecturer at the University of Leeds and member of the Leeds Logic Group. Apart from constructive mathematics in general, his principal research interests are in the computational content of classical proofs in abstract algebra and related fields, in which maximum or minimum principles are invoked.

Monika Seisenberger is an Associate Professor of Computer Science at Swansea University. After completing a PhD in the Graduate Programme 'Logic in Computer Science' at the LMU Munich she took up a position as research assistant at Swansea University, where she was subsequently appointed lecturer and later programme director. Her research focuses on logic, and on theorem proving and verification.

Andreas Weiermann is a Full Professor of Mathematics at Ghent University. After completing both his doctorate and habilitation in mathematics at the University of Münster, he held postdoctoral positions in Münster and Utrecht and became first an Associate Professor and later Full Professor in Ghent. His research interests include proof theory, theoretical computer science and discrete mathematics.

Erscheint lt. Verlag	1.1.2020
Reihe/Serie	Trends in Logic
Reihe/Serie	Trends in Logic
Zusatzinfo	X, 391 p. 103 illus., 4 illus. in color.
Sprache	englisch
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
	Mathematik / Informatik ► Informatik
	Mathematik / Informatik ► Mathematik
Schlagworte	Analytic Combinatorics • Braid Groups • combinatorics • Commutative algebra • computational content of classical proofs • Constructive Mathematics • descriptive set theory • Discrete Mathematics • Graph-minor Theorem • graph theory • Kriz's Theorem • Maximal Order Type • Ordinal Notation System • Proof theory • reverse mathematics • subrecursive hierarchies • termination proofs • Theorem Proving and Verification • theory of relations • Well Quasi-order
ISBN-10	3-030-30229-6 / 3030302296
ISBN-13	978-3-030-30229-0 / 9783030302290

Haben Sie eine Frage zum Produkt?

PDF (Wasserzeichen)
Größe: 5,7 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Print-Ausgabe

Buch | Hardcover

181,89 €