| 書目名稱 | Design Patterns für mathematische Beweise |
| 副標(biāo)題 | Ein Leitfaden insbes |
| 編輯 | Hans Jürgen Ohlbach,Norbert Eisinger |
| 視頻video | http://file.papertrans.cn/269/268410/268410.mp4 |
| 概述 | Design pattern (Kochrezepte) für die Strukturierung von mathematischen Beweisen.24 verschiedene Beweismuster.70 Illustrationsbeispiele aus dem Alltag, der Mathematik und der Informatik.Intuitive Einfü |
| 圖書封面 |  |
| 描述 | Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster wie Kontraposition, Widerspruchsbeweis, Diagonalisierung sowie die verschiedenen Varianten der vollst?ndigen Induktion bis hin zur transfiniten Induktion. Damit gibt es Antworten auf Fragen wie Was genau ist eigentlich ein Widerspruchsbeweis? Oder eine Widerlegung? Und wie h?ngen sie miteinander zusammen? Die Autoren versuchen, derartige fragen zu er?rtern, indem sie verbreitete Beweismuster und anhand von allgemein verst?ndlichen Beispielen aus dem Alltag, der Mathematik und der Informatik zu verdeutlichen. |
| 出版日期 | Textbook 2017 |
| 關(guān)鍵詞 | ?quivalenzbeweis; Allbeweis; Bauminduktion; Diagonalisierung; Existenzbeweis; Fallunterscheidung; Hilberts |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-662-55652-8 |
| isbn_softcover | 978-3-662-55651-1 |
| isbn_ebook | 978-3-662-55652-8 |
| copyright | Springer-Verlag GmbH Deutschland 2017 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-18 03:08
發(fā)表于 2025-3-21 19:32:35
