MA 58500: Mathematical Logic I

3 Credits

Fall 2024Lecture
Fall 2024 Instructors(1)
Margaret Thomas
3.76
RedditReddit
Purdue CatalogCatalog

Propositional and predicate calculus; the Gdel completeness and compactness theorem, primitive recursive and recursive functions; the Gdel incompleteness theorem; Tarski's theorem; Church's theorem; recursive undecidability; special topics such as nonstandard analysis.

Course MA 585 from Purdue University - West Lafayette.

Course Overview

Course GPA

GPA: 3.76
Grade Distribution% of Students
A
B
A: 76%
B: 24%

Data Averaged From:

Instructors1 instructor
Semesters1 semester

Instructor Metrics

Select an instructor to view metrics

Add instructors using the search bar above or the list on this page

No data!

GPA Trends

No instructors selected

Select instructors to compare their GPAs.

Spring 2025 Schedule:

BoilerClassesis an unofficial catalog for Purdue courses made by Purdue students, based in West Lafayette, Indiana. We'd love to hear your feedback!