Varukorg

Fri Frakt över 299 kr

Din varukorg är tom

Kundbetyg

Rapportera artikel

Rapportera ett juridiskt problem med denna artikel

Du är på väg att lämna in ett juridiskt klagomål baserat på EU:s lag om digitala tjänster (EU Digital Services Act).

Rapportera artikel

Rapportera ett juridiskt problem med denna artikel

Du är på väg att lämna in ett juridiskt klagomål baserat på EU:s lag om digitala tjänster (EU Digital Services Act).

Fri Frakt över 299kr
Fri Frakt över 299kr
Kundservice

Logik für Informatiker

419 kr

419 kr

I lager

Mån, 20 jan - fre, 24 jan


Säker betalning

14-dagars öppet köp


Säljs och levereras av

Adlibris


Produktbeskrivning

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.

Artikel.nr.

5e0a3852-426a-447d-a92b-72f49b21d618

Logik für Informatiker

419 kr

419 kr

I lager

Mån, 20 jan - fre, 24 jan


Säker betalning

14-dagars öppet köp


Säljs och levereras av

Adlibris