Showing posts with label Logic. Show all posts
Showing posts with label Logic. Show all posts

Tuesday, June 22, 2010

Logic: a review

I recently picked up a copy of Introducing Logic: A Graphic Guide from Icon Books and decided to give it a spin given my love for the subject and its length when compared to the other book that I am reading (SICP).

I thought that this book provided a very entertaining outlook on the history of logic, with a very light description of how some of the major facets of the field work. One glaring omission that I found was the lack of George Boole and Claude Shannon. Given how this book seemed to try to present some useful applications of modern logic, one would assume that two of the greatest contributors to the development of computers as logical machines would have at least deserved a mention. This is especially warrented given that some of the concepts were not explained to their clearest, and that there were a few pages I felt did not deserve inclusion.

Otherwise I understand that such a text cannot get too mathy, but I was still disappointed that there were not enough examples. This text seems like it would be a good introduction for the history of logic were they versed in a small amount of Boolean Algebra and/or Set Theory, but otherwise I would not recommend it to anyone green.

Thursday, June 17, 2010

What I'm Reading: an interjection by Logic

I decided to give this a read through, and with school work I am a little behind on SICP. I should have a review of Introducing Logic sometime tomorrow, hopefully. Suffice to say, so far it's good but not great.