Galois Connections and Applications

Author: K. Denecke,M. Erné,S.L. Wismath

Publisher: Springer Science & Business Media

ISBN: 1402018983

Category: Mathematics

Page: 502

View: 2278

Galois connections provide the order- or structure-preserving passage between two worlds of our imagination - and thus are inherent in hu man thinking wherever logical or mathematical reasoning about cer tain hierarchical structures is involved. Order-theoretically, a Galois connection is given simply by two opposite order-inverting (or order preserving) maps whose composition yields two closure operations (or one closure and one kernel operation in the order-preserving case). Thus, the "hierarchies" in the two opposite worlds are reversed or transported when passing to the other world, and going forth and back becomes a stationary process when iterated. The advantage of such an "adjoint situation" is that information about objects and relationships in one of the two worlds may be used to gain new information about the other world, and vice versa. In classical Galois theory, for instance, properties of permutation groups are used to study field extensions. Or, in algebraic geometry, a good knowledge of polynomial rings gives insight into the structure of curves, surfaces and other algebraic vari eties, and conversely. Moreover, restriction to the "Galois-closed" or "Galois-open" objects (the fixed points of the composite maps) leads to a precise "duality between two maximal subworlds".
Posted in Mathematics

Formale Begriffsanalyse

Mathematische Grundlagen

Author: Bernhard Ganter,Rudolf Wille

Publisher: Springer-Verlag

ISBN: 3642614507

Category: Computers

Page: 286

View: 7571

Dieses erste Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der Informatik, insbesondere in der Datenanalyse und Wissensverarbeitung. Das Buch vermittelt vor allem Methoden der graphischen Darstellung von Begriffssystemen, die sich in der Wissenskommunikation bestens bewährt haben. Theorie und graphische Darstellung werden dabei eng miteinander verknüpft. Die mathematischen Grundlagen werden vollständig abgehandelt und durch zahlreiche Beispiele anschaulich gemacht. Da zur Wissensverarbeitung immer stärker der Computer genutzt wird, gewinnen formale Methoden begrifflicher Analyse überall an Bedeutung. Das Buch macht die dafür grundlegende Theorie in kompakter Form zugänglich.
Posted in Computers

Computational Intelligence, Theory and Applications

International Conference 8th Fuzzy Days in Dortmund, Germany, Sept. 29-Oct. 01, 2004 Proceedings

Author: Bernd Reusch

Publisher: Springer Science & Business Media

ISBN: 9783540311829

Category: Computers

Page: 814

View: 6309

Posted in Computers

Categorical Structures and Their Applications

Author: W Gähler,G Preuss

Publisher: World Scientific

ISBN: 981448170X

Category: Mathematics

Page: 356

View: 7852

The book collects original research papers on applied categorical structures, most of which have been presented at the North-West European Category Seminar 2003 in Berlin. The spectrum of these mathematical results reflects the varied interests of Horst Herrlich — one of the leading category theorists of the world — to whom this volume is dedicated in view of his 65th birthday. The book contains applications of categorical methods in various branches of mathematics such as algebra, analysis, logic and topology, as well as fuzzy structures and computer science. At the end of the book the reader will find a complete list of Horst Herrlich's publications. The proceedings have been selected for coverage in: • Index to Scientific & Technical Proceedings® (ISTP® / ISI Proceedings) • Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings) • CC Proceedings — Engineering & Physical Sciences Contents:On Boole's Booleanness (B Banaschewski)Homeomorphically Closed Nearness Spaces (H L Bentley & J W Carlson)The Tensor Product of Orthomodular Posets (R Börger)Saturated Collections of Metrics (E Colebunders et al.)Topological Structures in Logics (W Gähler)The Structure of Affine Algebraic Sets (E Giuli)A Characterization of Co-Retracts of Functional Structures (R Kaschek)Introducing Lagois Correspondences (A Melton)On Coalgebras which are Algebras (H-E Porst & C Dzierzon)Fibrewise Sobriety (G Richter & A Vauth)and other papers Readership: Graduate students, researchers, academics and lecturers in mathematics and computer science. Keywords:Category Theory;Algebra;Logic;Topology;Fuzzy Structures;Computer Science
Posted in Mathematics

Algebra für Einsteiger

