Mathematik für die Informatik (3rd ed.)

Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei Dieses Buch erläutert die für ein Informatikstudium relevanten Begriffe und Strukturen der Mathematik. Daneben zeigt es Ihnen, wie Sie die formalen Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen in der Informatik anwenden. Den Einstieg in die Mathematik der Hochschulinformatik erleichtert ihnen dieses Buch durch: · Ein spezielles und leicht verständliches Konzept der Stoffver