Literatur zum Informatikstudium

Mengen, Aussagen, Zahlen, Abbildungen, Äquivalenzen, Ordnungen, Kombinatorik, algebraische Grundstrukturen, Restklassenringe, komplexe Zahlen, Vektoren, Matrizen, lineare Gleichungssysteme, Vektorräume, Polynome, rationale Funktionen, Potenzreihen, reelle Zahlen, Folgen, Reihen, stetige Funktionen, Differenzial- und Integralrechnung.

Mathematisch-logische Grundlagen, Turing-Maschinen, formale Sprachen und Programmiersprachen, Algorithmen, Berechenbarkeit, Komplexität, Übersetzung von Programmiersprachen, Graphen, Fuzzy-Systeme, Codierung, Kryptographie.

Gibt einen Überblick über formale Sprachen, Aussagen- und Prädikatenlogik, Beweisverfahren, Mengen, Kombinatorik, Zahlen und -darstellungen, Relationen, Abbildungen, Graphen, algebraische Strukturen von Gruppoiden und Gruppen über Ringe und Körper zu Akten, Vektorräumen und Kategorien. Der Schwerpunkt liegt bei formal exakten Definitionen und wichtigen Sätzen, weniger bei konkreten Anwendungen.

Zähltheorie, Graphen, Bäume, projektive Ebenen, Wahrscheinlichkeit, erzeugende Funktionen, lineare Algebra.

Kombinatorik, Fibonacci-Zahlen, kombinatorische Wahrscheinlichkeit, ganze Zahlen, Graphen, Bäume, Kombinatorik in der Geometrie, Färbungen, Codes, Komplexität, Kryptographie.

Mathematische Grundlagen, Petri-Netze, Invarianten, Lebendigkeit, Sicherheit, Erreichbarkeit, Berechenbarkeit, Erzeugbarkeit, Petri-Netz-Sprachen, Pomset- und Stepsprachen, algebraische Charakterisierungen.

Logik, Mengen, Zahlensysteme, elementare Zahlentheorie, Relationen, Funktionen, Folgen, Reihen, Kombinatorik, Rekursion, Wachstum von Algorithmen, Vektorräume, Matrizen, lineare Abbildungen und Gleichungen, lineare Optimierung, Grundlagen der Graphentheorie, Bäume, Flüsse in Netzwerken und Matchings, Einführung in Mathematica.

Zur Informatikausbildung in Schulen.

Nettes anregendes Büchlein für Schüler und Studienanfänger zum Einsteigen in Grundbegriffe der Informatik, Algorithmen, Datenstrukturen, Softwareentwicklung.

Prozesse, Betriebssysteme, Systemprogrammierung, Übersetzung von Programmen, formale Sprachen, Berechenbarkeit, Komplexität, Logikprogrammierung, effiziente Algorithmen und Datenstrukturen, Beschreibungstechniken.

Technische Grundlagen, Betriebssysteme, Algorithmen, Programme, Softwaretechnologie, Datenbanken, Tabellenkalkulation, Entwicklung der Computer.

Grundkonzepte, Sprachkonzepte, Algorithmen, Theorie.

Überblick über 25 Gebiete der Informatik.

Grundlagen, Datenstrukturen, Algorithmen, Prozesse, Programmiersprachen, Softwaretechnik, Rechnerarchitekturen, Speichermedien, verteilte Systeme, Middleware, Betriebssysteme.

Beispiele, Effizienz, Turing-Maschinen, Grenzen der Berechenbarkeit.

Wachstum von Funktionen, Rekursionsgleichungen, randomisierte Algorithmen, Sortieren, Datenstrukturen, Hashtabellen, Bäume, dynamische Programmierung, Greedy-Algorithmen, amortisierte Analyse, B-Bäume, Heaps, Graphenalgorithmen, Sortiernetzwerke, Matrixoperationen, lineare Programmierung, Polynome und FFT, zahlentheoretische Algorithmen, String-Matching, NP-Vollständigkeit, Approximationsalgorithmen.

Divide-and-Conquer, Backtracking, dynamisches Programmieren, randomisierte Algorithmen, Sweep-Verfahren, amortisierte Analyse, parallele Präfix-Summation, Online-Algorithmen, heuristische Suche, aufspannende Bäume, neuronale Netze.

Grundlagen, Sortieren, Suchen, Hashverfahren, Bäume, Mengen, geometrische Algorithmen, Graphen, Suchen in Texten, randomisierte Algorithmen, parallele Algorithmen.

Grundlegende Konzepte, Sortieren, Selektieren, Hashing, dynamisches Programmieren, Greedy-Algorithmen, Matroide, Graphen, Bäume, Datenkompression, algebraische und zahlentheoretische Algorithmen, String Matching, heuristische Algorithmen, Algorithmen für das Erfüllbarkeitsproblem.

Historische Bezüge, heuristische Strategien, Effizienz, Korrektheit, Grenzen des Computers und der Algorithmisierbarkeit, Programmierung, evolutionäre Algorithmen, neuronale Netze.

Umfassendes Werk zu objektorientierten Testtechniken, enthält ein Kapitel über Zusicherungen, das auf 110 Seiten viele Aspekte von Spezifikation durch Vertrag behandelt.

Unbedingt lesen!

Eignet sich gut für erfahrene UML-Nutzer, die sich schnell über Neuerungen der UML 2.0 informieren wollen. Das Buch konzentriert sich auf die Notation, die Syntax der UML. Es veranschaulicht zahlreiche Diagrammarten an gut gewählten Beispielen aus der durchgängig verwendeten "Albatros Air Autopilot"-Anwendung und vermittelt so auch semantische und pragmatische Aspekte. Wer wie Studierende vor allem methodische Anleitung für gutes Modellieren benötigt, wird hier weniger fündig.

Leider scheint das Buch eilig veröffentlicht worden zu sein. Im Glossar fehlen wichtige Begriffe wie OCL. Die Rechtschreibung schwankt zwischen alter und neuer. Die vielen Tippfehler, die ein Rechtschreibprüfprogramm finden würde, wirken in einem Informatikbuch anachronistisch.

Interaktive 3D-Grafik, OpenGL, geometrische Grundobjekte, Koordinatensysteme und Transformation, Verdeckung, Farbe, Anti-Aliasing, Beleuchtung und Schattierung, Texturen, Animationen, Beschleunigungsverfahren, digitale Bildbverarbeitung.

Licht und visuelle Wahrnehmung, 2D- und 3D-Grafik, Grafikalgorithmen, Rendering, Java-2D-API, OpenGL-API, Java-3D-API, VRML / X3D, 3D-Werkzeuge, 3D im Internet.

Sammlung kurzer Aufsätze zu theoretischen, methodischen und praktischen Aspekten der Usability.

Methodenorientierte Einführung in Web Usability Evaluation.