Midterm - 1:

Talk about midterms, they are supposed to be exciting... 

CSC 236 midterm 1  Three questions with equal potential of 33.3%

First Two questions ,were based on the concepts taught in class...

Third question turned out to be first instance, where I or the many of the students got tested for Structural Induction application.... But Based on the example done in class... 3rd question could be done with a few minutes of rough work and thinking time.

All in all Term Test 1 was at the standard  of 236 and completely do able. 

Assignment 1

As we progressed towards last part of induction, Assignment 1 came out.

236 assignments are supposed to be hard, but surprisingly this one was not hard.

First 2 questions could be done easily... as our professor had given examples of same type of questions in class.

Third question required 10-15 minutes of brainstorming... even though the hint was given in the question.

but, I did it the hard way, without actually using the hint. I call it hard, because it was difficult to come up with the proof from scratch without working in the direction where we would actually use the hint.

After Doing 3rd question, question 4 looked like piece of cake.

Just proof the implication and its negation simultaneously CSC 165 way.

All in all Assignment 1 turned out to be straight forward.

Induction

Induction - Three Types

Mathematical Induction:

This is most basic type of induction... like the first step after you're born, in the context of learning proof by induction.

Like many others, I too was familiar with this type of induction (Thanks to calculus*).

But, in 236 (@#$)   I discovered that Induction in calculus was pretty much straight forward.

The Real taste of Mathematical Induction comes from 236, because I learnt that induction can be applied to a variety of proofs other than just Inequalities and quadratic equations.

Complete Induction:

This is another flavor of Induction... 

After looking at principles of induction, I found the Rules Easy and straight forward,

but the fact that we can use it to prove properties of Tress and Recursively Defined sets and a lot more, makes it more awesome and cooler than Simple Induction. 

Once i started with proofs Involving Induction, I am obsessed with them.

Structural Induction:

This flavor of induction is an extension of mathematical induction,

where we prove a specific property P on he smallest element in the set and then on the rules from which other elements are formed in the set.

Its like proving a property on your Grandparents and then proving the fact the same property gets passed on to you.

At First, Confusing , but Fairly Simple Enough Once You Start using it in your proofs.