[-shadow-]

Hey guys,
So my Discrete Structures teacher touched on predicate logic
a little bit today but said hes not going to go into depth with
it. I want to learn the material though. I have covered the simpler
propositional logic. Can you help me at all, any good tutorials etc?
I would also like to maybe look into a little Prolog.

thanks,
~Wes

[mostyfriedman]

check out Discrete mathematics and its applications, pretty good book for beginners there's also introduction to logic. i am sure you'll find other good books.. as for prolog, there are the online tutorials as well as the art of prolog and a bunch of other books. btw there are a lot of implementations for prolog, I personally use SWI-Prolog.

[anonymous26]

Seconded! That was the first book I used on the first day of my first semester.

[-shadow-]

mostyfriedman, on 10 December 2010 - 08:17 PM, said:

check out Discrete mathematics and its applications, pretty good book for beginners there's also introduction to logic. i am sure you'll find other good books.. as for prolog, there are the online tutorials as well as the art of prolog and a bunch of other books. btw there are a lot of implementations for prolog, I personally use SWI-Prolog.

Thanks,
I have "Discrete mathematics for Computer Science" which was required for my CS140 course.
I just remembered about it and I'm sure it has a chapter on Predicate Logic