Design Patterns Für Mathematische Beweise: Ein Leitfaden Insbesondere Für Informatiker [German]

By Norbert Eisinger and Hans Jurgen Ohlbach

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 hrung transfiniter Konzepte

• Format: Paperback
• Language: German
• ISBN: 3662556510
• ISBN13: 9783662556511
• Release Date: September 2017
• Publisher: Springer Vieweg
• Length: 184 Pages
• Weight: 0.71 lbs.
• Dimensions: 0.4" x 6.7" x 9.6"