Basic Methods: We introduce tools need for the construction of proofs. In this part, we consider operation for creating new mathematical statements from old ones....
www.criticalthinkingtutorials.com This is the introduction to a video tutorial series titled "Basic Concepts in Propositional Logic", which you can preview and purchase at the link...
Lecture Series on Artificial Intelligence by Prof.Sudeshna Sarkar and Prof.Anupam Basu, Department of Computer Science and Engineering,IIT, Kharagpur . For more details on NPTEL visit...