Von der Gleichungsauflösung zur Galois-Theorie

Author: Jörg Bewersdorff

Publisher: Springer-Verlag

ISBN: 3658022620

Category: Mathematics

Page: 214

View: 6814

Dieses Buch ist eine leicht verständliche Einführung in die Algebra, die den historischen und konkreten Aspekt in den Vordergrund rückt. Der rote Faden ist eines der klassischen und fundamentalen Probleme der Algebra: Nachdem im 16. Jahrhundert allgemeine Lösungsformeln für Gleichungen dritten und vierten Grades gefunden wurden, schlugen entsprechende Bemühungen für Gleichungen fünften Grades fehl. Nach fast dreihundertjähriger Suche führte dies schließlich zur Begründung der so genannten Galois-Theorie: Mit ihrer Hilfe kann festgestellt werden, ob eine Gleichung mittels geschachtelter Wurzelausdrücke lösbar ist. Das Buch liefert eine gute Motivation für die moderne Galois-Theorie, die den Studierenden oft so abstrakt und schwer erscheint. In dieser Auflage wurde ein Kapitel ergänzt, in dem ein alternativer, auf Emil Artin zurückgehender Beweis des Hauptsatzes der Galois-Theorie wiedergegeben wird. Dieses Kapitel kann fast unabhängig von den anderen Kapiteln gelesen werden.
Posted in Mathematics

Formal Concept Analysis

12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings

Author: Cynthia Vera Glodeanu,Mehdi Kaytoue,Christian Sacarea

Publisher: Springer

ISBN: 331907248X

Category: Computers

Page: 297

View: 3476

This book constitutes the refereed proceedings of the 12th International Conference on Formal Concept Analysis, ICFCA 2014, held in Cluj-Napoca, Romania, in June 2014. The 16 regular papers presented together with 3 invited talks were carefully reviewed and selected from 39 submissions. The papers in this volume cover a rich range of FCA aspects, such as theory, enhanced FCA. Knowledge discovery and knowledge spaces, as well as methods and applications. In addition the book contains a reprint of the first publication "Sub direct decomposition of concept lattices" by Rudolf Wille.
Posted in Computers

Universal Algebra and Applications in Theoretical Computer Science

Author: Klaus Denecke,Shelly L. Wismath

Publisher: CRC Press

ISBN: 9781584882541

Category: Mathematics

Page: 383

View: 6564

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science. Yet most of the classic books on the subject are long out of print and, to date, no other book has integrated these theories with the long-established work that supports them. Universal Algebra and Applications in Theoretical Computer Science introduces the basic concepts of universal algebra and surveys some of the newer developments in the field. The first half of the book provides a solid grounding in the core material. A leisurely pace, careful exposition, numerous examples, and exercises combine to form an introduction to the subject ideal for beginning graduate students or researchers from other areas. The second half of the book focuses on applications in theoretical computer science and advanced topics, including Mal'cev conditions, tame congruence theory, clones, and commutators. The impact of the advances in universal algebra on computer science is just beginning to be realized, and the field will undoubtedly continue to grow and mature. Universal Algebra and Applications in Theoretical Computer Science forms an outstanding text and offers a unique opportunity to build the foundation needed for further developments in its theory and in its computer science applications.
Posted in Mathematics

Recent developments of general topology and its applications

International Conference in Memory of Felix Hausdorff (1868-1942), Berlin, March 22-28, 1992

Author: Werner Gähler,Horst Herrlich

Publisher: Vch Pub

ISBN: 9783055014239

Category: Mathematics

Page: 319

View: 8637

This volume contains the main part of the lectures contributed to the conference. They reflect the new trends of development in general topology.
Posted in Mathematics

Galois Theories

Author: Francis Borceux,George Janelidze

Publisher: Cambridge University Press

ISBN: 9780521803090

Category: Mathematics

Page: 341

View: 3580

Develops Galois theory in a more general context, emphasizing category theory.
Posted in Mathematics

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory, Shanghai, China, October 1999

Author: Klaus Keimel

Publisher: Springer Science & Business Media

ISBN: 9780792371434

Category: Computers

Page: 273

View: 9555

Proceedings of the 1st International Symposium on Domain Theory
Posted in Computers

