Als «terminology» getaggte Fragen

Fragen, wie bestimmte Begriffe zu verstehen sind, sowie Notationskonventionen.

1
Unterscheidungsentscheidungsverfahren vs SMT-Löser vs Theorembeweiser vs Beschränkungslöser
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 …
2
Was ist Beta-Äquivalenz?
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 .≡ β → …
7
Welche Bedeutung hat die umgekehrte polnische Notation?
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 …
5
Was genau ist Berechnung?
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 …
6
Wie unterscheidet sich dynamische Programmierung von Brute Force?
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 …
5
Fixpunkt, was bedeutet das in der Welt der Informatik?
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 …
3
Gibt es eine Theorie der Ausnahmehierarchien?
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 …
3
Wie lese ich Tippregeln?
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 …
3
Welche Garantien bieten „weiche“ Echtzeitbetriebssysteme tatsächlich?
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 …
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.