Mathematics

Graph Structure and Monadic Second-Order Logic

A Language-Theoretic Approach

Author: Bruno Courcelle,Joost Engelfriet

Publisher: Cambridge University Press

ISBN: 1139644009

Category: Mathematics

Page: N.A

View: 5266

The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.
Mathematics

Equivalents of the Riemann Hypothesis

Author: Kevin Broughan

Publisher: Cambridge University Press

ISBN: 110719704X

Category: Mathematics

Page: 336

View: 8931

The Riemann hypothesis (RH) is perhaps the most important outstanding problem in mathematics. This two-volume text presents the main known equivalents to RH using analytic and computational methods. The book is gentle on the reader with definitions repeated, proofs split into logical sections, and graphical descriptions of the relations between different results. It also includes extensive tables, supplementary computational tools, and open problems suitable for research. Accompanying software is free to download. These books will interest mathematicians who wish to update their knowledge, graduate and senior undergraduate students seeking accessible research problems in number theory, and others who want to explore and extend results computationally. Each volume can be read independently. Volume 1 presents classical and modern arithmetic equivalents to RH, with some analytic methods. Volume 2 covers equivalences with a strong analytic orientation, supported by an extensive set of appendices containing fully developed proofs.
Mathematics

Equivalents of the Riemann Hypothesis: Volume 2, Analytic Equivalents

Author: Kevin Broughan

Publisher: Cambridge University Press

ISBN: 1108187021

Category: Mathematics

Page: N.A

View: 768

The Riemann hypothesis (RH) is perhaps the most important outstanding problem in mathematics. This two-volume text presents the main known equivalents to RH using analytic and computational methods. The book is gentle on the reader with definitions repeated, proofs split into logical sections, and graphical descriptions of the relations between different results. It also includes extensive tables, supplementary computational tools, and open problems suitable for research. Accompanying software is free to download. These books will interest mathematicians who wish to update their knowledge, graduate and senior undergraduate students seeking accessible research problems in number theory, and others who want to explore and extend results computationally. Each volume can be read independently. Volume 1 presents classical and modern arithmetic equivalents to RH, with some analytic methods. Volume 2 covers equivalences with a strong analytic orientation, supported by an extensive set of appendices containing fully developed proofs.
Mathematics

Algorithmen und rekursive Funktionen

Author: Anatolij I. Malʹcev

Publisher: Springer-Verlag

ISBN: 332285356X

Category: Mathematics

Page: 336

View: 4052

Noch in den 30er Jahren unseres Jahrhunderts erweckten die mathematische Logik und die damals entstehende Algorithmentheorie den Anschein besonders abstrakter und von praktischen Anwendungen besonders weit entfernter mathe matischer Disziplinen. Heute hat sich die Situation radikal verändert. Es ist jetzt allgemein anerkannt, daß die beiden genannten Disziplinen eine theoretische Grundlage für Aufbau und Anwendungen schnell arbeitender Rechen-und Steu erungssysteme schaffen. Das relative Gewicht der mathematischen Logik und der Algorithmentheorie wuchs auch in der Mathematik selbst stark an. Darüber hinaus dringen gegenwärtig in beträchtlichem Maße durch die Algorithmentheorie und die mathematische Logik mathematische Methoden in die Biologie, die Lin guistik, die Wirtschaftswissenschaften und sogar Philosophie der Naturwissen schaften ein. All dies hat dazu geführt, daß die mathematische Logik und die Algorithmentheorie angefangen haben, in die Lehrpläne unserer Universitäten und pädagogischen Hochschulen als für das Studium der Mathematikstudenten aller Fachrichtungen obligatorische Disziplin einzudringen. Das vorliegende Buch ist aus der Bearbeitung von Nachschriften von Vorlesun gen über mathematische Logik, Algorithmentheorie und deren Anwendungen ent standen, die der Verfasser in den Jahren 1956-1959 an der pädagogischen Hoch schule von lvanovsk und seit dem Jahr 1960 an der Universität Novosibirsk gehalten hat. In ihm wird nur die allgemeine Theorie der Algorithmen und der rekursiven Funktionen entwickelt. Ganz außerhalb des Rahmens des Buches blieben die Komplexe Auto· matentheorie, Anwendungen der Algorithmentheorie auf formale Theorien und Theorie der Unlösbarkeitsgrade. Eine irgendwie ausführliche Darstellung dieser Disziplinen zum gegenwärtigen Zeitpunkt bedarf besonderer Einzeldar stellungen.
Computers

Strukturelle Analyse Web-basierter Dokumente

Author: Matthias Dehmer

Publisher: Springer-Verlag

ISBN: 3835091352

Category: Computers

Page: 171

View: 1882

Matthias Dehmer rückt das Web Structure Mining, insbesondere die strukturelle Analyse Web-basierter Hypertexte auf Grundlage gerichteter Graphen, in den Mittelpunkt seiner Untersuchung. Der Autor stellt ein graphentheoretisches Modell zur Bestimmung der strukturellen Ähnlichkeit einer Klasse von gerichteten Graphen vor. Auf Basis des angesprochenen Modells führt er Experimente mit bestehenden Hypertexten durch und beschreibt neuartige Anwendungen im Web Structure Mining und in anderen Gebieten.
Technology & Engineering

