Logik für Informatiker
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...
Leider schon ausverkauft
Buch
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Logik für Informatiker “
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 relevant 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.
Klappentext zu „Logik für Informatiker “
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 relevant 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.
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 relevant 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.vanz 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 relevant 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ösungsmeth
Autoren-Porträt von Martin Kreuzer, Stefan Kühling
Martin Kreuzer ist Professor für Symbolic Computation an der Universität Passau und bietet im Grundstudium die Vorlesung "Logik für Informatiker" an. Zudem ist er Fachexperte "Jahr der Mathematik".
Bibliographische Angaben
- Autoren: Martin Kreuzer , Stefan Kühling
- 2006, 247 Seiten, Maße: 17,3 x 24,5 cm, Kartoniert (TB), Deutsch
- Verlag: Pearson Studium
- ISBN-10: 3827372151
- ISBN-13: 9783827372154
Kommentar zu "Logik für Informatiker"
0 Gebrauchte Artikel zu „Logik für Informatiker“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Logik für Informatiker".
Kommentar verfassen