Graduate

Courses

Computer Science

B510 Introduction to Applied Logic

Credits: 3

Prerequisite(s):

Structures: relations between structures, term structures. Description: notation and meaning, substitution operations, first order formulas, database languages, program verification conditions, semantics valuation, normal forms, quantifier reduction, axiomatic theories. Proof: resolution, sequential calculi, natural deduction, automated theorem proving, semantic completeness. Limits of formalization: compactness, undecidability of truth, undecidability of canonical theories, non-formalizability of database theory.

  • Course History

      Spring 2017


      Instructor: Daniel Leivant
      Time: 2:30PM-3:45PM Mon, Wed
      Location: Ballantine Hall, Room 330

      Fall 2012


      Instructor: Daniel Leivant
      Time: 2:30PM-3:45PM Mon, Wed
      Location: Lindley Hall, Room 008