Einführung in die mathematische Logik

Klassische Prädikatenlogik

Author: Hans Hermes

Publisher: Springer-Verlag

ISBN: 3322996425

Category: Technology & Engineering

Page: 208

View: 7515

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einführung in die klassische zweiwertige Prädikaten logik geben. Die Beschränkung auf die klassische Logik soll nicht besagen, daß diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einführung in die Logik wegen ihrer Einfachheit und als Fundament für die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primär an Studierende der Mathematik, die in den An fängervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu geführt werden, daß er die Vorteile einer Formalisierung einsieht. Der übergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemäß gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeübt. Die Analyse desmathemati schen Umgangs mit den grundlegenden mathematischen Strukturen führt in zwangloser Weise zum semantisch begründeten Folgerungsbegriff.
Mathematics

Grundzüge der theoretischen Logik

Author: David Hilbert,Wilhelm Ackermann

Publisher: Springer-Verlag

ISBN: 3662119323

Category: Mathematics

Page: 190

View: 3288

Die theoretische Logik, auch mathematische oder symbolische Logik genannt, ist eine Ausdehnung der formalen Methode der Mathematik auf das Gebiet der Logik. Sie wendet für die Logik eine ähnliche Formel sprache an, wie sie zum Ausdruck mathematischer Beziehungen schon seit langem gebräuchlich ist. In der Mathematik würde es heute als eine Utopie gelten, wollte man beim Aufbau einer mathematischen Disziplin sich nur der gewöhnlichen Sprache bedienen. Die großen Fortschritte, die in der Mathematik seit der Antike gemacht worden sind, sind zum wesentlichen Teil mit dadurch bedingt, daß es gelang, einen brauchbaren und leistungsfähigen Formalismus zu finden. - Was durch die Formel sprache in der Mathematik erreicht wird, das soll auch in der theoretischen Logik durch diese erzielt werden, nämlich eine exakte, wissenschaftliche Behandlung ihres Gegenstandes. Die logischen Sachverhalte, die zwischen Urteilen, Begriffen usw. bestehen, finden ihre Darstellung durch Formeln, deren Interpretation frei ist von den Unklarheiten, die beim sprachlichen Ausdruck leicht auftreten können. Der Übergang zu logischen Folgerungen, wie er durch das Schließen geschieht, wird in seine letzten Elemente zerlegt und erscheint als formale Umgestaltung der Ausgangsformeln nach gewissen Regeln, die den Rechenregeln in der Algebra analog sind; das logische Denken findet sein Abbild in einem Logikkalkül. Dieser Kalkül macht die erfolgreiche Inangriffnahme von Problemen möglich, bei denen das rein inhaltliche Denken prinzipiell versagt. Zu diesen gehört z. B.
Philosophy

Einführung in die Modallogik

Author: G.E. Hughes,Max J. Cresswell

Publisher: Walter de Gruyter

ISBN: 3110830027

Category: Philosophy

Page: 350

View: 7544

Mathematics

Kombinatorische Optimierung

Theorie und Algorithmen

Author: Bernhard Korte,Jens Vygen

Publisher: Springer-Verlag

ISBN: 3642254012

Category: Mathematics

Page: 696

View: 5036

Das umfassende Lehrbuch zur Kombinatorischen Optimierung beruht auf Vorlesungen, die die Autoren an der Universität Bonn gehalten haben. Sie geben den neuesten Stand des Fachgebiets wieder – mit Schwerpunkt auf theoretischen Resultaten und Algorithmen mit guten Laufzeiten und Ergebnissen. Der Band enthält vollständige Beweise, einige davon wurden bisher nicht in der Lehrbuchliteratur publiziert. Die deutschsprachige Neuauflage enthält alle Ergänzungen und Aktualisierungen der 5. englischsprachigen Auflage, darunter mehr als 60 neue Übungsaufgaben.
Logic

Logik

die Frage nach der Wahrheit

Author: Martin Heidegger

Publisher: Vittorio Klostermann

ISBN: 9783465026600

Category: Logic

Page: 418

View: 1046

Mathematics

Über die Hypothesen, welche der Geometrie zu Grunde liegen

Author: Bernhard Riemann,Hermann Weyl

Publisher: Springer-Verlag

ISBN: 3662248611

Category: Mathematics

Page: 50

View: 2159

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
Mathematics

Mengenlehre und ihre Logik

Author: Willard van Orman Quine

Publisher: Springer-Verlag

ISBN: 3322859436

Category: Mathematics

Page: 264

View: 7130

Mathematics

Die Grundlagen der Mathematik

Author: David Hilbert

Publisher: Springer-Verlag

ISBN: 3663161021

Category: Mathematics

Page: 29

View: 5389

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.
History

Raum, Zeit, Materie

Author: Hermann Weyl

Publisher: Рипол Классик

ISBN: 5880098028

Category: History

Page: N.A

View: 9230

Mathematische Logik

Principia mathematica

Vorwort und Einleitungen

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: 9783518281932

Category: Mathematische Logik

Page: 167

View: 926

History

Logische Untersuchungen

Author: Gottlob Frege,Günther Patzig

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525340318

Category: History

Page: 172

View: 6409