Broad Course Outline

General Plan

• Syntax and Semantics of
  • Propositional Logic
  • First Order (Predicate) Logic
  • Temporal/Modal Logic
• Proof Methods
  • Natural Deduction
  • Refutational Proofs (Resolution)
  • Inductive Proofs
• Applications
  • Logic Programming (Prolog)
  • Specification and Verification
    • Hardware
    • Network Protocols
    • Embededded Systems

Web Page with more details soon.