Lutz Priese

Petri-Netze sind das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle für die Beweise notwendigen Techniken und mathematischen Begriffe werden erläutert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenhänge insbesondere auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe, ausgewählte Fragen zur Entscheidbarkeit und Komplexität, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung.

Ein Buch über die Unendlichkeit Wer glaubt, dass sich Rechnen auf trockene Formeln und Zahlen beschränkt, wird mit „Aspekte des Unendlichen – Eine kleine Erzählung für Nichtmathematiker“ sein blaues Wunder erleben. Dieses Buch spricht alle Leser an, die nicht nur die Logik, sondern auch die Poesie der Unendlichkeit erforschen möchten. Anstatt Laien mit kryptischem Akademikerjargon zu verwirren, übersetzt es komplexe Sachverhalte in leicht verständliche Erklärungen. So können auch Einsteiger erfahren, welche Überraschungen die Mengenlehre bereithält. Von nicht abzählbaren Größen und unentscheidbaren Fragen Die Wissenschaft der mathematischen Unendlichkeit umfasst zahlreiche Problemstellungen, die ebenso anspruchsvoll wie spannend sind. Dazu gehören unter anderem:· die Bibliothek von Babel· diskontinuierliche Kontinua· Unmengen· Paradoxien und Antinomien Um solche theoretischen Ansätze in ihren Grundzügen zu begreifen, braucht es keinen Hochschulabschluss. Lutz Prieses Buch über die Mathematik der Unendlichkeit verwandelt abstrakte Konzepte in lebensnahe Zusammenhänge. Der Autor ist promovierter Logiker und hält seit seiner Pensionierung regelmäßig Vorlesungen zu Themen der Mathematik und Informatik. Dank seiner langjährigen Tätigkeit als Hochschuldozent gelingt es ihm, mit einer unterhaltsamen Sprache Anfänger und Experten gleichermaßen zu fesseln. Dabei steht vor allem die Verbindung zwischen mathematischen und philosophischen Problemen im Vordergrund:· Wie genau können wir mit Zahlen die unendlichen Weiten des Weltalls erfassen?· Inwiefern spiegeln die Grenzen des Rechnens die Grenzen des menschlichen Daseins wider?· Wie können wir Unvorstellbares vorstellbar machen? Prieses Buch über die Unendlichkeit in der Mathematik liefert keine endgültigen Antworten auf diese Fragen. Vielmehr regt es Leser dazu an, sich selbst auf die Suche zu machen und eigene Ideen zu entwickeln. Wie es der Titel verspricht, lädt „Aspekte des Unendlichen“ zu einer schier endlosen Reise durch die Gedankenwelt ein.

Die Theoretische Informatik untersucht die der Informatik zugrundeliegenden Konzepte, Modelle und Vorgehensweisen. Es ist ein Fachgebiet, das durch seine formalen Definitionen und vielen Beweise Parallelen zur Mathematik aufweist. Dieses Buch führt umfassend in die Theoretische Informatik ein. Dabei legen die Autoren besonderen Wert auf Verständlichkeit und gute Lesbarkeit. Zu Beginn stellen sie die mathematischen Konzepte mit ihren Begriffen und Notationen vor. In den folgenden drei Hauptabschnitten führt das Buch in die Theorie der formalen Sprachen und in die Theorie der Berechenbarkeit ein und gibt einen Überblick über die Komplexitätstheorie. Mit ihren verschiedenen Sprachklassen, Grammatiken und den Automaten werden die formalen Sprachen einerseits eingesetzt, um Compiler zu bauen und andererseits um Programme zu analysieren. Bei der Anwendung der Theorie der Berechenbarkeit werden Modelle eines Computers wie etwa die Registermaschine betrachtet. Weil sie einfacher aufgebaut sind als ein konkreter Computer, kann an ihnen untersucht werden, ob ein Problem überhaupt mit einem Computer gelöst werden kann. Auch alternative Rechenmodelle wie Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen kommen in einem eigenen umfangreichen Kapitel zur Sprache. Abschließend wird die Komplexitätstheorie betrachtet, anhand derer sich herausfinden lässt, wie viel Rechenzeit für die Lösung eines Problems aufgewendet werden muss. Das Buch basiert auf Vorlesungen, die die Autoren für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz gehalten haben. Sämtliche Beweise werden in dem Buch detailliert ausgeführt. Und gerade die besonders schwierigen werden nicht abgekürzt, sondern umso eingehender betrachtet. Damit bietet dieses Buch zugleich eine Einführung in die Technik des Beweisens. Mit der ausführlichen Behandlung aller Beweise eignet sich das Lehrbuch besonders für Einsteiger indas Gebiet der Theoretischen Informatik. Aber auch Dozenten profitieren insbesondere von der Vorstellung alternativer Berechnungsmodelle.

Der Autor erläutert in dieser Einführung auf Bachelorniveau die in der Computer Vision verwendeten technischen Ausdrücke: Grundlagen des menschlichen Sehens, Farbe, exakte Begriffsbestimmungen zum Thema "Bild", Transformationen, lineare und nicht-lineare Filter, Fouriertransformation, Morphologie, Merkmale im Bild wie Kanten, Ecken, geometrische Formen mittels Hough-Transformation, diverse Hüllen und Skelettierung. Ferner höhere Merkmale wie SIFT, Shape-Context und statistische Merkmale, Texturmerkmale. Die Bestimmung von Segmenten (zusammenhängende Regionen ähnlicher Farben oder Grauwerte) wird in einem eigenen Kapitel ausführlich behandelt.