Articles liés à Logik für Informatiker
Résultats de recherche pour Logik für Informatiker
Image fournie par le vendeur
Logik für Informatiker. Reihe Informatik ; Bd. 56.
Edité par
Mannheim ; Wien ; Zürich : BI-Wiss.-Verl., 1987
ISBN 10 : 3411031646
ISBN 13 : 9783411031641
Ancien ou d'occasion
kart.
Vendeur : Borkert, Schwarz und Zerfaß GbR, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
kart. Etat : 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. N° de réf. du vendeur 1128616
Acheter D'occasion
EUR 9
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)