Category Theory and Computer Programming

Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

Author: David Pitt,Samson Abramsky,Axel Poigne,David Rydeheard

Publisher: Springer

ISBN: 9783540171621

Category: Computers

Page: 519

View: 3684

Posted in Computers

Generalized Galois logics

relational semantics of nonclassical logical calculi

Author: Katalin Bimbó,J. Michael Dunn

Publisher: Center for the Study of Language and Inf

ISBN: 9781575865737

Category: Language Arts & Disciplines

Page: 382

View: 1802

Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.
Posted in Language Arts & Disciplines

Mathematical Reviews

Author: N.A

Publisher: N.A


Category: Mathematics

Page: N.A

View: 3189

Posted in Mathematics

Galoissche Theorie

Author: Emil Artin

Publisher: N.A


Category: Galois theory

Page: 86

View: 5143

Posted in Galois theory

Maß und Kategorie

Author: J.C. Oxtoby

Publisher: Springer-Verlag

ISBN: 364296074X

Category: Mathematics

Page: 112

View: 2090

Dieses Buch behandelt hauptsächlich zwei Themenkreise: Der Bairesche Kategorie-Satz als Hilfsmittel für Existenzbeweise sowie Die "Dualität" zwischen Maß und Kategorie. Die Kategorie-Methode wird durch viele typische Anwendungen erläutert; die Analogie, die zwischen Maß und Kategorie besteht, wird nach den verschiedensten Richtungen hin genauer untersucht. Hierzu findet der Leser eine kurze Einführung in die Grundlagen der metrischen Topologie; außerdem werden grundlegende Eigenschaften des Lebesgue schen Maßes hergeleitet. Es zeigt sich, daß die Lebesguesche Integrationstheorie für unsere Zwecke nicht erforderlich ist, sondern daß das Riemannsche Integral ausreicht. Weiter werden einige Begriffe aus der allgemeinen Maßtheorie und Topologie eingeführt; dies geschieht jedoch nicht nur der größeren Allgemeinheit wegen. Es erübrigt sich fast zu erwähnen, daß sich die Bezeichnung "Kategorie" stets auf "Bairesche Kategorie" be zieht; sie hat nichts zu tun mit dem in der homologischen Algebra verwendeten Begriff der Kategorie. Beim Leser werden lediglich grundlegende Kenntnisse aus der Analysis und eine gewisse Vertrautheit mit der Mengenlehre vorausgesetzt. Für die hier untersuchten Probleme bietet sich in natürlicher Weise die mengentheoretische Formulierung an. Das vorlie gende Buch ist als Einführung in dieses Gebiet der Analysis gedacht. Man könnte es als Ergänzung zur üblichen Grundvorlesung über reelle Analysis, als Grundlage für ein Se minar oder auch zum selbständigen Studium verwenden. Bei diesem Buch handelt es sich vorwiegend um eine zusammenfassende Darstellung; jedoch finden sich in ihm auch einige Verfeinerungen bekannter Resultate, namentlich Satz 15.6 und Aussage 20.4. Das Literaturverzeichnis erhebt keinen Anspruch auf Vollständigkeit. Häufig werden Werke zitiert, die weitere Literaturangaben enthalten.
Posted in Mathematics

Relationen und Graphen

Author: Gunther Schmidt,Thomas Ströhlein

Publisher: Springer-Verlag

ISBN: 3642836089

Category: Mathematics

Page: 306

View: 4848

Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ähnlich wie man es sonst nur für die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch für die Behandlung diskreter Probleme geeignete Techniken und Hilfsmittel sowie eine einheitliche Theorie bereit. Die einzelnen Kapitel beginnen jeweils mit anschaulichen und motivierenden Beispielen und behandeln anschließend den Stoff in mathematischer Strenge. Es folgen jeweils praktische Anwendungen. Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einführung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriß der Fixpunkt- und Antimorphismen-Theorie.
Posted in Mathematics

Galois Groups and Fundamental Groups

Author: Tamás Szamuely

Publisher: Cambridge University Press

ISBN: 0521888506

Category: Mathematics

Page: 270

View: 7999

Assuming little technical background, the author presents the strong analogies between these two concepts starting at an elementary level.
Posted in Mathematics