Fundamentals of Computer Science

This course explains propositional and first order logic and provides an introduction to other logics like intuitionistic logic and modal logic. topics covered include propositional logic and truth tables. First order logic (predicate logic), quantifiers the rules used for inference, and what satisfaction means will be explained in detail. A quick introduction to NP-completeness will be provided as well as Gödel's completeness theorem. The last part of the course includes exploration of intuitionistic and modal logic, the logics of justification and knowledge and dynamic logic.

Offer as needed