Special Topics in Computational Logic

Course Code: 
CEID_ΝΕ5288
Period: 
Winter Semester
Instructors: 
Credit Points: 
5

Course outline

Introduction to the basic concepts and techniques of Propositional Logic, emphasizing precise mathematical descriptions of concepts and applications thereof. Examination of the uses of theory to design algorithms for problems of logical equivalence, and to verify their correctness.

Coverage: Syntax and semantics of propositional formulas. Notions of implication and logical equivalence, correlative notions of formal proof. Main proof systems for Propositional Logic, properties of correctness and completeness.

Computational methods for formal proof discovery, applications to problems of logical implication and logical equivalence.

Startup Growth Lite is a free theme, contributed to the Drupal Community by More than Themes.