Verwandte Artikel zu Logik für Informatiker
Inhaltsangabe
.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Logik für Informatiker
Foto des Verkäufers
Logik für Informatiker. Reihe Informatik ; Bd. 56.
Verlag:
Mannheim ; Wien ; Zürich : BI-Wiss.-Verl., 1987
ISBN 10: 3411031646
ISBN 13: 9783411031641
Gebraucht
kart.
Anbieter: Borkert, Schwarz und Zerfaß GbR, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
kart. Zustand: Gut. 168 S. : graph. Darst. ; 21 cm Gutes Ex. - Wolfram Schwabhäuser gewidmet. - Dieser Band führt in Begriffe und Methoden der formalen Logik ein, wobei die Auswahl des Materials an Informatik-Anwendungen orientiert ist. Die Behandlung der Aussagenlogik und darauf aufbauend der Prädikatenlogik erfolgt mit dem Ziel, den Grundstock zu legen für das Verständnis moderner Anwendungen der Logik in der Informatik, wie z.B. Resolution, Automatisches Beweisen und Logik-Programmierung. (Verlagstext) ISBN 9783411031641 Sprache: Deutsch Gewicht in Gramm: 550. Bestandsnummer des Verkäufers 1128616
Gebraucht kaufen
EUR 9,00
EUR 40,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar