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?? ...
Read More
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.
Read Less
Add this copy of Logik Für Informatiker to cart. $50.16, new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2000 by Spektrum Akademischer Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 190 p. Contains: Illustrations, black & white, Figures. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Logik Für Informatiker to cart. $80.66, like new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2000 by Spektrum Akademischer Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Text in German. Trade paperback (US). Glued binding. 190 p. Contains: Illustrations, black & white, Figures. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Logik Für Informatiker to cart. $46.03, new condition, Sold by Paperbackshop rated 5.0 out of 5 stars, ships from Bensenville, IL, UNITED STATES, published 2015 by Spektrum-Akademischer Vlg.
Add this copy of Logik Für Informatiker to cart. $46.02, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2000 by Spektrum Akademischer Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Text in German. Trade paperback (US). Glued binding. 190 p. Contains: Illustrations, black & white, Figures. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Logik Für Informatiker (Sav Informatik) (German Edition to cart. $72.29, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 2000 by Spektrum Akademischer Verlag.
Add this copy of Logik Für Informatiker to cart. $73.99, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2000 by Spektrum Akademischer Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Text in German. Trade paperback (US). Glued binding. 190 p. Contains: Illustrations, black & white, Figures. Language: german-In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Logik Für Informatiker (Sav Informatik) (German Edition to cart. $74.00, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2000 by Spektrum Akademischer Verlag.
