This book constitutes the refereed proceedings of the 17th Iberoamerican Congress on Pattern Recognition, CIARP 2012, held in Buenos Aires, Argentina, in September 2012. The 109 papers presented, among them two tutorials and four keynotes, were carefully reviewed and selected fr…
The Life and Work of Leon Henkin; Preface; Henkin's Investigations and Beyond; Leon Henkin Up Close and Personally; Contents; Contributors; Part I: Biographical Studies; Leon Henkin; 1 Life; 2 Graduate Studies at Columbia University; 3 Doctorate Studies with Alonzo Church; 3.1 T…
This is a comprehensive book on the life and works of Leon Henkin (1921-2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on "The completeness of formal systems" under the dir…
Traces and Emergence of Nonlinear Programming
The book contains reproductions of the most important papers that gave birth to the first developments in nonlinear programming. Of particular interest is W. Karush's often quoted Master Thesis, which is published for the first time. The anthology includes an extensive prelimina…
With the aim to bring the subject of Computational Geometry and Topology closer to the scientific audience, this book is written in thirteen ready-to-teach sections organized in four parts: TESSELLATIONS, COMPLEXES, HOMOLOGY, PERSISTENCE. To speak to the non-specialist, detailed…
Elementare Aussagenlogik
by Bauer, Friedrich L., Wirsing, Martin
fromMathematik für Informatiker
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht…