Logic resources

91
0
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
 

honestrosewater

wrapt in a willow
Gold Member
1,996
4
Check out the https://www.physicsforums.com/local_links.php?action=links&catid=45 [Broken] here at PF. I'll look over my bookmarks later today and add any more that I think would be helpful.
 
Last edited by a moderator:
91
0
Thanks I will check out the links :smile:
 

honestrosewater

wrapt in a willow
Gold Member
1,996
4
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 by a moderator:

The Physics Forums Way

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top