|
||||
PHL 4200 - Symbolic Logic IICredit Hour(s): 3 Standard notations, principles of inference, formal systems, and methods of proof. Focus on first-order predicate logic. Students who have taken PHL 3230 cannot take PHL 4200. Prerequisite(s): Undergraduate level PHL 3200 Minimum Grade of D Level: Undergraduate Schedule Type(s): Lecture
|
||||
All catalogs © 2024 Wright State University. Powered by the Acalog™ Academic Catalog Management System™ (ACMS™).
|