Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Logik für Informatiker (German Edition)
Stock Image
Logik für Informatiker
Published by
Spektrum Akademischer Verlag, 1995
ISBN 10: 386025684X
ISBN 13: 9783860256848
Used
Softcover
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Seller Inventory # M0386025684X-G
Buy Used
US$ 6.49
US$ 11.44 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Stock Image
Logik für Informatiker 4. Auflage
Published by
Heidelberg,Neckar Spektrum Akademischer Verlag, 1995
ISBN 10: 386025684X
ISBN 13: 9783860256848
Used
04
Seller: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Germany
Seller rating 5 out of 5 stars
04. Condition: Wie neu. 1995. S. 207 Sprache: Deutsch. Seller Inventory # 10692
Buy Used
US$ 21.15
US$ 18.19 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Logik für Informatiker
Published by
Spektrum Akademischer Verlag, 1995
ISBN 10: 386025684X
ISBN 13: 9783860256848
Used
Kl.-8°, Broschiert
Seller: Allgäuer Online Antiquariat, Memmingen, DE, Germany
Seller rating 5 out of 5 stars
Kl.-8°, Broschiert. Condition: Gut. 4. Auflage. 208 Seiten Buch in gutem Zustand Sprache: Deutsch Gewicht in Gramm: 297. Seller Inventory # 134253
Buy Used
US$ 5.89
US$ 45.75 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Logik für Informatiker [4. überarbeitete Auflage 1995]
Published by
Spektrum Akademischer Verlag, 1995
ISBN 10: 386025684X
ISBN 13: 9783860256848
Used
Softcover
Seller: Versandantiquariat Manuel Weiner, Friedenweiler, Germany
Seller rating 5 out of 5 stars
Heidelberg : Spektrum, Akad. Verlag, 1995, 207 Seiten; 21 cm ; kart. ; (Reihe Informatik) ; in kleinem Bereich eckfleckig, sonst gut bis sehr gut erhalten, Einband transparent laminiert. Seller Inventory # sa_m23_1308_684x
Buy Used
US$ 16.25
US$ 50.33 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Logik für Informatiker
Published by
Spektrum Akademischer Verlag, 1995
ISBN 10: 386025684X
ISBN 13: 9783860256848
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 38500539/202
Buy Used
US$ 9.06
US$ 120.10 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available