Name: Logik für Informatiker (en Alemán)
Price: 128.82 PEN
Availability: InStock
Author: Schöning, Uwe
ISBN: 9783827410054

portada Logik für Informatiker (en Alemán)

Formato

Libro Físico

Editorial

Spektrum Akademischer Verlag,

Autor

Schöning, Uwe

Idioma

Alemán

Encuadernación

Tapa Blanda

ISBN13

9783827410054

N° edición

0005

Logik für Informatiker (en Alemán)

Schöning, Uwe (Autor) · Spektrum Akademischer Verlag, · Tapa Blanda

Libro Nuevo

S/ 128,82

S/ 257,64

Ahorras: S/ 128,82

50% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 17 de Junio y el Miércoles 26 de Junio.

Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.

Reseña del libro "Logik für Informatiker (en Alemán)"

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.