COQ ist ein interaktiver Theorembeweiser, der die Berechnung induktiver Konstruktionen verwendet, dh stark von induktiven Typen abhängt. Mit diesen werden diskrete Strukturen wie natürliche Zahlen, rationale Zahlen, Graphen, Grammatiken, Semantik usw. sehr präzise dargestellt. Seit ich den...
Wir lassen α=α1α2α3…α=α1α2α3…\alpha = \alpha_1\alpha_2\alpha_3\ldots sei eine unendliche Zufallsfolge (unter dem einheitlichen Maß) wo αiαi\alpha_i könnte sein 111 oder 000und definieren Sie dann die Boolesche Funktion BkBkB_k:: Bk(α1…αk)={1 if at least ⌈k/2⌉ of its inputs...
Gibt es vorzugsweise offene CS-Probleme, die irgendwie mit Musik oder Musiktheorie zusammenhängen? Ich würde an ein Problem mit der Notenschrift denken, aber auch an Wahrscheinlichkeiten bei der Randomisierung nach einer Skala oder einer Tonalität oder allgemein, was als Harmonie in Frequenzen und...
Ist es richtig, bedingte Wahrscheinlichkeiten wie die Formulare anzuzeigen: P (a | c) P (a | c, d) P (a, b | c, d) ... und so weiter als Tensoren? Wenn ja, kennt jemand einen anständigen Einführungstext (Online-Tutorial, Workshop-Artikel, Buch usw.), der Tensoren in diesem Sinne für Informatiker /...
In vielen Artikeln habe ich gelesen, dass es bekannt ist, dass die Shannon-Entropie einer Zufallsvariablen durch unabhängige Kopien der Variablen in Min-Entropie (bis zu einem kleinen statistischen Abstand) umgewandelt werden kann. Kann mir jemand erklären, was genau das
Es gibt N Spieler und M Objekte, jedes der Objekte hat einen Wert. Jeder Spieler hat eine Strategie bei der Auswahl eines Objekts. In jeder Runde, in der ein Spieler ein Objekt auswählt, können viele Spieler dasselbe Objekt auswählen. Der Wert jedes Objekts wird jedoch gleichmäßig auf jeden Spieler...
Sei zwei ganze Zahlen aus dem IntervallSei eine zufällige Primzahl mitBeweisen Sie, dass \ text {Pr} _ {p \ in \ mathsf {Primes}} \ {a \ equiv b \ pmod {p} \} \ le c \ ln (n) / (n ^ {c-1}).a≠ba≠ba \neq b[1,2n].[1,2n].[1, 2^n].ppp1≤p≤nc.1≤p≤nc. 1 \le p \le