Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Was berechnete Turings mysteriöses kleines Programm auf dem Manchester-Computer?
Ich lese Turings Artikel "Computing Machinery and Intelligence" ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) und habe ein Fragment gefunden, in dem er sagt: Ich habe auf dem Manchester-Computer ein kleines Programm mit nur 1.000 Speichereinheiten eingerichtet, wobei die mit einer sechzehnstelligen Nummer gelieferte Maschine innerhalb von zwei Sekunden mit einer anderen antwortet. Ich …
2
Warum stoppt die Audiowiedergabe andere Aufgaben nicht?
Wenn Prozessoren jeweils nur eine Sache ausführen können, warum kann ich dann kontinuierlich Musik abspielen und trotzdem andere Aufgaben ausführen? Ich verstehe das Interrupt-System, aber ist es nicht erforderlich, dass die CPU kontinuierlich Audio verarbeitet, damit es nicht nervös / verzögert klingt? Ich frage nach der zugrunde liegenden Implementierung. Bezieht …
3
Behandeln ungerichteter Diagramme als Unterkategorie gerichteter Diagramme
In etwa ist ein ungerichteter Graph einem gerichteten Graphen sehr ähnlich, bei dem für jede Kante (v, w) immer eine Kante (w, v) vorhanden ist. Dies deutet darauf hin, dass es möglicherweise akzeptabel ist, ungerichtete Diagramme als Teilmenge gerichteter Diagramme anzuzeigen (möglicherweise mit der zusätzlichen Einschränkung, dass das Hinzufügen / …
1
Warum werden rekursive Typen als Grundelemente für Beweise in abhängigen Typsystemen benötigt?
Ich bin relativ neu in der Typentheorie und der abhängigen Programmierung. Ich habe die Konstruktionsrechnung (CoC) und andere reine Typsysteme untersucht. Ich bin besonders daran interessiert, es als beweiserhaltende Zwischendarstellung für ein Compilersystem zu verwenden. Ich verstehe , dass (Mit-) rekursive Typen darstellbarer sind , rechnerisch , mit als einzigen …
2
Grafikproblem des sozialen Netzwerks
Hier ist das Problem: Es gibt verbundene Graphen mit Knoten, die eine Anzahl von Personen darstellen. Jeder Knoten / jede Person hat eine Meinung zu einem Thema, z. B. Trump gegen Clinton, Papierbücher gegen Kindle usw. Das Ziel besteht darin, dass jeder Knoten in einem Diagramm dieselbe Meinung teilt, indem …
1
Typen als erstklassiger Bürger
Ich komme aus C ++ und verstehe nicht, warum man als erstklassiger Bürger Typen / Typausdrücke braucht. Die einzige mir bekannte Sprache, die diese Funktion unterstützt, ist Aldor. Hat jemand Literatur über Typen als erstklassiger Bürger oder kennt er einige Gründe, warum dies nützlich ist?
1
Literatur über einen naiven Ansatz zum Graphisomorphismus durch Untersuchung von Polynomen von Adjazenzmatrizen
Ich beschreibe einen Ansatz zum Graphisomorphismus, der wahrscheinlich falsch positiv ist, und ich bin gespannt, ob es Literatur gibt, die darauf hinweist, dass er nicht funktioniert. Bei zwei Adjazenzmatrizen besteht eine zugegebenermaßen naive Methode zur Überprüfung auf Isomorphismus darin, zu prüfen, ob es für jede Zeile u von G eine …
2
Intuition hinter dem Hadamard-Tor
Ich versuche, mich selbst über Quantencomputer zu unterrichten, und ich habe ein anständiges Verständnis der linearen Algebra. Ich kam durch das NICHT-Tor, was nicht so schlimm war, aber dann kam ich zum Hadamard-Tor. Und ich blieb stecken. Hauptsächlich, weil ich die Manipulationen zwar "verstehe", aber nicht verstehe, was sie wirklich …
1
Algorithmuskomplexitätsanalyse für Implementierungen funktionaler Programmiersprachen
Ich habe heute gelernt, dass sich die Algorithmusanalyse basierend auf dem Rechenmodell unterscheidet. Daran habe ich noch nie gedacht oder gehört. Ein Beispiel, das mir von User @chi weiter veranschaulicht wurde, war: Betrachten Sie zB die Aufgabe: gegeben return . Im RAM kann dies in gelöst werden, da der Array-Zugriff …
4
Was sind gängige formale Techniken, um die Richtigkeit des Funktionscodes zu beweisen?
Ich möchte Beweise für Teile eines Haskell-Programms liefern, das ich im Rahmen meiner Abschlussarbeit schreibe. Bisher habe ich jedoch kein gutes Nachschlagewerk gefunden. Graham Huttons Einführungsbuch Programming in Haskell ( Google Books ), das ich beim Lernen von Haskell gelesen habe, geht auf einige Techniken ein, um über Programme wie …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.