Datei:TU Wien-Logic and Computability VU (Ciabattoni, Fermüller)-Oral Exam Questions (SS2022) - Halting.png

Aus VoWi
Zur Navigation springen Zur Suche springen

Dateiversionen

Klicke auf einen Zeitpunkt, um diese Version zu laden.

Version vomVorschaubildMaßeBenutzerKommentar
aktuell17:46, 22. Apr. 2022Vorschaubild der Version vom 17:46, 22. Apr. 2022604 × 453 (75 KB)0.0.0.0 (Diskussion)proof of halting undecidable {{#attach:TU Wien:Logic and Computability VU (Ciabattoni, Fermüller)/Oral Exam Questions (SS2022)}}