Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

4
Hat jemand tatsächlich ein System erstellt, das Computerprogramme anhand der Spezifikation schreibt?
Hat jemand jemals ein System geschrieben (Software oder detaillierte Erklärung auf Papier mit einfachen Beispielen), das Computerprogramme generiert? Ich gebe und es wird ein Programm erstellt, das die Primzahlen kleiner als 10 auflistet. ist einfach definiert als Professoren sagen, dass sie es können, aber niemand gibt tatsächliche vollständige Beispiele.Prime(x)∧x<10Prime(x)∧x<10Prime(x) \wedge …
4
Finden eines Paares nicht überlappender Bitvektoren
Ich gebe Ihnen eine Liste von Bitvektoren der Breite . Ihr Ziel ist es, zwei Bitvektoren aus der Liste zurückzugeben, die keine 1 gemeinsam haben, oder zu melden, dass kein solches Paar existiert.nnnkkk Wenn ich Ihnen zum Beispiel ist die einzige Lösung . Alternativ hat die Eingabe keine Lösung. Und …
3
Gibt es ein TM, das bei allen Eingaben angehalten wird, dessen Eigenschaft jedoch nicht nachweisbar ist?
Gibt es eine Turing-Maschine, die bei allen Eingaben anhält, aber diese Eigenschaft ist aus irgendeinem Grund nicht nachweisbar? Ich frage mich, ob diese Frage untersucht wurde. Beachten Sie, dass "unbeweisbar" ein "eingeschränktes" Beweissystem bedeuten kann (das im schwachen Sinne der Meinung ist, dass die Antwort ja sein muss). Ich interessiere …
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 …
3
Ist die Pfadinduktion konstruktiv?
Ich lese das HoTT-Buch und habe es schwer mit der Pfadeinführung. Wenn ich mir den Typ in Abschnitt 1.12.1 anschaue : ich habe kein Problem zu verstehen, was das bedeutet (ich habe nur den Typ aus dem Speicher geschrieben, um das zu überprüfen).ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),ind=A:∏C:∏x,y:A(x=Ay)→U((∏x:AC(x,x,reflx))→∏x,y:A∏p:x=AyC(x,y,p)),\text{ind}_{=_A}:\prod_{C:\prod\limits_{x,y:A}(x=_Ay)\to \mathcal{U}} \left( \left(\prod_{x:A}C(x,x,\text{refl}_x)\right) \to \prod_{x,y:A}\prod_{p:x=_Ay} C(x,y,p) \right), …
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.