Showing posts with label logic. Show all posts
Showing posts with label logic. Show all posts
Monday, August 4, 2008
Introduction To Computational Logic
From Saarland University: Introduction To Computational Logic.
Includes lecture notes and references to literature.
Labels:
logic,
programming
Friday, August 1, 2008
Introduction To Logic
Carnegie-Mellon Open Learning Initiative: Logic and Proofs course
Labels:
logic
Subscribe to:
Comments (Atom)