Mathematik Fur Die Informatik

Mathematik f�r die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDieses 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 Stoffvermittlung

- Viele Beispiele und Beweistechniken inklusive der Erkl�rung ihres logischen Hintergrunds

- R�ckgriffe auf die Schul-Mathematik

Dadurch bereitet Sie das Buch umfassend auf tiefgreifende Fachbegriffe und Anwendungen der Mathematik in der Informatik vor. Ein Highlight dieses Werks sind 142 �bungsaufgaben, die Ihnen helfen, das Erlernte im Selbststudium zu festigen und zu kontrollieren. Anhand von zahlreichen L�sungsvorschl�gen �berpr�fen Sie Ihre eigenen Ergebnisse.

Grundlegende Themengebiete werden abgedeckt

Im ersten Kapitel werden Grundlagen der Mengentheorie, die Sie aus der Schule kennen, kompakt und intuitiv wiederholt. Der Fokus liegt z. B. auf Relationen und Funktionen sowie Potenzmengen und Kardinalit�ten. Die weiteren Buchkapitel beleuchten u. a. folgende Teilbereiche der Mathematik f�r die Informatik:

- Allgemeine direkte Produkte und Datenstrukturen

- Grundlagen der Logik

- Spezielle Relationen und gerichtete Graphen

- Elementare Kombinatorik und ungerichtete Graphen

- Grundbegriffe algebraischer Strukturen

Zum Schluss folgt eine formale Einf�hrung in die nat�rlichen Zahlen.

Mit diesem Buch gelingt der Einstieg ins Informatik-Studium

Mit diesem Buch schaffen Sie eine solide Basis f�r die Mathematikausbildung im Rahmen des Informatikstudiums. Zudem sind Sie durch die vorgestellten Problemstellungen in der Lage, selbstst�ndig mathematische Konzepte und Methoden anzuwenden. Zielgruppen dieses Buchs �ber Mathematik in der Informatik sind Bachelor-Studierende in den ersten Studiensemestern folgender Fachbereiche:




Informatik


Mathematik


Ingenieurwissenschaften

Matematica pentru informatica: aceasta carte va invata notiunile de baza Aceasta carte explica termenii si structurile matematicii relevante pentru studierea informaticii. De asemenea, va arata cum sa aplicati metodele formale de verificare si dezvoltare a programelor si de proiectare a programelor generice in informatica.