Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

3
Wie kann man zeigen, dass zwei Rechenmodelle gleichwertig sind?
Ich suche nach Erklärungen, wie man beweisen kann, dass zwei Rechenmodelle gleichwertig sind. Ich habe Bücher zu diesem Thema gelesen, mit der Ausnahme, dass Äquivalenznachweise weggelassen werden. Ich habe eine grundlegende Vorstellung davon, was es bedeutet, wenn zwei Rechenmodelle gleichwertig sind (die Automatenansicht: wenn sie dieselben Sprachen akzeptieren). Gibt es …
3
Wann sollte ich künstliche Intelligenz lernen? [geschlossen]
Geschlossen . Diese Frage ist meinungsbasiert . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie mit Fakten und Zitaten beantwortet werden kann, indem Sie diesen Beitrag bearbeiten . Geschlossen im vergangenen Jahr . Auf den Punkt gebracht: Ich würde wirklich gerne AI …
4
Buch für Algorithmen jenseits von Cormen
Ich habe den größten Teil des Materials in Cormens Intro to Algorithms-Buch fertiggestellt und suche nach einem Algorithmus-Buch, das Material über Cormans Buch hinaus abdeckt. Gibt es irgendwelche Empfehlungen? HINWEIS: Ich habe dies beim Stackoverflow gefragt, war aber mit der Antwort nicht allzu zufrieden. ANMERKUNG: Wenn ich die meisten Kommentare …
7
Informatikbuch für junge Erwachsene
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Was ist ein gutes Einsteiger-Informatikbuch für einen jungen Erwachsenen, sagen wir, einen 15-Jährigen? Ich möchte mit CS anfangen, habe aber keine Ahnung, wo ich anfangen …
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 .≡ β → …
3
Ähnlichkeiten und Unterschiede in Hauptprozessalgebren
Meines Wissens gibt es drei Hauptprozessalgebren, die eine breite Palette von Forschungen zu formalen Modellen der Parallelität inspiriert haben. Diese sind: CCS und Kalkül beide von Robin Milnerππ\pi CSP von Tony Hoare und ACP von Jan Bergstra und Jan Willem Klop Alle drei scheinen bis heute eine recht aktive Anhängerschaft …
3
Ist Ablehnungsabtastung der einzige Weg, um eine wirklich gleichmäßige Verteilung von Zufallszahlen zu erreichen?
Angenommen, wir haben einen Zufallsgenerator, der Zahlen im Bereich [0..R−1][0..R−1][0..R-1] mit gleichmäßiger Verteilung ausgibt, und wir müssen Zufallszahlen im Bereich [0..N−1][0..N−1][0..N-1] mit gleichmäßiger Verteilung generieren . Angenommen, N&lt;RN&lt;RN < R und NNN teilen nicht gleichmäßig RRR; Um eine wirklich gleichmäßige Verteilung zu erhalten , können wir die Methode der Rückweisungsabtastung …
4
CPU-Frequenz pro Jahr
Ich weiß, dass Moores Gesetz seit ~ 2004 nicht mehr für die CPU-Taktrate gilt. Ich suche nach einem Diagramm, das dies zeigt, kann es aber nicht finden: Die meisten Diagramme zeigen die Anzahl der Transistoren oder die Kapazität pro Jahr. Wo finde ich Daten zur CPU-Frequenz von Computern (alles in …
3
Gibt es einen Algorithmus, der in
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 7 Jahren migriert . Ich möchte die Existenz eines Algorithmus beweisen oder widerlegen, der bei einem Array von ganzen Zahlen drei Indizes und so dass und (oder stellt fest, …
1
Maschinen für kontextfreie Sprachen, die durch Nichtdeterminismus keine zusätzliche Kraft erhalten
Bei der Betrachtung von Rechenmodellen für Maschinen wird die Chomsky-Hierarchie normalerweise durch (in der Reihenfolge) endliche Automaten, Push-down-Automaten, linear gebundene Automaten und Turing-Maschinen charakterisiert. Für die erste und letzte Ebene 1 (reguläre Sprachen und rekursiv aufzählbare Sprachen) spielt es für die Leistungsfähigkeit des Modells keine Rolle, ob deterministische oder nicht …
4
Komplexitätsklassen mit
Eine mögliche Motivation für das Studium von Computerkomplexitätsklassen besteht darin, die Leistungsfähigkeit verschiedener Arten von Computerressourcen (Zufälligkeit, Nichtdeterminismus, Quanteneffekte usw.) zu verstehen. Wenn wir es aus dieser Perspektive betrachten, dann scheint es, als könnten wir ein plausibles Axiom für jeden Versuch erhalten, zu charakterisieren, welche Berechnungen in einem Modell möglich …
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.