computer-science
-
1
Bedeuten Inferenzregeln in einem Hilbert-System und in einem natürlichen deduktiven System dasselbe?
-
12
Was bringt es, Äquivalenzbeziehungen zu lernen?
-
1
Was bedeutet "beweisen"?
-
1
Was ist die Bedeutung von
$\omega$ im Lambda-Kalkül?
-
1
Hat der sequentielle Kalkül ein Axiom?
-
3
Wie heißen diese Symbole in der Logik?
-
1
Ist dieser graphentheoretische Beweis korrekt?
-
1
Was ist die Definition einer Hornformel, die positiv ist?
-
1
Backus Normalform und Logik
-
3
Algorithmus zum Finden der längsten Kombination, deren Summe kleiner oder gleich einem Wert ist
-
6
Keine Erwähnung früherer Arbeiten = ablehnen?
-
4
Bieten die einjährigen MSc-Programme in Großbritannien Raum für Forschungsaufgaben in der Industrie (F & E-Positionen) oder im akademischen Bereich (durch Promotion)?
-
1
Können primitive rekursive Funktionen in der kleinsten vernünftigen primitiven rekursiven Gruppe simuliert werden?
-
1
Doktorandeninterviews für CSE an US-amerikanischen Universitäten
-
2
Überprüfung
$2$fortlaufende Nummern haben die gleiche Anzahl von gesetzten Bits? [geschlossen]
-
1
Ist die Modelltheorie die gleiche wie die Semantik logischer Systeme?
-
5
Wie verwende ich Deckspelzen, die wahrscheinlich bereits bewiesen sind, aber das Einschließen des Beweises selbst ist schneller als das Nachschlagen einer Quelle?
-
1
Warum ist es nicht wahr, wenn $\Phi \models \exists x \phi$ dann gibt es einen Begriff $t$ mit $\Phi \models \phi \frac{t}{x}$?
-
2
CS Masters-Vorkurse
-
1
Suchalgorithmen mit Mappings/Funktionen/Mengen als Variablen
-
3
Diskussion des alleinigen Autors gegen die Erstautorschaft in ML / CV mit dem Vorgesetzten
-
1
Was unterscheidet die Begriffe "Beziehung", "Funktion" und "Abbildung"?
-
2
Was ist die Definition einer Definition?
-
3
Was ist der Unterschied zwischen einem Hamilton-Pfad und einem Hamilton-Zyklus?
-
1
Tut$T(\Sigma,V)$, der Satz von Bedingungen für die Signatur$\Sigma$und ein Satz$V$von Variablen, gehören zur Syntax oder Semantik?
-
1
Berechnen der Adresse eines Elements in einem n-dimensionalen Array
-
1
Ist eine gute Reduktion entscheidbar?
-
2
Was bedeuten "Solidität" und "Vollständigkeit"?
-
2
'Endliche' Approximation von Sprachen
-
1
Die Mathematik der Anti-Patterns von Passwortrichtlinien