Grundlagen und Bezeichnungen
摘要
Die theoretische Informatik braucht die elementare mathematische Logik und die Mengenlehre als Grundlage. Im Anhang werden die im Buch benötigten Grundlagen zusammengestellt und die verwendete Schreibweise festgelegt.