Fundamentals of Logic and Computation

Zhe Hou is a lecturer in the School of Information and Communication Technology at Griffith University, Nathan, Australia.  His research pursuits include explainable AI, autonomous systems, formal verification, and automated reasoning.

• 1. Introduction to Logic.- 2. First-order Logic.- 3. Non-classical Logics.- 4. Automata Theory and Formal Languages.- 5. Turing Machines and Computability.- 6. Logic is Computation.