**Logic for Computer Science**

**With the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. In a course on logic for computer, the search for efficient algorithms which decide satisfiability (or validity) of formulas should be investigated. In such a course on logic for computer science, one may teach the following topics:**

**Foundations of propositional logic****Equivalence and normal forms****Horn formulas****The compactness theorem****Resolutions****Foundations of predicate logic****Normal forms****Undecidability****Herbrand's Theory****Resolution****Refinements of resolutions****Horn Clause Programs****Evaluations Strategies****PROLOG**

For more details, refer to the following book:

Schöning, U. (2008). Logic for computer scientists. Springer Science & Business Media.