artificial intelligence directory
Directory of Web Resources for the Artificial Intelligence Community

 
NEW:
Artificial Intelligence Directory Forum
Recent Messages
* Re: Is it hard to get a ...
* Artificial intelligence ...
* Re: Is it hard to get a ...
* Re: Where to do master d...
* Upcoming conferences in ...
Home > Knowledge Representation > Logics


Description Logics (5) First-Order Logic (0) Fuzzy Logic (1)
Horn Logic (0) Modal Logics (0)  


An Introduction to Logic 
Introduction to Logic by Stefan Waner and Steven R. Costenoble is a tutorial that covers topic such as statements and logical operators, logical equivalence, tautologies and contradictions, rules of inference, arguments and proofs, and predicate calculus.
 http://people.hofstra.edu/Stefan_Waner/RealWorld/logic/logicintro.html





©2006-2010 Philippe Fournier-Viger
Promote this website