**About this course: **This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

Covers a broad content of Logic: Resolutional Logic, Propositional Logic, Herband Logic.

Good analogies and examples from daily life, explaining where logic can be applied.

You will be able to see the things more logically and (depending on you) improve your programming skills.

However some topics should be fixed, there are technical problems in some weeks of the course. The lack of videos and lectures might be an issue, the written sections are not very engaging. There should be more resources and interactive tools. The exercises are challenging and demands time.