Logik fr Informatiker

Name: Logik fr Informatiker
Brand: Springer Nature
SKU: 9783827410054
Availability: InStock

Best Price:
Buy Logik fr Informatiker for $29.95 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $29.95 - $29.95

BEST PRICE

Single Product Purchase

$29.95

@ Link.springer.com BUY Now

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$29.95	$29.95			$29.95		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783827410054

Condition

New

Product Description

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 Bedrfnissen 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. Schning gelingt eine kompakte und verstndliche Darstellung der Aussagen- und Prdikatenlogik, bei der die bentigten Begriffe przise eingefhrt 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 ausfhrlichen Lsungshinweisen erleichtern die Vertiefung des Lernstoffes.

Available Colors

N/A

Available Sizes

N/A