Relational Topology (Lecture Notes in Mathematics, Band 2208) - Softcover

Schmidt, Gunther; Winter, Michael

Softcover

ISBN 10: 331974450X ISBN 13: 9783319744506

Verlag: Springer, 2018

Inhaltsangabe

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appear throughout mathematics, numerics, statistics, engineering, and elsewhere, the methods used to work with them are much less well known. In addition to their purely topological applications, the volume also details how the techniques may be successfully applied to spatial reasoning and to logics of computer science.

Topologists will find several familiar concepts presented in a concise and algebraically manipulable form which is far more condensed than usual, but visualized via represented relations and thus readily graspable. This approach also offers the possibility of handling topological problems using proof assistants.

Über diesen Titel

Über die Autorin bzw. den Autor

Gunther Schmidt arbeitete in der Komplexen Analysis, geriet aber als Mitarbeiter in die Ingenieurmathematik. Der in München sich entwickelnden Informatik half er früh mit Projekten und Vorlesungen zu Logik, Semantik, Übersetzerbau und Graphentheorie. Seine Arbeit über Relationen machte ihn zum vielfachen Herausgeber und Buchautor.

Von der hinteren Coverseite

This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology. Although these objects mirror the matrices that appear throughout mathematics, numerics, statistics, engineering, and elsewhere, the methods used to work with them are much less well known. In addition to their purely topological applications, the volume also details how the techniques may be successfully applied to spatial reasoning and to logics of computer science.

Topologists will find several familiar concepts presented in a concise and algebraically manipulable form which is far more condensed than usual, but visualized via represented relations and thus readily graspable. This approach also offers the possibility of handling topological problems using proof assistants.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2018
• Sprache: Englisch
• ISBN 10: 331974450X
• ISBN 13: 9783319744506
• Einband: Taschenbuch
• Auflage: 1
• Anzahl der Seiten: 208
• Kontakt zum Hersteller: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Deutschland