PHL 313K
Logic, Sets, and Functions
Sets, relations, functions, sentential and predicate logic, proof techniques, algorithms, and elementary metatheory. Mathematically oriented. Only one of the following may be counted: Philosophy 313, 313K, 313Q. Three lecture hours and one laboratory hour a week for one semester.
Prerequisites & course information
Sets, relations, functions, sentential and predicate logic, proof techniques, algorithms, and elementary metatheory. Mathematically oriented. Only one of the following may be counted: Philosophy 313, 313K, 313Q. Three lecture hours and one laboratory hour a week for one semester.
Sources
- Course catalogue ↗2026-2027