This course emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, inference rules and satisfiability, proof methods, sets ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results