| 1. |
Grieser, Daniel: Exploring mathematics : problem-solving and proof / Daniel Grieser. -
Cham: Springer, 2018. - 1 Online-Ressource (320 Seiten) : Illustrationen, ISBN 978-3-319-90321-7
(Springer undergraduate mathematics series)
(Springer eBook Collection)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-90321-7
 Online-Ressource |
|
|
| 2. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen - eine Einführung / Christoph Meinel, Martin Mundhenk. - 7. Auflage. -
Wiesbaden: Springer Vieweg, [2024]. - 1 Online-Ressource (XXI, 317 Seiten, 97 Abb.), ISBN 978-3-658-43136-5
DOI: 10.1007/978-3-658-43136-5
Online-Ressource |
|
|
| 3. |
Berghammer, Rudolf: Mathematik für die Informatik : Grundlegende Begriffe, Strukturen und ihre Anwendung / von Rudolf Berghammer. - 2. Aufl. 2017. -
Wiesbaden: Springer Vieweg, 2017. - Online-Ressource (XII, 370 S, online resource), ISBN 978-3-658-16712-7
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-16712-7
Online-Ressource |
|
|
| 4. |
Göbler, Felix: Einstieg in die beweisorientierte Mathematik : Mit Versuch und Irrtum zum Beweis / von Felix Göbler, Alex Küronya. -
Berlin: Springer, 2023. - 1 Online-Ressource(XXIX, 321 Seiten) : Illustrationen, ISBN 978-3-662-66356-1
DOI: 10.1007/978-3-662-66356-1
Online-Ressource |
|
|
| 5. |
Krantz, Steven G.: The elements of advanced mathematics / Steven G. Kranz. - Fifth edition. -
Boca Raton ; London ; New York: CRC Press, Taylor & Francis Group, 2022. - xv, 295 Seiten, ISBN 978-1-032-10275-7
(Textbooks in mathematics)
DOI: 10.1201/9781003214564
 Buch/keine Angabe |
