2014년 12월 6일 토요일

Week 4 SLOG

The highlight of this week's lecture was being introduced to writing proofs. The first example,
    was confusing at first because I had trouble finding the chain.. One good thing to keep in mind is that a you can connect a chain in both forward and backward directions.  

The tutorial for this week was mainly based on proving equivalence and negating statements. This is probably a familiar concept for a lot of my classmates as myself because we have been using manipulation rules since the beginning of the course. 

댓글 없음:

댓글 쓰기