Computational Logic
Course contents
Introduction
Propositional Logic
Propositional Equivalences
Predicate logic
Inference Rules
Proofs - methods and strategies
Presentations are not available in English.
Ultima actualizare: February 2010