Uwe Schöning

Un libro de texto fundamental en alemán que introduce los conceptos esenciales de la lógica matemática para estudiantes de informática, incluyendo lógica proposicional, lógica de predicados y sus aplicaciones.

Este libro es una introducción a la lógica matemática, diseñada especialmente para estudiantes de informática, que cubre temas fundamentales como la lógica proposicional y de predicados, y su aplicación en algoritmos y programación.

Este texto aborda los algoritmos paralelos y las estructuras de datos desde una perspectiva teórica y práctica, cubriendo diferentes modelos de computación paralela.

Un influyente libro de texto alemán que cubre los fundamentos de la informática teórica, incluyendo autómatas, lenguajes formales y teoría de la complejidad, desde una perspectiva didáctica y rigurosa.