5 Ergebnisse.

Mathematik für die Informatik
Dieses Lehrbuch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik. Diese betreffen insbesondere formale Methoden der Programmverifikation und -entwicklung und den Entwurf von generischen Programmen. Ein spezielles Konzept mit einer leicht verständlichen Vermittlung des Stoffes, vielen Beispielen mit ...

67,00 CHF

Mathematik für die Informatik
Mathematik und Informatik: Dieses Buch bringt beide Disziplinen zusammen Sie haben Ihr Studium begonnen oder möchten den Übergang von Schule zu Hochschule erfolgreich meistern? Dann ist "Mathematik für die Informatik" die ideale Empfehlung. Das Buch von Rudolf Berghammer bringt Ihnen die Logik der Informatik näher und verknüpft sie mit den wichtigsten Strukturen und Begriffen aus der Mathematik. Im Fokus stehen ...

54,50 CHF

Mathematik für die Informatik
Mathematik und Informatik: Dieses Buch bringt beide Disziplinen zusammen Sie haben Ihr Studium begonnen oder möchten den Übergang von Schule zu Hochschule erfolgreich meistern? Dann ist "Mathematik für die Informatik" die ideale Empfehlung. Das Buch von Rudolf Berghammer bringt Ihnen die Logik der Informatik näher und verknüpft sie mit den wichtigsten Strukturen und Begriffen aus der Mathematik. Im Fokus stehen ...

49,90 CHF

Ordnungen, Verbände und Relationen mit Anwendungen
Das Lehrbuch führt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und Verbandstheorie wird zur algebraischen Theorie der Relationen, kurz Relationenalgebra, ausgebaut. Des Weiteren widmet sich das Buch Informatikanwendungen, hauptsächlich der formalen Entwicklung von Algorithmen für diskrete Probleme. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zurück zum ersten Teil des Buches.

54,50 CHF

Ordnungen und Verbände
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die für dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalität in verteilten Systemen.

60,50 CHF