|
|
|
Nov 23, 2024
|
|
2019-2020 Undergraduate Course Catalog [ARCHIVED CATALOG]
Logic Minor
|
|
Michael Rieppel
523 Hall of Languages
315-443-2519
Faculty
Steven Diaz, Janice Dowell, Kevan Edwards, Jaklin Kornfilt, Jeff Meyer, Susan B. Older, Michael Rieppel
|
Student Learning Outcomes
1. Explain core concepts and results in logic
2. Produce proofs in a formal proof system
3. Produce clearly written “informal” proofs, including proofs by induction
4. Explain how logic relates to topics studied in philosophy, linguistics, computer science, and mathematics
Requirements
The Logic Minor requires 18 credits, selected in consultation with the program advisor. At least 12 credits must be in courses numbered above 299. Students can select from among the following courses (though suitable courses in special topics may be substituted, subject to the program advisor’s approval). Introduction to Logic
The following course is required: Techniques of Logical Investigation
At least one of the following courses is required (note that credit cannot be given for both MAT 375 and CIS 375): Other Courses (choose two or three)
|
|
|
|