Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Logic resources

  1. Jan 26, 2006 #1
    Hello Everybody

    I just started taking a intro to logic for computer science and was wondering if anyone knows any good online resources. My text book is not the best and lacks problems and the problems there are no solutions or answers.

    Thanks

    P
     
  2. jcsd
  3. Jan 26, 2006 #2

    honestrosewater

    User Avatar
    Gold Member

    Check out the logic links section here at PF. I'll look over my bookmarks later today and add any more that I think would be helpful.
     
    Last edited: Jan 26, 2006
  4. Jan 27, 2006 #3
    Thanks I will check out the links :smile:
     
  5. Jan 28, 2006 #4

    honestrosewater

    User Avatar
    Gold Member

    Sorry I'm late.

    Philosophy Pages' logic section. There's some good introductory stuff here.
    http://www.philosophypages.com/lg/index.htm

    Text "A Primer for Logic and Proof". Looks fine, but I haven't read it. Includes problems but no answers.
    http://www.cs.clemson.edu/~fmgroup/Materials/logicprimer.pdf

    Mathematical logic text. I haven't read this one either.
    http://www.ltn.lv/~podnieks/mlog/ml.htm

    I didn't like this one much, but maybe someone else will.
    http://logic.philosophy.ox.ac.uk/main.htm
    http://logic.philosophy.ox.ac.uk/tutorial1/tut1-01.htm

    There must be something good here.
    http://www.lawrence.edu/fast/boardmaw/B_Logic_course.HTML

    Text "A Problem Course in Mathemtical Logic". Includes chapter on computability, so this might be of extra interest to you (I can't recall which, if any, of the others do).
    http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf

    Good luck. :smile: Come back if you have any questions.

    I highly recommend buying or checking your library for Logic by Wilfrid Hodges and reading it first. It's very funny, short, he gives detailed answers to every problem -- just a wonderful book. I love this guy. Check out his website too (in the links section). :biggrin:
     
    Last edited: Jan 28, 2006
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Logic resources
  1. Problem on Logic (Replies: 10)

Loading...