Introduction to the theoretical underpinnings of computer science. Topics include propositional predicate logic, set theory, functions and relations, counting, mathematical induction and recursion (generating functions).
5
UnitsLetter
Grading1, 2
PasstimeNone
Level LimitEngineering
CollegeThis is my second class with him and Matni is great. His lectures are really helpful and likes to do in depth examples. He also has so many resources such as class notes, helpful sections, and actually great TAs/ULAs. The material is difficult, but he wants to help you. The homework can be long and difficult though. Really fair quizzes and final.
He is one of the great profs in this department. I honestly can say that he made me love CS again.
Matni was one of the best profs I've had here. He cares about the students and helping you understand the material and was very clear with his grading. He was always accessible outside of class and picked up the slack of having awful TA's. He wants you to do well if you're willing to put in the effort.
Very organized class structure, clear grading criteria, very informational and engaging lectures. Also dropped a quiz for us. Can't really say anything bad
Matni's lectures are engaging, and the homework is challenging but helpful. Unstuckstudy is a great study tool alongside the free textbook. Attend class, stay organized, and you'll do well.
Awesome prof. Definitely would recommend this course. Very engaging lectures that were very helpful for the quizzes/final. Only semi-difficult part were the short 15 minute quizzes, but if you prepare a small amount, you should be fine. He does drop lowest hw, quiz, and lab grade which is a plus. The final is pretty straightforward.