Hartmut Ehrig (Autor), Bernd Mahr (Autor), F. Cornelius (Autor), Martin Große-Rhode (Autor), P. Zeitz (Autor)
Mathematisch-strukturelle Grundlagen der Informatik
In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker ...
PREIS: