Logic Resources for Intro to Computer Science Students

In summary, the conversation is about a student looking for online resources for their introductory logic course. Some recommended resources include Physics Forums, Philosophy Pages, a primer for logic and proof, a mathematical logic text, a problem course in mathematical logic, and a book by Wilfrid Hodges.
  • #1
powp
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 textbook is not the best and lacks problems and the problems there are no solutions or answers.

Thanks

P
 
Physics news on Phys.org
  • #2
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:
  • #3
Thanks I will check out the links :smile:
 
  • #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:

1. What are logic resources?

Logic resources refer to any tools, materials, or information that can aid in the study or application of logic.

2. Why are logic resources important?

Logic resources are important because they provide the necessary foundation for understanding and applying logic in various fields such as mathematics, computer science, and philosophy.

3. What are some examples of logic resources?

Examples of logic resources include textbooks, online courses, software programs, logical calculators, and reference materials such as dictionaries and encyclopedias.

4. How can I access logic resources?

Logic resources can be accessed through various means such as libraries, online databases, educational institutions, and through purchasing or downloading materials from reputable sources.

5. Are logic resources limited to a specific field?

No, logic resources can be applied in various fields and disciplines, and can be useful for anyone interested in improving their critical thinking and problem-solving skills.

Similar threads

  • Set Theory, Logic, Probability, Statistics
Replies
12
Views
2K
  • STEM Academic Advising
Replies
2
Views
1K
  • STEM Academic Advising
Replies
2
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
2
Views
2K
  • Science and Math Textbooks
Replies
11
Views
1K
Replies
4
Views
766
Replies
14
Views
2K
  • Science and Math Textbooks
Replies
6
Views
1K
  • STEM Academic Advising
Replies
2
Views
1K
  • Science and Math Textbooks
Replies
7
Views
1K
Back
Top