Tuesday, February 15, 2011

Missing my proving days

Proof this: Last day of your life is the best day of your life.

let Pn be the statement that "Pn > Pn-1, such that it is the nth day of your life, where n = 0, ... last day of your life"

intuitively,
P1: This is the day you were borned
Pk: This is the kth day of your life

When n = 0, P1 > P0 is true, since obviously, if you are not borned, you have no life, so first day of your life is better than before you were borned.

Assume n = k is true, i.e. Pk > Pk-1
when n = k+1, RHS = Pk
LHS = Pk+1
= Pk 's tomorrow

As the saying goes, "Tomorrow will be a better day!"

Therefore Pk+1 is a better day than Pk, i.e. Pk+1 > Pk (Proven)

So, by M.I. the last day of your life is the best day of your life.

Is this proof sound and complete? Though I forgot what sound and complete means..

Monday, February 14, 2011

Typical grade D work

If I wrote like this for my instruction manual in CS2301, sure fail:


Getting to the Race Venue via Mass Rapid Transit (MRT)

Here are the various options available by MRT:

. Alight at Ang Mo Kio station (NS16) and take bus service 138 from the bus interchange.

. Alight at Choa Chu Kang station (NS4-BP1) and take bus service 927 from the bus interchange.

. From Changi Airport station (EW29), board the train and alight at Tanah Merah station (EW4) to switch to the west-bound train to City Hall station (EW13-NS25), switch again to the north-bound train to Ang Mo Kio station (NS16) and take bus service 138 from the bus interchange.

. From Changi Airport station (EW29), board the train and alight at Tanah Merah station (EW4) to switch to the west-bound train to Jurong East station (EW24-NS1), switch again to the north-bound train to Choa Chu Kang station (NS4-BP1) and take bus service 927 from the bus interchange.



Getting to the Race Venue via Private Transport

From the city, use the Pan Island Expressway (PIE) towards Jurong.

Filter our at Exit 7 of Bukit Timah Expressway (BKE).

Follow the prominent brown signs to the Singapore Zoological Garden.

On a regular day, the journey will take approximately 30 minutes.




So, if you want to take mrt to the zoo, you have to board the train from changi airport; if you are driving, you have to start your journey from the city.

English rocks!!