Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: medimops, Berlin, Deutschland
Buch
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.
Verlag: Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch
Taschenbuch. Zustand: Neu. Neuware -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. 190 pp. Deutsch.
Verlag: Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Deutschland
Buch
Taschenbuch. Zustand: Neu. Neuware -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. 190 pp. Deutsch.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Buch
Zustand: Good. Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Buch
Zustand: New. Book is in NEW condition.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Buch
Zustand: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: GF Books, Inc., Hawthorne, CA, USA
Buch
Zustand: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: Book Deals, Tucson, AZ, USA
Buch
Zustand: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any).
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: Book Deals, Tucson, AZ, USA
Buch
Zustand: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: Book Deals, Tucson, AZ, USA
Buch
Zustand: New. New! This book is in the same immaculate condition as when it was published.
Verlag: Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: Wegmann1855, Zwiesel, Deutschland
Buch
Taschenbuch. Zustand: Neu. Neuware -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.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Buch
Paperback. Zustand: Brand New. 5th edition. 200 pages. German language. 8.19x5.83x0.47 inches. In Stock.
Verlag: Spektrum-Akademischer Vlg Jan 2000, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Neuware - 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.
Verlag: Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053ISBN 13: 9783827410054
Anbieter: moluna, Greven, Deutschland
Buch
Kartoniert / Broschiert. Zustand: New. Gut im Markt eingefuehrtes Standardwerk, steht auf Empfehlungsliste vieler Hochschuldozenten, wird teilweise als Skript zur Vorlesung verwendet. Konzentriert sich auf die fuer Informatiker wesentlichen Teile der Logik.Gut im Markt eingefuehrtes Standard.