<body><script type="text/javascript"> function setAttributeOnload(object, attribute, val) { if(window.addEventListener) { window.addEventListener('load', function(){ object[attribute] = val; }, false); } else { window.attachEvent('onload', function(){ object[attribute] = val; }); } } </script> <div id="navbar-iframe-container"></div> <script type="text/javascript" src="https://apis.google.com/js/platform.js"></script> <script type="text/javascript"> gapi.load("gapi.iframes:gapi.iframes.style.bubble", function() { if (gapi.iframes && gapi.iframes.getContext) { gapi.iframes.getContext().openChild({ url: 'https://www.blogger.com/navbar/521146654896437969?origin\x3dhttps://csctwothirtysix.blogspot.com', where: document.getElementById("navbar-iframe-container"), id: "navbar-iframe" }); } }); </script>

Friday, December 5, 2008

Looking back at the first lectures

We started by looking at the different flavors of induction. Namely, simple and complete inductions. Complete induction proved very useful when encountering questions where we can't simply go from n to n+1. These combined with the Principle of Well-Ordering provide a very strong structure to prove formal statements.

posted by Behrad at 6:42 PM

0 Comments:

Post a Comment

<< Home