Course Description :

Propositional Logic, Predicates and Quantifiers, Logical Inference, Normal Forms, Sets, Relations, Graphs, Trees, Closure of Relations, Functions, Permutations and Combination, Recurrence Relations, Algebras, Finite State Automaton and Lattices.

Other Resources :

Syllabus | Citation |

Other Computer Science Courses

• C++ Programming By: other
• Computer System Engineering By: MIT OCW
• Artificial Intelligence By: IIT Kharagpur
• Machine Structures (Fall 2008) By: UC Berkeley
• Advanced Topics in Software Systems By: University of Washington
• Data Structures By: UC Berkeley
• Structure and Interpretation of Computer Programs By: MIT OCW
• Java Programming By: other
• Artificial Intelligence II By: IIT Kharagpur
• Computer Science I: Programming Methodology By: Stanford University

 

Comments

Post your Comments

Name :

Mail :

Website :

Comment :

 

Enter the charecters in image