PHL 313K PHL 313K. Logic, Sets, and Functions. 3 Hours.
Sets, relations, functions, sentential and predicate logic, proof techniques, algorithms, and elementary metatheory. Mathematically oriented. Three lecture hours and one laboratory hour a week for one semester. Only one of the following may be counted: Computer Science 313H, 313K, Philosophy 313, 313K, 313Q.
There are several courses offered each year in philosophy that should be of interest to undergraduates who have strong interests outside philosophy. In addition to the introductory courses ( Philosophy 301 , 304 , 305 , and 310 ) and the basic sequence in the history of philosophy ( Philosophy 329K and 329L ), the courses listed below are of particular relevance to students who are interested in the indicated areas.
...PHIL 1301 PHL 301 PHIL 2303 PHL 312...316K ARTS 2326 ART 313K ARTS 2341 ART...