Literatur FGI-1, Teil2
2006-05-27 18:48
Anonymer User
Liebe Kommilitonen,
für den ersten Teil der Vorlesung FGI-1 fand ich das Buch "Logik für Informatiker" von Uwe Schöning extrem hilfreich. Dort konnte man die wichtigsten Teile nochmal nachlesen.
Gibt es für den zweiten Teil ("Automaten, formale Sprachen, Berechenbarkeit") eine spezielle Literaturempfung von euch? Im KVV findet man noch:
# Asteroth, Alexander und Baier, Christel (2002). Theoretische Informatik - Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen. Pearson Studium (ca. 29,95 Euro)
# Spies, Marcus (2003). Einführung in die Logik. Werkzeuge für Wissensrepräsentation und Wissensmanagement. Spektrum, Akademischer Verlag. (ca. 20,50 Euro)
Kennt jemand eines der Bücher?
für den ersten Teil der Vorlesung FGI-1 fand ich das Buch "Logik für Informatiker" von Uwe Schöning extrem hilfreich. Dort konnte man die wichtigsten Teile nochmal nachlesen.
Gibt es für den zweiten Teil ("Automaten, formale Sprachen, Berechenbarkeit") eine spezielle Literaturempfung von euch? Im KVV findet man noch:
# Asteroth, Alexander und Baier, Christel (2002). Theoretische Informatik - Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen. Pearson Studium (ca. 29,95 Euro)
# Spies, Marcus (2003). Einführung in die Logik. Werkzeuge für Wissensrepräsentation und Wissensmanagement. Spektrum, Akademischer Verlag. (ca. 20,50 Euro)
Kennt jemand eines der Bücher?