Als «theory» getaggte Fragen

Theoretische Fragen befassen sich mit Themen, die im Allgemeinen keinen unmittelbaren praktischen Nutzen haben. Bitte seien Sie vorsichtig, wenn Sie dieses Tag verwenden: Ihre Frage ist möglicherweise besser für die Computer Science Stack Exchange-Site geeignet.

76
Was ist der Zweck einer Codeüberprüfung?

Ich bin gerade dabei, meine Organisation nach dem Wert von Code-Reviews zu verkaufen. Ich habe an verschiedenen Orten gearbeitet, an denen sie beschäftigt waren. Ich habe gesehen, dass sie dazu verwendet wurden, Styling-Entscheidungen und funktionale Entscheidungen zu ignorieren, und ich habe...

57
Wie können wir sicher sein, dass die unteren Komponenten der Computerprogrammierung wie Compiler, Assembler, Maschinenanweisungen usw. fehlerfrei sind?

Da wir uns immer mehr auf das Rechnen verlassen, einschließlich sehr kritischer Aufgaben des täglichen Lebens, habe ich mich nur gefragt, wie diese wichtigen Komponenten getestet werden. Wie werden die Compiler und Assembler technisch getestet? (Ich nehme an, das hängt mit dem Halteproblem zusammen...

53
Warum nicht einen Primärschlüssel verfügbar machen?

In meiner Ausbildung wurde mir gesagt, dass es eine fehlerhafte Idee ist, dem Benutzer tatsächliche Primärschlüssel (nicht nur DB-Schlüssel, sondern alle primären Zugriffsmethoden) zur Verfügung zu stellen. Ich dachte immer, es sei ein Sicherheitsproblem (weil ein Angreifer versuchen könnte, Dinge...

30
Wie funktioniert die vierte Dimension mit Arrays?

Abstrakt: So wie ich es verstehe (obwohl ich ein sehr begrenztes Verständnis habe), gibt es drei Dimensionen, mit denen wir (normalerweise) physisch arbeiten: Die 1. würde durch eine Linie dargestellt. Die 2. wird durch ein Quadrat dargestellt. Der dritte würde durch einen Würfel dargestellt....

24
In der Praxis herrschen neunzig und neunzig

Die ersten 90 Prozent des Codes machen die ersten 90 Prozent der Entwicklungszeit aus. Die restlichen 10 Prozent des Codes machen die restlichen 90 Prozent der Entwicklungszeit aus. - Tom Cargill, Bell Labs Was bedeutet das konkret in der Praxis? Dass Programmierer viel arbeiten und 180% aus sich...

22
Wie oft machen CPUs Rechenfehler?

In Dijkstra's Notes on Structured Programming spricht er viel über die Beweisbarkeit von Computerprogrammen als abstrakte Entitäten. Zusammenfassend bemerkt er, dass das Testen nicht ausreicht. Er weist beispielsweise darauf hin, dass es unmöglich wäre, eine Multiplikationsfunktion f (x, y) = x * y...