Grundkurs Theoretische Informatik
Gottfried Vossen
Kurt-Ulrich Witt
Grundkurs Theoretische Informatik, Folie 10.1
Kapitel 10
© 2004 G. Vossen,K.-U. Witt
Entscheidbarkeit
Existenz unentscheidbarer Probleme
Entscheidbare und semi-entscheidbare Mengen
Reduzierbarkeit von Mengen
Unentscheidbare Mengen
Zusammenfassung
Grundkurs Theoretische Informatik, Folie 10.2
© 2004 G. Vossen,K.-U. Witt
Ende Kapitel 10
Grundkurs Theoretische Informatik, Folie 10.3
© 2004 G. Vossen,K.-U. Witt

Kapitel 10 - DBIS Group