Search Results
LOG 530 Varieties of Logic
尝翱骋听530听听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.
Prerequisite: Graduate standing
Typically offered in Spring only
This course is offered alternate odd years