Advertisement

Einleitung

Chapter
  • 1.9k Downloads

Zusammenfassung

Dass zwischen Computerprogrammen und mathematischen Beweisen große Ähnlichkeiten bestehen, dürften viele Informatiker und Mathematiker auf den ersten Blick wohl bezweifeln. Aber Programme und Beweise haben tatsächlich eine ganze Reihe von Gemeinsamkeiten.

Copyright information

© Springer-Verlag GmbH Deutschland  2017

Authors and Affiliations

  1. 1.Institut für InformatikLudwig-Maximilians-Universität MünchenMünchenDeutschland

Personalised recommendations