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

Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)

Name: Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Author: Siefkes, Dirk

Siefkes, Dirk

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

23,62 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Deutsch

ISBN:

9783528047573

Verlag:

Vieweg+Teubner Verlag

Seitenzahl:

280

Auflage:

Erschienen:

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 23,62 €

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

23,62 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)

Das Buch "Formalisieren und Beweisen: Logik für Informatiker" von Dirk Siefkes ist ein umfassendes Lehrbuch, das sich auf die Anwendung der Logik in der Informatik konzentriert. Es behandelt Themen wie Aussagenlogik, Prädikatenlogik und logisches Schließen und zeigt, wie diese Konzepte in der Informatik angewendet werden können. Darüber hinaus enthält das Buch auch Abschnitte über formale Systeme und Beweisverfahren. Es vermittelt Studenten und Fachleuten die notwendigen Kenntnisse, um logische Probleme zu formalisieren und Lösungen zu beweisen. Das Buch ist didaktisch gut strukturiert mit zahlreichen Beispielen und Übungsaufgaben, die den Lernprozess unterstützen.