Welcome to NUS Module Blogs Sign in | Join | Help

The UIT2201 (Spring 2008) Blog

An informal blog on the course UIT2201 (Spring 2008).

Browse by Tags

All Tags » Logic   (RSS)
Discuss: Tutorial 7
Tutorial 7: 13-Mar-2008; (quick, personal summary) In Tutorial 7, we discussed how to build logic circuits -- either from a truth table or from a logic formula. We also learn about simplifying logic formula (using the various logic laws) and how that Read More...
Discuss: Lecture 8
Lecture 8: 11-Mar-2008 (quick, personal summary) In lecture 8, we continued with logic circuits and talked about the abstraction that turned boolean logic into basic logic gates. We also talked about logic laws that can be used to simplify logic formulae Read More...
On Teaching Turing Machines and Logic
Today, while killing time waiting for car servicing at Tan Chong, I logged in (they have wireless access at Tan Chong) and, out of the blue, I thought about how to teach Turing Machines better. I remembered the software Kara by JN (Prof. Jurg Nievergelt Read More...