SEMINAR-THE FOUNDATIONS OF MATHEMATICS

MATH 975

Course Description

Selected topics in Mathematical Logic.

Prerequisties

Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program

Satisfies

This course does not satisfy any prerequisites.

Credits

1 to 3

Offered

Occasionally

Grade Point Average

2.27% from Historical

Completion Rate

100%

2.27% from Historical

A Rate

100%

2.27% from Historical

Class Size

40% from Historical

Instructors (2025 Fall)

Sorted by ratings from Rate My Professors

MARIYA SOSKOVA

[email protected]

2.3

Rating

Similar Courses

ELEMENTARY LOGIC

PHILOS 211

The formal characteristics of logical truth and inference.

MATHEMATICAL LOGIC

MATH/PHILOS 571

Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.

ADVANCED TOPICS IN FOUNDATIONS

MATH 873

Advanced topics from all areas of mathematical logic.

SEMINAR-LOGIC

PHILOS 911

Seminar on logic.

FOUNDATIONS OF MATHEMATICS

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.