Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker









2
In welcher Beziehung stehen Functional Reactive Programming und das Actor-Modell zueinander?
Bei FRP geht es darum, Ereignisse und Verhaltensweisen durch reine Funktionen zu streamen. Das Actor-Modell - zumindest wie es in Akka implementiert ist - befasst sich mit dem Streaming unveränderlicher Nachrichten (die als diskrete Ereignisse betrachtet werden können) durch potenziell unreine Objekte, die als Akteure bezeichnet werden. An der Oberfläche …

2
Wie hängen Programmiersprachen und Grundlagen der Mathematik zusammen?
Grundsätzlich sind mir drei Grundlagen für Mathematik bekannt Mengenlehre Typentheorie Kategorietheorie Inwiefern hängen Programmiersprachen und Grundlagen der Mathematik zusammen? BEARBEITEN Die ursprüngliche Frage lautete "Programmiersprachen, die auf mathematischen Grundlagen basieren". mit der zusätzlichen Paragrafie von Und Implementierungen der Theorie 1. Typentheorie in Coq 2. Mengen-Theorie in SETL 3. Kategorietheorie in …

1
Hash-Tabellen versus binäre Bäume
Bei der Implementierung eines Wörterbuchs ("Ich möchte Kundendaten anhand ihrer Kunden-IDs nachschlagen") werden typischerweise Hash-Tabellen und binäre Suchbäume verwendet. Ich weiß zum Beispiel, dass die C ++ STL-Bibliothek Wörterbücher (sie nennen sie Maps) mithilfe von (ausgeglichenen) binären Suchbäumen implementiert und das .NET-Framework Hash-Tabellen unter der Haube verwendet. Was sind die …

9
Den Unterschied zwischen Informatik und Computerkenntnissen erklären [closed]
Was ist eine gute Metapher oder ein gutes Beispiel, um einem englischen Hauptfach den Unterschied zwischen klassischer Informatik und "gut mit MS-Windows umgehen" zu erklären? Computerwissenschaften Computerprogrammierung mit Computern 3 zutiefst verschiedene Dinge. Die meisten Menschen haben keine Ahnung, was Informatik überhaupt ist. Sie sehen nur das Wort "Computer". "Er …

2
Sind nicht alle rot-schwarzen Bäume ausgeglichen?
Intuitiv sollten "ausgeglichene Bäume" Bäume sein, bei denen die linken und rechten Unterbäume an jedem Knoten "ungefähr die gleiche" Anzahl von Knoten haben müssen. Wenn wir davon sprechen, dass rot-schwarze Bäume * (siehe Definition am Ende) ausgeglichen sind, meinen wir natürlich, dass sie Höhe haben ausgeglichen sind, und in diesem …

1
Reissatz für nicht-semantische Eigenschaften
Der Satz von Rice besagt , dass die einzigen semantischen Eigenschaften von Turing Machines (dh die Eigenschaften der von der Maschine berechneten Funktion), die wir bestimmen können, die beiden trivialen Eigenschaften sind (dh immer wahr und immer falsch). Es gibt aber auch andere Eigenschaften von Turingmaschinen, die nicht bestimmbar sind. …


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.