Datei:TU Wien-Logic and Computability VU (Ciabattoni, Fermüller)-Oral Exam Questions (SS2022) - Semidecandre.png
Zur Navigation springen
Zur Suche springen
Es ist keine höhere Auflösung vorhanden.
TU_Wien-Logic_and_Computability_VU_(Ciabattoni,_Fermüller)-Oral_Exam_Questions_(SS2022)_-_Semidecandre.png (604 × 453 Pixel, Dateigröße: 49 KB, MIME-Typ: image/png)
Beschreibung[Bearbeiten | Quelltext bearbeiten]
-Oral_Exam_Questions_(SS2022)_-_Semidecandre.png&veaction=edit§ion=1){kind=link}
-Oral_Exam_Questions_(SS2022)_-_Semidecandre.png&action=edit§ion=1){kind=link}
proof that iff semidecidable then r.e.
Dateiversionen
Klicke auf einen Zeitpunkt, um diese Version zu laden.
| Version vom | Vorschaubild | Maße | Benutzer | Kommentar | |
|---|---|---|---|---|---|
| aktuell | 18:14, 22. Apr. 2022 | | 604 × 453 (49 KB) | 0.0.0.0 (Diskussion) | proof that iff semidecidable then r.e. {{#attach:TU Wien:Logic and Computability VU (Ciabattoni, Fermüller)/Oral Exam Questions (SS2022)}} |
Dateiverwendung
Die folgenden 2 Seiten verwenden diese Datei:
-Oral_Exam_Questions_(SS2022)_-_Semidecandre.png&oldid=146425){kind=link}