In this course, you will learn how to formalize information and reason systematically to produce logical conclusions. We will also examine logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
I dropped this class after 2 or 3 weeks despite having a 100% average on the assignments. The lectures were impossible to follow. I found myself reading a logic textbook to understand the material and do the homework. The book was far better than the video. After a few weeks, I decided I could use the textbook alone to learn logic and dropped the class.
The course is brilliant.
The video lectures are very succinct, compact (which I think is one of the biggest qualities of a course) and interesting and the short lecture exercises are perfect as to make sure you understand the concepts.
The name may not be perfect, as I am not sure that the course really is introductory. By this I mean that complicated issues are taken treated in this course although indeed the beginning is introductory enough and they are extremely well presented.
The tests are excellent, they indeed check perfectly how much you have or have not understood the concepts. The application for proofs is excellent and it's a great way to make sure the students really do understand and are also able to use the concepts as it doesn't allow you to finish the exercises with a wrong answer. (that being said, that doesn't guarantee that you actually do finish the exercises, which I think is perfect!)