Die praktische Informatik lebt vom Ausprobieren verschiedener Lösungswege, dem Experimentieren mit Programmkonstrukten und Algorithmen, und allgemein vom ´´Selbermachen´´. Darauf baut das didaktische Konzept des Buchs auf: Anhand einer Vielzahl an Aufgaben kann der Student die präsentierten Konzepte selbst erfahren, mit Ihnen arbeiten und so die eigentlichen Probleme der Informatik wirklich verstehen.

Das Buch ist eine unkonventionelle, auf intuitives Verständnis ausgerichtete Einführung in die theoretischen Grundlagen der praktischen Aspekte der Informatik. Dabei geht es nicht ausschließlich um die Entwicklung von Software. Beim Leser werden keine besonderen Vorkenntnisse vorausgesetzt. Es werden etwa Informationstheorie, Codierungstheorie, Zahlendarstellung und Numerik, Boolesche Algebra, Fuzzy-Logik sowie Quanten-Computer behandelt, wobei gewährleistet bleibt, dass leicht verständlich wird, wie auf diesem theoretischen Unterbau die praktische Realisierung eines Computers sowohl in Hardware als auch in Software erfolgen kann. Für die fünfte Auflage wurde das Buch komplett überarbeitet und auf den neuesten Stand gebracht.

Eine umfassende Gesamtübersicht zu den wichtigsten Teilgebieten der Informatik in einem Taschenbuch - das macht die Einzigartigkeit dieses Werkes aus. Es spannt den Bogen von den theoretischen und technischen Grundlagen der Informatik über die verschiedenen Teilgebiete der praktischen Informatik bis hin zu vielen aktuellen Anwendungen in technischen und (betriebs-)wirtschaftlichen Bereichen. Die kompakte und übersichtliche Darstellung ermöglicht eine konzentrierte Wissensvermittlung. Für die 7. Auflage wird das Werk komplett überarbeitet und aktualisiert.

Eine umfassende Einführung in die Theoretische Informatik, die Spaß macht und verständlich ist. Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitäten mit der ganzen dahinter steckenden Tiefe und Strukturtheorie gelehrt werden, werden hier für ein breiteres Publikum aufbereitet und verfügbar gemacht. Der Autor verdeutlicht, dass der Zugang zur Informatik über die formale Methode, die Grundideen und die Algorithmik viel Spaß machen kann. Effiziente, praxisrelevante Lösungsansätze stehen im Vordergrund, was Verständlichkeit und Anwendbarkeit der Ideen fördert. Durch die Vielzahl der behandelten Modelle und Konzepte (kurz: Ideen) wird der große Zusammenhang deutlich gemacht. Ein umfangreiches weiterführendes Literaturverzeichnis runden die leicht lesbare und trotzdem korrekte und umfassende Darstellung ab.

Das Neue an dieser Einführung in die Theoretische Informatik ist die konsequent algorithmenorientierte Sichtweise, d.h. eine Umsetzung in praktisch und theoretisch effiziente Algorithmen wird angestrebt. Auf diese Weise bietet das Buch eine Einführung in die zentralen Gebiete der Theoretischen Informatik, wie sie in einer Einführungsvorlesung an deutschen Universitäten vorgesehen ist.

Dieses Buch enthält in einem Band den Mathematik-Stoff, der für das Informatik-Studium in anwendungsorientierten Bachelor-Studiengängen benötigt wird. Der Inhalt entspringt der langjährigen Lehrerfahrung des Autors. Das heißt: - Sie finden immer wieder Anwendungen aus der Informatik. - Sie lernen nicht nur mathematische Methoden, es werden auch die Denkweisen der Mathematik vermittelt, die eine Grundlage zum Verständnis der Informatik bilden. - Beweise werden dann geführt, wenn Sie daraus etwas lernen können, nicht um des Beweisens willen. Mathematik ist für viele Studierende zunächst ein notwendiges Übel. Das Buch zeigt durch ausführliche Motivation, durch viele Beispiele, durch das ständige Aufzeigen von Querbezügen zwischen Mathematik und Informatik, dass Mathematik nicht nur nützlich ist, sondern interessant sein kann und manchmal auch Spaß macht.

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen. Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet.

Informatik ist der Schlüssel, um unsere zunehmend digitalisierte Welt zu verstehen! In diesem Buch lesen Sie nicht nur, wie Navis den günstigsten Weg bestimmen, wie so viele Bilder auf eine kleine Speicherkarte passen oder welche Dinge ein Computer eben nicht ausrechnen kann. Mit Papier und Bleistift und den Bastelvorlagen können Sie die Antworten auf diese und viele weitere Fragen selbst buchstäblich begreifen. Ein Computer ist dafür nicht nötig! Das Buch ist für alle da, die schon immer mal hinter die Kulissen der Wissenschaft Informatik schauen wollten: Vom Schüler zum Lehrer, vom Studenten zum Professor, vom interessierten Laien zum IT-Experten, der zwar genau weiß, wie er bestimmte Dinge zu tun hat, aber vielleicht nicht, warum sie so funktionieren oder wie er den Kern seiner tägliche Arbeit seiner Familie verständlich machen kann. Die 4. Auflage enthält nicht nur zusätzliche Kapitel, sondern stellt eine komplette Überarbeitung dar, die Jens Gallenbacher auf Basis unzähliger Erfahrungen und Rückmeldungen vorgenommen hat. Praktisch jedes Kapitel wurde ergänzt, die Bastelbögen neu gestaltet. In der neuen Auflage enthalten nun alle Kapitel durchgehend Hands-on-Anteile, damit Sie unmittelbar selbst Erfahrungen mit der Informatik sammeln können - ganz ohne Computer. Stimmen zu vorhergehenden Auflagen: ´´Wer mit einem Informatikstudium liebäugelt, erhält einen Vorgeschmack auf das, was ihn erwartet - alle anderen können das Buch einfach zum Vergnügen lesen.´´ c´t - Magazin für Computertechnik ´´Lassen Sie sich also ein auf das ´Abenteuer Informatik´! Ich bin sicher, dass Sie Spaß daran haben´´ LOG IN - Informatische Bildung und Computer in der Schule ´´Auch wenn es unglaublich klingt: Abenteuer Informatik ist ein Buch über wichtige Prinzipien der modernen informationsverarbeitenden Alltagswelt, das man beim Lesen nicht mehr aus der Hand legen will.´´ BIOspektrum ´´Mit bester Empfehlung!´´ PM - Praxis der Mathematik ´´Bits zum Begreifen´´ Bild derWissenschaft Prof. Dr. Jens Gallenbacher beschäftigt sich an der Technischen Universität Darmstadt sowie an der Johannes Gutenberg-Universität Mainz schon sehr lange mit der Frage, wie man die Fachwissenschaft Informatik lebendig und mit einem hohen Allgemeinbildungsgrad vermittelt. Um zu zeigen, dass Informatik mehr mit menschlicher Kreativität und konsequentem Denken zu tun hat als mit Computern, verzichtet er dabei weitgehend auf den Einsatz der Geräte. Seine Konzepte werden vom Kindergarten bis zur universitären Grundlagenausbildung eingesetzt. Fachdidaktik ist in der Lehrerausbildung sein Kernthema.

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.