Mathematik für die Informatik

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 e...