Background
Schöning, Uwe was born on December 28, 1955 in Ulm, Germany. Son of Uwe Hans and Hannelore Elise Schöning.
( This book introduces the notions and methods of formal ...)
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text is replete with illustrative examples and exercises. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.
http://www.amazon.com/gp/product/0817647627/?tag=2022091-20
(Recently, a variety ofresults on the complexitystatusofth...)
Recently, a variety ofresults on the complexitystatusofthegraph isomorphism problem has been obtained. These results belong to the so-called structural part of Complexity Theory. Our idea behind this book is to summarize such results which might otherwise not be easily accessible in the literature, and also, to give the reader an understanding of the aims and topics in Structural Complexity Theory, in general. The text is basically self contained; the only prerequisite for reading it is some elementary knowledge from Complexity Theory and Probability Theory. It can be used to teach a seminar or a monographic graduate course, but also parts of it (especially Chapter 1) provide a source of examples for a standard graduate course on Complexity Theory. Many people have helped us in different ways III the process of writing this book. Especially, we would like to thank V. Arvind, R.V. Book, E. May ordomo, and the referee who gave very constructive comments. This book project was especially made possible by a DAAD grant in the "Acciones In tegrada" program. The third author has been supported by the ESPRIT project ALCOM-II.
http://www.amazon.com/gp/product/0817636803/?tag=2022091-20
university professor computer scientist
Schöning, Uwe was born on December 28, 1955 in Ulm, Germany. Son of Uwe Hans and Hannelore Elise Schöning.
Diploma, University Stuttgart, Germany, 1980. Doctor of Philosophy, University Stuttgart, Germany, 1981. Habilitation, University Stuttgart, Germany, 1985.
Assistant University Stuttgart, 1980-1985. Associate professor University Koblenz, Germany, 1985-1989. Professor computer science University Ulm, since 1989, dean faculty computer science, 1991-1993, 97-00.
( This book introduces the notions and methods of formal ...)
( This book introduces the notions and methods of formal ...)
(Dieses Lehrbuch der Algorithmik stellt die grundlegenden ...)
(Das Buch macht den Leser in kompakter Form mit den wesent...)
(Recently, a variety ofresults on the complexitystatusofth...)
( Dieses in der 5. Auflage vorliegende Standardwerk macht...)
Married Anna Regina Trinder, January 30, 1982. Children: Saskia, Verena.