Suchergebnisse für Anfrage "computer-science"
Was genau ist der Unterschied zwischen einem "Verschluss" und einem "Block"?
Ich habe festgestellt, dass viele Leute die Wörter verwendenSchließung undBlock austauschbar. Die meisten dieser Leute können nicht erklären, wovon sie sprec...
Kann Call-with-Current-Continuation nur mit Lambdas und Closures implementiert werden?
Weiß jemand, obcall/cc kann nur mit Lambdas und Verschlüssen implementiert werden? Es scheint, dasscall/cc unterbricht den Programmfluss (wie eine Ausnahme), aber Lambdas und Closures können das nicht. Deshalb denke ichcall/cc kann nicht ...
Warum verwenden Computer das Hex-Nummernsystem in Assemblersprache?
Warum verwendet der Computer das Hex-Nummernsystem in der Assemblersprache? Warum verwenden sie kein anderes Zahlensystem wie binär, oktal oder dezimal? Was zwang den Computerdesigner, das Hex-System beim Zusammenbau zu verwenden? Warum sah es ...
Wie man Athena laufen lässt | Coq | Isabelle Codes aus der Ferne?
Ich habe eine Web-IDE (WIDE) für den Beweis in der Informatik erstellt. Sie wissen vielleicht, dass es drei der häufigsten Beweisassistenten gibt, die Athena, Isabelle und Coq heißen. Die meisten Informatiker vergessen möglicherweise ihre Syntax, ...
Reguläre Ausdrücke mit wiederholten Zeichen
Ich muss einen regulären Ausdruck schreiben, der eine Zeichenfolge erkennen kann, die nur die Zeichen x, y und z enthält, bei denen sich die Zeichen jedoch v...
Umwandlung von EBNF in BNF
Es ist ein paar Jahre her, seit ich am Computer unterrichtet habe, und so habe ich die Feinheiten von BNF und EBNF vergessen, und ich habe kein Lehrbuch neben mir. Insbesondere habe ich vergessen, wie man einen EBNF in BNF umwandelt. Von dem, ...
Kann diese umfassende Suche beschleunigt werden?
Ich habe einen Datensatz, der ein großer ungewichteter zyklischer Graph ist. Die Zyklen treten in Schleifen von ungefähr 5-6 Pfaden auf. Es besteht aus ungef...
Vergleiche von Datenstrukturen, Algorithmen, Grundlagen der Informatik, Online-Ressourcen
Ich suche nach einer Online-Ressource, die sich auf Datenstrukturen und Algorithmen bezieht. Grundsätzlich interessiere ich mich für eine Art umfassende List...