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 proper 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 Online or Download Logik für Informatiker (Pearson Studium - IT) (German Edition) PDF

Similar computing, internet & digital media in german books

Norbert / Dehne, Carolin / Adler, Frederic Schwesinger's Lehrbuch Mikrosystemtechnik (German Edition) PDF

Das Buch fußt auf den Erkenntnissen einer Kooperation der Fachgruppe Mikrostrukturierte mechatronische Systeme der TU München mit dem facebook Medienpädagogik der Universität Augsburg. Gemeinsam wurde erstmalig ein hochgradig systematisierter, sowohl fachlich als auch didaktisch aufbereiteter Lehransatz auf dem komplexen Gebiet der Mikrosystemtechnik entwickelt, der einen einfachen Einstieg und tief greifendes Lernen ermöglicht.

New PDF release: Long Term Evolution: Die Entwicklung einer

Long-term Evolution (LTE) kann als zukunftsweisendes Kommunikationsnetz verstanden werden, welches als erstes seiner artwork massiv erhöhte Datenübertragungsgeschwindigkeiten im Mobilfunk ermöglicht und so neue Technologien und criteria verwirklicht. In diesem Buch werden die von LTE verwendeten Technologien analysiert, um zu zeigen, wie diese höheren Geschwindigkeiten ermöglicht werden.

Ubiquitous Computing. Innovation mit der Allgegenwärtigkeit - download pdf or read online

Studienarbeit aus dem Jahr 2011 im Fachbereich Informatik - Wirtschaftsinformatik, word: 1,0, AKAD collage, ehem. AKAD Fachhochschule Stuttgart, Veranstaltung: Wirtschaftsinformatik Bachelor, Sprache: Deutsch, summary: Der Begriff Ubiquitous Computing wurde erstmals 1988 von Mark Weiser während seiner Forschungstätigkeit für das PARC verwendet.

Download e-book for kindle: Linux Mint 18: Praxiswissen für Ein- und Umsteiger (mitp by Christoph Troche

Ganz einfach und Schritt für Schritt auf Linux Mint umsteigenDie Benutzeroberfläche von Linux Mint Cinnamon kennenlernen und an die eigenen Bedürfnisse anpassenWindows und Linux Mint parallel betreibenSteigen Sie mit Mint ein in die Linux-Welt! Egal, ob Sie parallel zu einem anderen Betriebssystem oder ausschließlich mit Linux Mint 18 (Sarah) arbeiten wollen: Dieses Buch nimmt Sie an die Hand und ermöglicht Ihnen einen problemlosen commence.

Additional resources for Logik für Informatiker (Pearson Studium - IT) (German Edition)

Example text

Download PDF sample

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


by Ronald
4.0

Read e-book online Logik für Informatiker (Pearson Studium - IT) (German PDF
Rated 4.79 of 5 – based on 28 votes