Computer Science
Symbolic Logic
91.330
Course ID: 8084
Propositional logic and first-order predicate logic. Natural deduction and other proof systems. Semantics. Applications to natural and artificial languages.
Credits: 3
One University Avenue . Lowell, MA 01854 . 978-934-4000 - Academic_Affairs@uml.edu