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
Sunday, November 16, 2008
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.
Subscribe to:
Posts (Atom)
