Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logik für Informatiker
Foto dell'editore
Logik für Informatiker
Editore:
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antico o usato
Brossura
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo M03827410053-G
Compra usato
EUR 6,70
Spedizione EUR 10,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Logik für Informatiker. Hochschultaschenbuch
Editore:
Heidelberg ; Berlin : Spektrum, Akad. Verl., 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antico o usato
Broschiert
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: 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. Codice articolo 2229199
Compra usato
EUR 6,95
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logik für Informatiker
Editore:
Spektrum Akademischer Verlag, 2005
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo I-214-227
Compra usato
EUR 3,14
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logik für Informatiker
Editore:
Spektrum Akademischer Verlag, 2005
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo I-214-228
Compra usato
EUR 3,14
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logik für Informatiker
Editore:
Spektrum Akademischer Verlag, 2005
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo I-214-226
Compra usato
EUR 3,14
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logik Für Informatiker
Editore:
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antico o usato
Paperback
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Codice articolo G3827410053I5N00
Compra usato
EUR 26,06
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logik Fur Informatiker -Language: german
Editore:
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antico o usato
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 6426333
Compra usato
EUR 33,38
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Logik für Informatiker (ger)
Editore:
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Nuovo
Brossura
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: new. Questo è un articolo print on demand. Codice articolo JELDPMSX4K
Compra nuovo
EUR 30,90
Spedizione EUR 5,50
Spedito da Italia a U.S.A.
Spedito da Italia a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logik Fur Informatiker -Language: german
Editore:
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Nuovo
Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 6426333-n
Compra nuovo
EUR 36,00
Spedizione EUR 2,27
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 3 disponibili
Foto dell'editore
Logik Fur Informatiker: Auflage (Sav Informatik)
Editore:
Spektrum Akademischer Verlag 2000-01-20, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-LBR-9783827410054
Compra nuovo
EUR 30,63
Spedizione EUR 17,85
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 3 disponibili