Ich habe von (struktureller) Induktion gehört. Es erlaubt Ihnen, endliche Strukturen aus kleineren Strukturen aufzubauen, und es gibt Ihnen Beweise für die Überlegung solcher Strukturen. Die Idee ist klar genug. Aber was ist mit der Coinduktion? Wie funktioniert es? Wie kann man etwas...
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...
In meinem Kurs über Computertheorie bestehen viele unserer Probleme darin, mithilfe der Induktion der Länge der Eingabezeichenfolge Aussagen über endliche Automaten zu beweisen. Ich verstehe die mathematische Induktion, aber wenn Saiten ins Spiel kommen, werde ich richtig gestolpert. Ich würde es...
Ich lese das HoTT-Buch und habe es schwer mit der Pfadeinführung. Wenn ich mir den Typ in Abschnitt 1.12.1 anschaue : ich habe kein Problem zu verstehen, was das bedeutet (ich habe nur den Typ aus dem Speicher geschrieben, um das zu
Bedeuten "induktiv" und "rekursiv" sehr ähnlich? Wenn es beispielsweise einen Algorithmus gibt, der einen n-dim-Vektor durch Bestimmen seiner ersten k + 1-Komponenten auf der Grundlage seiner ersten k-Komponenten bestimmt und mit der ersten Komponente initialisiert wird, würden Sie ihn als rekursiv...
Was ist Induktion-Induktion ? Die Ressourcen, die ich gefunden habe, sind: das HoTT-Buch am Ende von Kapitel 5.7. Artikel von nLab ein Artikel namens Induktiv-Induktive Definitionen In diesem Blogbeitrag werden auch induktiv-induktive Typen erwähnt Die ersten beiden Referenzen sind mir zu kurz und...
Dieser Beweis ist ein Beweis durch Induktion und lautet wie folgt: P (n) ist die Behauptung, dass "Quicksort jedes Eingabearray der Länge n korrekt sortiert". Basisfall: Jedes Eingabearray der Länge 1 ist bereits sortiert (P (1) gilt) Induktiver Schritt: Fix n => 2. Fixiere ein Eingabearray der...
Lösen der Wiederholungsrelation . Das Buch, aus dem dieses Beispiel stammt, behauptet fälschlicherweise, dass indem es errät und dann argumentiert T.( n ) = 2 T.( ⌊ n / 2 ⌋ ) + nT.(n)=2T.(⌊n/.2⌋)+nT(n) = 2T(\lfloor n/2 \rfloor) + nT.( n ) = O ( n )T.(n)=Ö(n)T(n) = O(n)T.( n ) ≤ c nT.(n)≤cnT(n) \leq...