Ich höre oft Sätze wie "echte Nebenläufigkeitssemantik" und "echte Nebenläufigkeitsäquivalenzen" ohne Referenzen. Was bedeuten diese Begriffe und warum sind sie wichtig? Was sind einige Beispiele für echte Gleichzeitigkeiten und wozu sind sie erforderlich? ZB in welchen Fällen sind sie besser...
Ich mache einen Vortrag über Turingmaschinen und wollte einige Hintergrundinformationen zu FSMs geben, bevor ich Turingmaschinen vorstelle. Das Problem ist, ich weiß wirklich nicht, was sich SEHR voneinander unterscheidet. Ich weiß, dass es anders ist: FSM hat sequentielle Zustände, abhängig von...
Diese Frage wurde von Stack Overflow migriert, da sie in Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich bin etwas verwirrt über einige Begriffe, die ich in Bezug auf die Komplexität von Optimierungsproblemen gefunden habe. In einer Algorithmusklasse hatte ich...
In einem kürzlich erschienenen CACM-Artikel [1] präsentieren die Autoren eine Implementierung für inszenierte Funktionen . Sie verwenden den Begriff so, als ob er bekannt wäre, und keine der Referenzen scheint eine offensichtliche Einführung zu sein. Sie geben eine kurze Erklärung (Betonung meiner...
Wenn ich eine Funktion habe, deren Zeitkomplexität O ( mn ) ist, wobei m und n die Größen der beiden Eingänge sind, würden wir ihre Zeitkomplexität "linear" (da sie sowohl in m als auch in n linear ist ) oder "quadratisch" ( da es ein Produkt von zwei Größen ist)? Oder etwas anderes? Ich finde es...
Es scheint mir, dass das "impliziert" in englischer Sprache nicht dasselbe bedeutet wie der logische Operator "impliziert", auf ähnliche Weise, wie "ODER" in den meisten Fällen "exklusives ODER" in unserem alltäglichen Sprachgebrauch bedeutet. Nehmen wir zwei Beispiele: Wenn heute Montag ist, ist...
Diese Begriffe verwirren mich. Wie ich es verstehe SAT-Löser: Bestimmen Sie die Erfüllbarkeit der Aussagenlogik (mit DPLL oder lokaler Suche). Entscheidungsverfahren ist ein Verfahren, um die Erfüllbarkeit einer bestimmten entscheidbaren Theorie erster Ordnung zu bestimmen. SMT-Solver ist ein...
Ich habe diese Wörter in ziemlich vielen Veröffentlichungen gelesen und möchte einige schöne Definitionen für diese Begriffe haben, die deutlich machen, was der Unterschied zwischen Objekterkennung und semantischer Segmentierung und Lokalisierung ist. Es wäre schön, wenn Sie Quellen für Ihre...
In der Berechenbarkeitstheorie werden berechenbare Funktionen auch als rekursive Funktionen bezeichnet. Zumindest auf den ersten Blick haben sie nichts mit dem zu tun, was Sie in der täglichen Programmierung als "rekursiv" bezeichnen (dh Funktionen, die sich selbst aufrufen). Was ist die...
Ich unterrichte Computer für 18-Jährige. Nachdem man ihnen die umgekehrte polnische Notation erklärt hatte, fragte man sie, warum es wichtig genug sei, an der öffentlichen Prüfung teilzunehmen. Ich habe die historische Bedeutung von Taschenrechnern der 70er Jahre erklärt, aber dies hat das Problem...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . In dem Skript, das ich gerade auf dem Lambda-Kalkül lese, ist Beta-Äquivalenz wie folgt definiert: Die -Äquivalenz ist die...
Ich weiß, was Berechnung in einem vagen Sinn ist (es ist das, was Computer tun), aber ich möchte eine strengere Definition. Dictionary.comDie Definitionen von Computing, Computing, Calculate und Computing sind zirkulär und helfen daher nicht weiter. WikipediaDefiniert Berechnung als "jede Art von...
Ich versuche herauszufinden, wer den Begriff "maschinelles Lernen" geprägt hat. Eine Zusatzfrage ist, woher Arthur Samuel zitiert wird, der das Gebiet des "maschinellen Lernens" im Jahr 1959 definiert als: das Studienfach, das Computern die Fähigkeit gibt, zu lernen, ohne explizit programmiert zu...
Ich stoße bei stackexchange immer wieder auf Verweise auf feste Punkte in Fragen und Antworten, und ich schaue im Web nach, was es bedeutet, Verweise auf Websites wie Wikipedia zu finden. Keine der Referenzen beantwortet jedoch wirklich meine Frage, was ein Fixpunkt ist und was er in der Welt der...
Ich schreibe eine Forschungsarbeit und muss grundsätzlich sagen, dass ein Mikrocontroller langsamer ist als ein anderer Mikroprozessor. Ich mache mir jedoch Sorgen, dass es in einem Forschungsbericht nicht angemessen wäre, einfach zu sagen, dass es langsamer ist. Habe ich recht? Kann ich nur sagen,...
Ich habe mich gerade mit dynamischer Programmierung befasst, als ich auf folgendes Zitat gestoßen bin Ein dynamischer Programmieralgorithmus untersucht alle Möglichkeiten zur Lösung des Problems und wählt die beste Lösung aus. Daher können wir uns die dynamische Programmierung grob als intelligente...
Ich kenne ein Dutzend Programmiersprachen, die in gewisser Weise Ausnahmen haben, aber ich habe zwei "pathologische" Tendenzen beobachtet. Es scheint kein gemeinsames Muster oder eine Hierarchie von Ausnahmen zu geben. Jede Sprache rollt im Grunde genommen ihre eigene Version, und wenn die...
Ich fing an, immer mehr sprachwissenschaftliche Artikel zu lesen. Ich finde es sehr interessant und eine gute Möglichkeit, mehr über das Programmieren im Allgemeinen zu lernen. Es gibt jedoch normalerweise einen Abschnitt, mit dem ich immer zu kämpfen habe (nehmen Sie zum Beispiel Teil drei davon...
In meinem Kurs über Algorithmen und Datenstrukturen haben Professoren, Folien und das Buch ( Einführung in Algorithmen, 3. Auflage ) das Wort verwendet NIL, um beispielsweise ein Kind eines Knotens (in einem Baum) zu bezeichnen, der nicht existiert. Einmal sagte NILmein Klassenkamerad während eines...
Was sind die Unterschiede zwischen Computer Vision und Bildverarbeitung? Welche Rolle spielen beispielsweise Computer Vision und Bildverarbeitung bei der