Course Code:
CEID_ΝΕ5288
Type:
Period:
Winter Semester
Instructors:
Credit Points:
5
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.
Related Announcements
Oct 10 2020
Oct 10 2021
Feb 02 2023