This course introduces the students to the fundamentals of logic formulation together with their implementation in the C programming language. This course should serve as a foundation for students in the Computer Science program.
