Advertisement

Einleitung zu Teil II

Chapter
  • 1.9k Downloads

Zusammenfassung

Teil I dieses Leitfadens behandelt unter anderem eine Vielzahl verschiedener Formen der vollständigen Induktion. Ihnen allen ist gemeinsam, dass sämtliche Objekte, über die Aussagen gemacht werden, bezüglich einer gegebenen Nachbarschaftsbeziehung nur endlich weit von irgendwelchen Startobjekten entfernt sind. Objekte, die nicht in endlich vielen Schritten von Startobjekten aus erreichbar sind, können von diesen Beweismustern grundsätzlich nicht erfasst werden.

Copyright information

© Springer-Verlag GmbH Deutschland  2017

Authors and Affiliations

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

Personalised recommendations