MPG.eBooks - Table of Contents: Mathematik für die Informatik

Cover Image

Read Now

Mathematik für die Informatik Grundlegende Begriffe, Strukturen und ihre Anwendung

Er beschäftigt sich hauptsächlich mit der Anwendung von algebraischen und ordnungstheoretischen Methoden in der Informatik und der Unterstützung durch entsprechende Werkzeuge

Bibliographic Details
Main Author:	Berghammer, Rudolf
Format:	eBook
Language:	German
Published:	Wiesbaden Springer Fachmedien Wiesbaden 2021, 2021
Edition:	4th ed. 2021
Subjects:	Mathematics Of Computing Computer Science / Mathematics Mathematical Logic Computer Arithmetic And Logic Units Arithmetic And Logic Structures Mathematical Logic And Foundations
Online Access:	https://doi.org/10.1007/978-3-658-33304-1?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Table of Contents:

Mengentheoretische Grundlagen
Logische Grundlagen
Allgemeine direkte Produkte und Datenstrukturen
Mathematische Beweise
Spezifikation und Programmverifikation
Spezielle Funktionen
Spezielle Relationen und gerichtete Graphen
Elementare Kombinatorik und ungerichtete Graphen
Diskrete Wahrscheinlichkeitstheorie
Generische Programmierung
Grundbegriffe algebraischer Strukturen
Formale Einführung der natürlichen Zahlen