Computability and Logic Fifth Edition

27.27 EUR

Ein kompakter Einstieg in Berechenbarkeit und Logik, der die Wechselwirkung zwischen Algorithmen, Entscheidungsproblemen und formalen Beweissystemen anschaulich darstellt, wobei aktuelle Beispiele aus Informatik und Mathematik integriert werden.

Teilen: