47,60 €*
Versandkostenfrei per Post / DHL
Lieferzeit 4-7 Werktage
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.
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.
Introduces and develops an algebraic treatment of Boolean matrices
Applies the methods to give an algebraic treatment of point set topology
Offers a framework for handling topological problems using theorem provers
Includes nearly 100 diagrams of relations presented as matrices
Erscheinungsjahr: | 2018 |
---|---|
Fachbereich: | Geometrie |
Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Reihe: | Lecture Notes in Mathematics |
Inhalt: |
xiv
194 S. 36 s/w Illustr. 68 farbige Illustr. 194 p. 104 illus. 68 illus. in color. |
ISBN-13: | 9783319744506 |
ISBN-10: | 331974450X |
Sprache: | Englisch |
Herstellernummer: | 978-3-319-74450-6 |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Winter, Michael
Schmidt, Gunther |
Auflage: | 1st ed. 2018 |
Hersteller: |
Springer International Publishing
Springer International Publishing AG Lecture Notes in Mathematics |
Verantwortliche Person für die EU: | Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de |
Maße: | 235 x 155 x 12 mm |
Von/Mit: | Michael Winter (u. a.) |
Erscheinungsdatum: | 02.06.2018 |
Gewicht: | 0,324 kg |
Introduces and develops an algebraic treatment of Boolean matrices
Applies the methods to give an algebraic treatment of point set topology
Offers a framework for handling topological problems using theorem provers
Includes nearly 100 diagrams of relations presented as matrices
Erscheinungsjahr: | 2018 |
---|---|
Fachbereich: | Geometrie |
Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Reihe: | Lecture Notes in Mathematics |
Inhalt: |
xiv
194 S. 36 s/w Illustr. 68 farbige Illustr. 194 p. 104 illus. 68 illus. in color. |
ISBN-13: | 9783319744506 |
ISBN-10: | 331974450X |
Sprache: | Englisch |
Herstellernummer: | 978-3-319-74450-6 |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Winter, Michael
Schmidt, Gunther |
Auflage: | 1st ed. 2018 |
Hersteller: |
Springer International Publishing
Springer International Publishing AG Lecture Notes in Mathematics |
Verantwortliche Person für die EU: | Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de |
Maße: | 235 x 155 x 12 mm |
Von/Mit: | Michael Winter (u. a.) |
Erscheinungsdatum: | 02.06.2018 |
Gewicht: | 0,324 kg |