MATH712

Mathematical Logic I

Reviews for this course Testudo

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 2024

Michael Laskowski

13 reviews
Average rating: 4.46

Past Semesters

Michael Laskowski

13 reviews
Average rating: 4.46

Samuel Braunfeld

7 reviews
Average rating: 4.71

Michael Laskowski

13 reviews
Average rating: 4.46

Michael Laskowski

13 reviews
Average rating: 4.46

* "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.