In this course, students will learn how to formalize information and reason systematically to produce logical conclusions.
About the course
This course shows how to reason systematically with this information to produce all logical conclusions and only logical conclusions. And it examines logic technology and its applications in mathematics, science, engineering, business, law, and so forth.
The course differs from other introductory courses in Logic in two important ways. First of all, it teaches a novel theory of logic that improves accessibility while preserving rigor. Second, the material is laced with interactive demonstrations and exercises that suggest the many practical applications of the field.
September 29, 2014 - November 24, 2014
Course length 8 weeks of study
For further information, click here.