Signatur: UBN/SK 110 K89(5)
|
|
| 6. |
Witt, Kurt-Ulrich: Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion / von Kurt-Ulrich Witt. -
Wiesbaden: Springer Vieweg, 2013. - Online-Ressource (VIII, 222 S. 19 Abb., 14 Abb. in Farbe, online resource), ISBN 978-3-658-03079-7
(SpringerLink : Bücher)
(Springer eBook Collection : Life Science and Basic Disciplines)
DOI: 10.1007/978-3-658-03079-7
Online-Ressource |
|
|
| 7. |
Zeidler, Eberhard: Springer-Handbuch der Mathematik II / begr. von I. N. Bronstein und K. A. Semendjaew. Weitergef. von G. Grosche ... Hrsg.von Eberhard Zeid… . -
Wiesbaden: Springer Spektrum, 2013. - Online-Ressource (XI, 329 S. 20 Abb, digital), ISBN 978-3-658-00297-8
(Springer eBook Collection)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-658-00297-8
Online-Ressource |
|
|
| 8. |
Junk, Michael: Beweisen lernen Schritt für Schritt : für einen gelungenen Einstieg ins Mathestudium / Michael Junk, Jan-Hendrik Treude. -
Berlin ; [Heidelberg]: Springer Spektrum, [2020]. - VIII, 333 Seiten : Illustrationen, Diagramme, ISBN 978-3-662-61615-4
(Lehrbuch)
DOI: 10.1007/978-3-662-61616-1
Buch/keine Angabe |
|
|
| 9. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen Eine Einführung / von Christoph Meinel, Martin Mundhenk. - 4., überarbeitete Auflage. -
Wiesbaden: Vieweg+Teubner, 2009. - Online-Ressource (335S. 28 Abb, online resource), ISBN 978-3-8348-9310-9
(Springer eBook Collection)
(SpringerLink : Bücher)
(XLeitfäden der Informatik)
DOI: 10.1007/978-3-8348-9310-9
Online-Ressource |
|
|
| 10. |
Göbler, Felix: Einstieg in die beweisorientierte Mathematik : mit Versuch und Irrtum zum Beweis / Felix Göbler, Alex Küronya. -
Berlin ; [Heidelberg]: Springer Spektrum, [2023]. - XXIX, 320 Seiten : Illustrationen, ISBN 978-3-662-66355-4
(Lehrbuch)
DOI: 10.1007/978-3-662-66356-1
Buch/keine Angabe |
Signatur: UBN/SK 130 G593
|
|
| 11. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen : eine Einführung / Christoph Meinel, Martin Mundhenk. - 6. Auflage. -
Wiesbaden: Springer Vieweg, [2015]. - XVII, 321 Seiten : Illustrationen, ISBN 978-3-658-09885-8
(Lehrbuch)
Buch/keine Angabe |
Signatur: UBN/SK 130 M514(6)
|
|
| 12. |
Lepetic, Vladimir: Principles of mathematics : a primer / Vladimir Lepetic. -
Hoboken, NJ: Wiley, 2016. - xiii, 654 Seiten, ISBN 978-1-119-13164-9
Buch/keine Angabe |
Signatur: UBN/SK 399 L595
|
|
| 13. |
Mileti, Joseph: Modern mathematical logic / Joseph Mileti (Grinell College). -
Cambridge ; New York, NY ; Melbourne: Cambridge University Press, 2023. - xiv, 502 Seiten : Diagramme, ISBN 978-1-108-83314-1
(Cambridge mathematical textbooks)
DOI: 10.1017/9781108973106
Buch/keine Angabe |
Signatur: UBN/SK 130 M643
|
|
| 14. |
Loehr, Nicholas A.: An introduction to mathematical proofs / Nicholas A. Loehr. -
Boca Raton ; London ; New York: CRC Press, Taylor & Francis Group, [2020]. - xv, 395 Seiten : Illustrationen, Diagramme, ISBN 978-0-367-33823-7
(Textbooks in mathematics)
Buch/keine Angabe |
Signatur: UBN/SK 130 L825
|
|
| 15. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen / von Christoph Meinel, Martin Mundhenk. - 3., überarbeitete und erweiterte Auflage. -
Wiesbaden: Vieweg+Teubner, 2006. - Online-Ressource (333S. 30 Abb, online resource), ISBN 978-3-8351-9036-8
(XLeitfäden der Informatik)
(SpringerLink : Bücher)
(Springer eBook Collection)
DOI: 10.1007/978-3-8351-9036-8
Online-Ressource |
|
|
| 16. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung / Christoph Meinel; Martin Mundhenk. - 4., überarb. Aufl.. -
Wiesbaden: Vieweg + Teubner, 2009. - 335 S. : graph. Darst., ISBN 978-3-8348-0666-6
(Studium)
(Leitfäden der Informatik)
Buch/keine Angabe |
Signatur: UBN/SK 130 M515(4)
|
|
| 17. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen ; eine Einführung / Christoph Meinel; Martin Mundhenk. - 5., überarb. Aufl.. -
Wiesbaden: Vieweg + Teubner, 2011. - 335 S. : Ill., graph. Darst., ISBN 978-3-8348-1520-0
(Leitfäden der Informatik)
(Leitfäden der Informatik)
Buch/keine Angabe |
Signatur: UBN/ST 120 M514(5)
|
|
| 18. |
Lakatos, Imre: Beweise und Widerlegungen : die Logik mathematischer Entdeckungen / Imre Lakatos. Hrsg. von John Worrall .... -
Braunschweig ; Wiesbaden: Vieweg, 1979. - XII, 161 S. : graph. Darst., ISBN 978-3-663-00047-1
(Wissenschaftstheorie, Wissenschaft und Philosophie ; 14)
Buch/keine Angabe |
ausleihbar  |
|
| 19. |
Pólya, George: Mathematik und plausibles Schliessen / Georg Pólya. -
Basel ; Stuttgart: Birkhäuser, 19XX-
(Wissenschaft und Kultur ; ...)
 Mehrteiliges Werk |
|
|
| 20. |
The Hyperuniverse Project and maximality / edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo. -
Cham: Birkhäuser, 2018. - Online-Ressource (XI, 265 p. 11 illus, online resource), ISBN 978-3-319-62935-3
(SpringerLink : Bücher)
(Springer eBook Collection)
DOI: 10.1007/978-3-319-62935-3
Online-Ressource |
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
