SYMBOLIC LOGIC - MAT 4906 / MHF 5306


1) Semester:   Fall 2016

2) Course Reference Number:   82096 / 81037

3) Course Credit Hours: 3

4) Meeting Times: MF 6:00- 7:20

5) Meeting Location: Seidler 126

6) Textbook: Symbolic Logic by Klenk


7) Course description:     Introduction to the methods of formal logical systems, specifically propositional logic, one-variable predicate logic, and relational logic.


8) Prerequisite(s): none

9) SLO: primarily "problem-solving abilities"


Explanation of homework and exam format here