Post # 11. LAST PIECES OF WORK!!!

So, now we have only 2 last pieces of work to go. One problem set and one assignment. Semester is going to end very soon. Actually, the time passed so fast...

"Time is a great teacher, but unfortunately it kills all its pupils."    Louis Hector

Post # 11. Test

Test was really fair. The first two problems took little time to solve and write down solutions, since we have gone through some similar problems in class. The last problem, where we were asked to find loop invariant and prove termination of the loop, required more time to think over. Overall, I am satisfied with the mark I got.

Post # 10. Languages and Regular expressions.

When we first started learning about formal languages, I was asking myself whether this material is directly related to Computer Science. However, after doing some research (actually research is way too strong word for the thing I did) I found out that formal languages are of high importance. One of the most practical applications is defining syntactically correct programming languages.  There is also a branch of mathematics and computer science that studies different aspects of such languages, and is called Formal Language Theory. 

Post # 9 Assignment #2

Hello everyone! To begin with, let me aplogize for my absence.  I want to share my thoughts about assignment #2. Well, I have to say that question #1 had been bugging me for some time. Since I was kind of sure that I had to use induction, the problem that did not fit in any of induction types, gave me some headache. However, later it turned out that we had to provide only logical proof for the problem. Other problems in assignment were in some ways similar to stuff we did in class, so solving them was not a big deal. 

Post # 8 Test - 1

I think that Test #1 was fair. It did not include anything that had not been covered in lectures. However, I felt that I did not have enough time. Some questions required writing long proofs. I do not intend to say that they were too tough. I just did not have enough time to finish up writing the proofs.  

Post # 7 Problem Set # 2

Well, what can I say... Problem Set # 2 was fairly easy. Since solutions are posted on the course web-cite and my solutions are kind of similar, there is no point to publish them here.

Post # 6 - Well-ordering Principe & Well-ordering Theorem

You might consider this post kind of irrelevant, since it is not related to the course material directly. I accidentally happened to know that the Well-ordering Principle and Well-ordering theorem are different things, even though they are often taken to be synonymous. 

The Well-ordering Principle states that that every set of natural numbers has its smallest element, while the Well-ordering Theorem states that every set can be well-ordered.