Bearbeiten von: [Änderungshistorie]
  Zeilenumbrüche automatisch mache ich selbst mit HTML    

Ich möchte eine Mail an , nachdem mein Vorschlag bearbeitet ist.
  Nachricht zur Änderung:

Input assistance tools (JavaScript): [Link extern intern] [MathML?] [$$?]
[fed-area] [LaTeX-inline] [LaTeX-display] [Tikz] [hide-area][show-area] [Source code [num.]][?]
[Link zurück zum Kommentar]

Vorschau:
Re: Vollständige Indoktrination

Ich spiele mal den Advocatus Diaboli und möchte eine Lanze für die vollständige Induktion brechen.

Die VI ist schlichtweg das Beweismittel für Algorithmen und Programme. Um zeigen zu können, dass ein bestimmter Algorithmus funktioniert, ist das Training des Induktionsschemas

- Variante(n)?
- Invarianten?
- Terminierung?

unersetzlich und sollte dementsprechend selbst im Schlaf beherrscht werden.

Erst dann sollte man sich mit eleganteren(?) Beweismethoden beschäftigen.
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2021 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]