Search Results
LOG 430 Varieties of Logic
尝翱骋听430听听Varieties of Logic听听(3 credit hours)听听
Study of various non-classical logics such as modal logic, many-valued logic, paraconsistent logic, second-order logic, and intuitionistic logic. Emphasizes their applications in fields such as philosophy, linguistics, mathematics, computer science, and artificial intelligence. Students cannot receive credit for both 尝翱骋听430 and 尝翱骋听530.
Typically offered in Spring only
This course is offered alternate odd years