Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Author
Hans Jürgen Ohlbach, Norbert Eisinger
Publisher
Springer Vieweg
Language
German
Edition
1
Year
2017
Page
XI, 184
ISBN
978-3-662-55651-1, 978-3-662-55652-8
File Type
pdf
File Size
2.1 MiB

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

show more...

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book