Logic for Computer Science

CSE521
4
3-1-0
CSE322
UG,PG

This courses introduces formal logics and their applications in computer science. The logics considered in detail are Propositional Logic and First Order Logic for which the concepts of syntax, semantics, satisfiability, validity, and logical deductions are clarified. Proof systems and logic algorithms are studied. Applications within Computer Science are illustrated.

  • Familiarity with Propositional Logic and First Order Logic, formal reasoning,.

  • Understanding of what is a valid logical conclusion.

  • Capability to express a problem or specification in terms of a formal logic.

  • Knowledge of application areas of logic in Computer Science (Logic Programming and Temporal Logic)

Monsoon

Course Offering