2023-2024 Undergraduate Course Catalog 
    
    Mar 18, 2024  
2023-2024 Undergraduate Course Catalog

Logic Minor


Return to {$returnto_text} Return to: College of Arts and Sciences

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).

Return to {$returnto_text} Return to: College of Arts and Sciences