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 SAT-Solver + Entscheidungsverfahren. Theorembeweiser bezeichnet so etwas wie dynamische Logik, zB das …
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 kleinste Äquivalenz, 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 nicht wirklich gelöst. Gibt es also und …
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 Berechnung, die einem genau definierten Modell folgt". Es …
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 werden ? Sie können viele, viele Verweise auf …
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, dass ein Prozessor langsamer ist, oder …
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 Brute-Force-Methode vorstellen, die es uns ermöglicht, alle möglichen Lösungen …
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 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 Ausnahmen es in den Standard schaffen, dann sind …
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 ), da mir der …
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 Vortrags, anstatt zu sagen , nullund …
Ich denke, ich weiß, was ein "hartes" Echtzeit-Betriebssystem ist. Es ist ein Betriebssystem mit einem Scheduler, der einen Vertrag mit dem Anwendungsprogrammierer bereitstellt. Ein Antrag enthält eine Frist für jede Ressourcenzuweisungsanforderung. Wenn die Terminanfragen möglich sind , garantiert der Scheduler, dass jede Ressource der anfragenden Anwendung vor dem Termin zugewiesen …
Was sind die Unterschiede zwischen Computer Vision und Bildverarbeitung? Welche Rolle spielen beispielsweise Computer Vision und Bildverarbeitung bei der Objekterkennung?
Ich habe FSM in Digital Sequential Circuit-Designs verwendet. Endliche Automaten kenne ich aber nicht. Kann mir jemand helfen, den grundlegenden Unterschied zwischen beiden zu verstehen?
Ich kämpfe wirklich mit dieser Eigenschaft: Lassen seine Kohärenz Räume und f : C L ( X ) → C L ( Y ) eine monotone Funktion sein. f ist kontinuierlich , wenn und nur wenn f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.