PORTO-
FREI

Logik für Informatiker

(NM)

von Schöning, Uwe   (Autor)

Dieses gut im Markt eingeführte Standardwerk konzentriert sich auf die für Informatiker wesentlichen Teile der Logik. Es steht auf der Empfehlungsliste vieler Hochschuldozenten und wird teilweise als Skript zur Vorlesung verwendet.

Buch (Kartoniert)

EUR 32,99

Alle Preisangaben inkl. MwSt.

SOFORT LIEFERBAR (am Lager)
(Nur noch wenige Exemplare auf Lager)

Versandkostenfrei*

Versandtermin: 14. Juni 2025, wenn Sie jetzt bestellen.
(innerhalb Deutschlands, Sendungen in Geschenkverpackung: + 1 Werktag)

 
 

Produktbeschreibung

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. 

Autoreninfo

Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm. 

Mehr vom Verlag:

Spektrum-Akademischer Vlg

Mehr aus der Reihe:

Spektrum Hochschultaschenbücher

Mehr vom Autor:

Schöning, Uwe

Produktdetails

Medium: Buch
Format: Kartoniert
Seiten: X, 190
Sprache: Deutsch
Erschienen: August 2015
Auflage: 5. A
Maße: 213 x 151 mm
Gewicht: 300 g
ISBN-10: 3827410053
ISBN-13: 9783827410054

Herstellerkennzeichnung

Spektrum-Akademischer Vlg
Slevogtstraße 3-5
69126 Heidelberg
E-Mail: ProductSafety@springernature.com

Bestell-Nr.: 231312 
Libri-Verkaufsrang (LVR):
Libri-Relevanz: 4 (max 9.999)
 

Ist ein Paket? 0
Rohertrag: 7,71 €
Porto: 1,84 €
Deckungsbeitrag: 5,87 €

LIBRI: 6968279
LIBRI-EK*: 23.12 € (25%)
LIBRI-VK: 32,99 €
Libri-STOCK: 2
* EK = ohne MwSt.

UVP: 0 
Warengruppe: 16320 

KNO: 03229406
KNO-EK*: 14.02 € (25%)
KNO-VK: 32,99 €
KNO-STOCK: 0
KNO-MS: 15

KNO-SAMMLUNG: HochschulTaschenbuch
P_ABB: Zahlr. Abb.
KNOABBVERMERK: 5. Aufl. x, 190 S. X, 190 S. 28 Abb. 210 mm
Einband: Kartoniert
Auflage: 5. A
Sprache: Deutsch
Beilage(n): ,

Alle Preise inkl. MwSt. , innerhalb Deutschlands liefern wir immer versandkostenfrei . Informationen zum Versand ins Ausland .

Kostenloser Versand *

innerhalb eines Werktages

OHNE RISIKO

30 Tage Rückgaberecht

Käuferschutz

mit Geld-Zurück-Garantie