 | Select the desired Level or Schedule Type to find available classes for the course. |
| MA 58500 - Mathematical Logic I |
|
Credit Hours: 3.00. 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. Typically offered Fall.
3.000 Credit hours Levels: Undergraduate, Graduate, Professional Schedule Types: Lecture Offered By: College of Science Department: Mathematics Course Attributes: Upper Division May be offered at any of the following campuses: West Lafayette Restrictions: May not be enrolled as the following Classifications: Freshman: 15 - 29 hours Sophomore: 45 - 59 hours Freshman: 0 - 14 hours Sophomore: 30 - 44 hours Prerequisites: GR-MA 58500 Requisites General Requirements: ( Student Attribute: GR May not be taken concurrently. ) or ( Course or Test: MA 38500 Minimum Grade of D- May not be taken concurrently. ) or ( Course or Test: MA 45300 Minimum Grade of D- May not be taken concurrently. ) or ( Course or Test: MA 45000 Minimum Grade of D- May not be taken concurrently. ) |
| Return to Previous | New Search |
 |