First, we learned some basic elements related to the logic such as some logic symbols including quantifiers.Also we learned conjunction, disjunction, implication, which are useful to combine statements.
After that, we started to learn the proof, which I think is the most important part. We learned a lot of techniques of proofs, such as using contrapositive and contradiction. We also learned to prove a lot type of problems, such as the proof for existence, the proof about a sequence and the proof for Big-oh.
The last part is about halting problems and computability. This part seems not related to the previous parts, and also a bit confusing for me. So I think I should review the content of this part more carefully for the final exam.
In conclusion, I think CSC165 is a really good course for me since it improves my critical and logical thinking.And my professor and TA are both really kind and always answer my questions clearly.
