Download e-book for kindle: Logik für Informatiker (Pearson Studium - IT) (German by Martin Kreuzer,Stefan Kühling

By Martin Kreuzer,Stefan Kühling

ISBN-10: 3827372151

ISBN-13: 9783827372154

Logik für Informatiker ist ein einführendes Lehrbuch zur Logik-Vorlesung für das Grund- und Bachelorstudium. Der Schwerpunkt liegt dabei in der hohen Praxisrelevanz und der Anwendbarkeit in der Informatik. Die Autoren behandeln alle relevanten klassischen und modernen Logiksysteme. Und logische Systeme sind für jeden angehenden Informatiker von grundlegender Bedeutung, da sie für bestimmte Gebiete der Informatik das theoretische Fundament liefern. Die Autoren bieten eine leicht verständliche Einführung in die Logik, soweit diese für moderne Informatik appropriate ist. Auf Grund mehrjähriger Lehrerfahrung wissen die Autoren, welche Verständnisschwierigkeiten bei Studenten auftreten können, und bemühen sich daher in besonderer Weise um einen ansprechenden und allgemein nachvollziehbaren Zugang zur Logik. So wird die jeweils neu eingeführte Theorie an fortlaufenden Beispielen ausprobiert. Viele dieser Beispiele sind im Stile von Übungsaufgaben mit Lösungen gehalten, so dass der Leser bereits Ansätze und Lösungsmethoden für die späteren Übungen aufnimmt. Zahlreiche Übungsaufgaben mit Kurzlösungen verleiten zum Austesten des Erlernten und sind bewusst unterhaltsam gehalten.

Show description

Read or Download Logik für Informatiker (Pearson Studium - IT) (German Edition) PDF

Similar computing, internet & digital media in german books

New PDF release: Prüfungstrainer Informatik: 500 Fragen und Antworten für das

Es ist Prüfungszeit, und Sie müssen es wissen. Und Sie werden es wissen – wenn Sie es wissen wollen. Nutzen Sie den Prüfungstrainer, so wie ein Eisbrecher den Helikopter benutzt: Um von einem guten Überblick aus eine kraft– und zeitsparende course zu finden. Dies vermeidet allzu schweres Eis und damit ein Festfahren.

Download e-book for iPad: Strategic Alignment: Zur Ausrichtung von Business, IT und by Iman Bashiri,Christoph Engels,Marcus Heinzelmann

Vielen Unternehmen gelingt es nicht, ein anhaltendes Alignment in ihrer supplier zu etablieren. Dabei kommt dem Strategic Alignment für die Schaffung von Wettbewerbsvorteilen und die Steigerung der functionality eine Schlüsselrolle zu. Beginnend mit einer Beschreibung des strategischen Alignments auf dem neuesten wissenschaftlichen Stand, entwickeln die Autoren ein ganzheitliches Vorgehensmodell, das auf erprobten Instrumenten und methodischen Ansätzen beruht.

Werner Ziegelwanger's Terrain Rendering mit Geometrie Clipmaps für Spiele (German PDF

Das Darstellen von Terrain ist ein sehr wichtiges und oft behandeltes Thema in der Computergrafik und in Spielen. Es gibt zahlreiche Algorithmen sowohl für die Erstellung von Höhendaten als auch zum Darstellen des Terrains. In diesem Buch werden Algorithmen vorgestellt, die Höhendaten für realistische Landschaften generieren.

Download e-book for kindle: Kompendium der Kryptologie (German Edition) by Gilbert Brands

Das Buch umfasst alle Bereiche moderner Verschlüsselungstechniken in Theorie und Praxis, Angriffstechniken bis hin zum Quantencomputer eingeschlossen. Teilweise wird anspruchsvolle Mathematik präsentiert, teilweise kommen die Kapitel ohne Formel aus. Um dem Leser deutlich zu machen, was once von ihm verlangt wird und used to be er verlangen kann, ist additional ein Kapitel zero vorhanden, das zusammen mit dem Inhaltsverzeichnis Klarheit schafft.

Extra info for Logik für Informatiker (Pearson Studium - IT) (German Edition)

Sample text

Download PDF sample

Logik für Informatiker (Pearson Studium - IT) (German Edition) by Martin Kreuzer,Stefan Kühling


by David
4.5

Rated 4.06 of 5 – based on 8 votes