MATH712
Mathematical Logic I
Sentential logic, first-order languages, models and formal deductions. Basic model theory including completeness and compactness theorems, other methods of constructing models, and applications such as non-standard analysis.
Fall 2025
2 reviews
Average rating: 5.00
Past Semesters
2 reviews
Average rating: 5.00
2 reviews
Average rating: 5.00
2 reviews
Average rating: 5.00
2 reviews
Average rating: 5.00
0 reviews
Average rating: N/A
During the Spring 2020 and Spring 2021 semesters, students could choose to take some of their courses pass-fail mid-semester which skews grade data aggregated across multiple semesters.
Average GPA of 3.18 between 86 students*
* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.