snowflakes

My studies....

From all the entries in my blog, it may seem like I am having a fantastic holiday here…...but in actual fact, I am a full-time student and just a part-time tourist.

The pictures I uploaded so far are all about the exciting events that happened here. In order to paint a truer picture of what is going on here…I’ve decided to blog about my studies.

Life as a student here is pretty routine…..lecturers, tutorials, exams, hanging out in the library, and etc. So far, it has been quite fun, going classes, attending tutorials, discussing homework, studying for exam….it reminded me of the good old days back in MMU.

For those of you who doesn’t already know, I am now studying Masters In Computational Logic, in Free University of Bolzano. It’s a fairly new university, but has a few established research groups, namely KRDB, DBS and etc.

If you are wondering what is Computational Logic, here’s a brief description from me, after one month plus of attending courses:

******************************************************
Here’s an interesting quote:

Computational Logic -> which is quite dreadful stuff if you’re from comp science” (John see, “Breaking News”)

Hahaha….totally agree with him, because some of the subjects are purely computer science based and are loaded with lots of proving and theorems.

Here’s a classic example about logic:

Premise 1: All men are mortal
Premise 2: Socrates is a man
—————————————————————————
Conclusion: Therefore, Socrates is mortal
—————————————————————————

We learn things like Predicate Logic, First Order Logic, Tableaux, Classical Logic and the like…..techniques and methods to model logic and apply them into computing.

******************************************************

The pictures below illustrates some of the classes I am currently attending, they are the curtesy of Simonas, my classmate.

In Data Mining class, learning genetic algorithm

Theory of Computing class, one of the “killer” subject in this semester. As you can see, the board is full of theorem provings.

In one of the computer labs.

So what do you think about my studies?