Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Logik für Informatiker
Image d'archives
Logik für Informatiker
Edité par
Spektrum Akademischer Verlag, 2000
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Ancien ou d'occasion
Couverture souple
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N° de réf. du vendeur M03827410053-G
Acheter D'occasion
EUR 6,89
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logik für Informatiker. Hochschultaschenbuch
Edité par
Heidelberg ; Berlin : Spektrum, Akad. Verl., 2000
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 5. Aufl. 200 S. Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Deutsch Gewicht in Gramm: 295. N° de réf. du vendeur 2229199
Acheter D'occasion
EUR 6,95
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logik für Informatiker
Edité par
Spektrum Akademischer Verlag, 2005
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur I-214-227
Acheter D'occasion
EUR 3,14
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logik für Informatiker
Edité par
Spektrum Akademischer Verlag, 2005
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur I-214-228
Acheter D'occasion
EUR 3,14
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logik für Informatiker
Edité par
Spektrum Akademischer Verlag, 2005
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Ancien ou d'occasion
Softcover
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Très bon. Ancien livre de bibliothèque avec équipements. Edition 2005. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2005. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur I-214-226
Acheter D'occasion
EUR 3,14
Expédition à EUR 16,50
Expédition depuis France vers Etats-Unis
Expédition depuis France vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logik Für Informatiker
Edité par
Spektrum Akademischer Verlag, 2000
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G3827410053I5N00
Acheter D'occasion
EUR 27,44
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logik Fur Informatiker -Language: german
Edité par
Spektrum Akademischer Verlag, 2000
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 6426333
Acheter D'occasion
EUR 33,49
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Logik für Informatiker (ger)
Edité par
Spektrum Akademischer Verlag, 2000
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Neuf
Couverture souple
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur JELDPMSX4K
Acheter neuf
EUR 30,90
Expédition à EUR 5,50
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logik Fur Informatiker -Language: german
Edité par
Spektrum Akademischer Verlag, 2000
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 6426333-n
Acheter neuf
EUR 36,22
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 3 disponible(s)
Image d'archives
Logik Fur Informatiker: Auflage (Sav Informatik)
Edité par
Spektrum Akademischer Verlag 2000-01-20, 2000
ISBN 10 : 3827410053
ISBN 13 : 9783827410054
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-LBR-9783827410054
Acheter neuf
EUR 30,47
Expédition à EUR 17,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 3 disponible(s)