Preface, Chapter 1 Mathematical Logic, Chapter 2 Methods of Proof, Chapter 3 Special Proof Types, Chapter 4 Foundational Mathematical Topics, References, Index
Biography
Mark DeBonis received his PhD in Mathematics from University of California, Irvine, USA. He began his career as a theoretical mathematician in the field of group theory and model theory, but in later years switched to applied mathematics, in particular to machine learning. He spent some time working for the US Department of Energy at Los Alamos National Lab as well as the US Department of Defense at the Defense Intelligence Agency as an applied mathematician of machine learning. He is at present working for the US Department of Energy at Sandia National Lab. His research interests include machine learning, statistics and computational algebra.
“Exceptionally well organized and presented, as well as thoroughly replete with student friendly exercises and examples”
--Midwest Book Review
