computer science


Willem Labuschagne - Book on Applied Logic

The book begins with an extended introduction to various logics, and I have tested out this introduction by using it as basis for lectures in the 400–level paper COSC462. The lectures I give in this paper fall into two groups— in most of them, the focus is on semantics and the connection with our book is very direct; the final lectures on automated reasoning are based mainly on the excellent Wos, Overbeek, Lusk, and Boyle: Automated Reasoning.

COSC462 Applied Logic Topics