Formeln und Modellmengen

Idee: logische Verknüpfungen mathend000# passende Operationen auf (kodierten) Modellmengen

zu zeigen ist, daß sich diese Operationen effektiv realisieren lassen (wobei Ein- und Ausgabe durch endl. Automaten dargestellt werden)

Ü: warum werden andere Verknüpfungen nicht benötigt?



2014-03-31