Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Klimaneutrales Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Spektrum Akademischer Verlag

Logik für Informatiker

Name: Logik für Informatiker
Author: Schöning, Uwe

Schöning, Uwe

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

0,00 €

Lieferzeit 1-3 Werktage

Spektrum Akademischer Verlag

Kurzinformation

Sprache:

Deutsch

ISBN:

9783860256848

Verlag:

Spektrum Akademischer Verlag

Seitenzahl:

208

Auflage:

Erschienen:

1995

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Gut 0,00 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bei

bestellen

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

0,00 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

Logik für Informatiker

"Logik für Informatiker" von Uwe Schöning ist ein Lehrbuch, das die Grundlagen der Logik und ihre Anwendung in der Informatik auf eine leicht verständliche Weise erklärt. Das Buch behandelt Themen wie Aussagenlogik, Prädikatenlogik, Resolution, Beweisverfahren und Komplexitätstheorie. Es enthält zahlreiche Beispiele und Übungen zur Vertiefung des Gelernten. Zudem werden auch fortgeschrittene Themen wie Unentscheidbarkeit und NP-Vollständigkeit behandelt. Das Buch richtet sich an Studierende der Informatik und verwandter Fachbereiche, kann aber auch für Selbstlerner interessant sein, die einen fundierten Einblick in die Logik erhalten möchten.