Week 7# Challenge for this week.

This week’s lecture and course material was pretty challenging for me. This week I learned inference rules and sorting methods.

First, below is list of allowed inferences that I learned this week:

-       Conjunction elimination

-       Existential instantiation

-       Disjunction elimination

-       Implication elimination

-       Universal elimination

These concepts are fairly easy to understand. Honestly, if you do not understand these inferences it means you do not know how to prove and more importantly this course is about proving so we have to understand these. Unfortunately, sorting algorithm was quite challenging for me. It was pretty hard for me to first understand which sorting algorithm does what kind of function. Interestingly, we are learning sorting problems in CSC108 as well so I am hoping to understand better there. Sorting algorithm is a fundamental for computer science so I have to know very well on these. For this reason, remaining of this week I will try to fully understand insertion sort, selection sort, and bubble sort.