Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logik für Informatiker (Sav Informatik)
Imagen de archivo
Logik für Informatiker
Publicado por
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antiguo o usado
Tapa blanda
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: M03827410053-G
Comprar usado
EUR 6,70
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Logik für Informatiker. Hochschultaschenbuch
Publicado por
Heidelberg ; Berlin : Spektrum, Akad. Verl., 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antiguo o usado
Broschiert
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: 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 ref. del artículo: 2229199
Comprar usado
EUR 6,95
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logik für Informatiker
Publicado por
Spektrum Akademischer Verlag, 2005
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: I-214-227
Comprar usado
EUR 3,14
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logik für Informatiker
Publicado por
Spektrum Akademischer Verlag, 2005
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: I-214-226
Comprar usado
EUR 3,14
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logik für Informatiker
Publicado por
Spektrum Akademischer Verlag, 2005
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antiguo o usado
Softcover
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: 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 ref. del artículo: I-214-228
Comprar usado
EUR 3,14
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logik Für Informatiker
Publicado por
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antiguo o usado
Paperback
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G3827410053I5N00
Comprar usado
EUR 26,06
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logik Fur Informatiker -Language: german
Publicado por
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 6426333
Comprar usado
EUR 33,38
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Logik für Informatiker (ger)
Publicado por
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Nuevo
Tapa blanda
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 4 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: JELDPMSX4K
Comprar nuevo
EUR 30,90
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logik Fur Informatiker -Language: german
Publicado por
Spektrum Akademischer Verlag, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 6426333-n
Comprar nuevo
EUR 36,00
Envío por EUR 2,27
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 3 disponibles
Imagen de archivo
Logik Fur Informatiker: Auflage (Sav Informatik)
Publicado por
Spektrum Akademischer Verlag 2000-01-20, 2000
ISBN 10: 3827410053
ISBN 13: 9783827410054
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-LBR-9783827410054
Comprar nuevo
EUR 30,63
Envío por EUR 17,85
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 3 disponibles