Angebote zu "Logik" (76 Treffer)

Logik für Informatiker
20,00 € *
ggf. zzgl. Versand

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.

Anbieter: buecher.de
Stand: 05.04.2018
Zum Angebot
Logik für Informatiker - Jürgen Dassow
1,31 € *
zzgl. 3,99 € Versand
Anbieter: trade-a-game
Stand: 12.04.2018
Zum Angebot
Logik für Informatiker - Uwe Schöning
4,49 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 11.04.2018
Zum Angebot
Logik für Informatiker als Buch von Jürgen Dassow
34,99 € *
ggf. zzgl. Versand
(34,99 € / in stock)

Logik für Informatiker:Auflage 2005 Jürgen Dassow

Anbieter: Hugendubel.de
Stand: 04.04.2018
Zum Angebot
Logik für Informatiker als Buch von Uwe Schöning
20,00 € *
ggf. zzgl. Versand
(20,00 € / in stock)

Logik für Informatiker:HochschulTaschenbuch. 5. A Uwe Schöning

Anbieter: Hugendubel.de
Stand: 23.03.2018
Zum Angebot
Logik und Logikprogrammierung
58,00 € *
ggf. zzgl. Versand

Logik und Logikprogrammierung

Anbieter: Allyouneed.com
Stand: 12.04.2018
Zum Angebot
Mathematische Grundlagen für die Informatik: Me...
18,99 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 17.04.2018
Zum Angebot
Logik für Informatiker als Buch von Bernhard He...
32,99 € *
ggf. zzgl. Versand
(32,99 € / in stock)

Logik für Informatiker:Eine Einführung Leitfäden und Monographien der Informatik. 2. Aufl. 1991 Bernhard Heinemann, Klaus Wehirauch, Thomas Ottman

Anbieter: Hugendubel.de
Stand: 07.04.2018
Zum Angebot
Theoretische Informatik
39,99 € *
ggf. zzgl. Versand

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. In der 3. Auflage wurden Fehler behoben, alle Kapitel aktualisiert und teilweise ergänzt.

Anbieter: buecher.de
Stand: 05.04.2018
Zum Angebot