Three views of logic: mathematics, philosophy, and computer science

摘要

Mathematics is the base for engineering, and various mathematical courses are required for different branches of engineering. For computer science and engineering, mathematics courses such as discrete mathematics, number theory, theory of computation, algorithms, and probability are required areas of study. In order to become a good programmer and software developer, one should learn three views of logic-the views from mathematics, philosophy, and computer science-which are the focus of this book. I would recommend this book for undergraduate computer science students trying to shape their logical thinking process. These three views are well addressed and presented by the authors. Though the three parts (views) of this book were written by three different authors, they have a shared understanding, making them easy to read.