Mathematical Logic

CT Score

1500

#0 of 0 in CAS MA

Difficulty

—/10

Workload

—h/wk

Median grade

—

from grade distribution

Would take again

—

n = 0 verified

Grade distribution

No distribution published for this course.

By professor: same course, different game

PROFESSORSCOREGRADEHRS/WKTERMS

Professor ratings →

Sections

No section data for this term yet.

In the tree

(CASMA293) or consent of instructor. - Graduate Prerequisites: (CASMA293) or consent of instructor. - The investigation of logical reasoning with mathematical methods. The syntax and semantics of sentential logic and quantificational logic. The unifying Godel Completeness Theorem, and models of theories. A look at the Godel Incompleteness Theorem and its ramifications. Effective Fall 2018, this course fulfills a single unit in the following BU Hub area: Philosophical Inquiry and Life's Meanings→CAS MA 531→unlocks 1 courses

1 mapped course lists CAS MA 531 as a prerequisite. See on the map →

Study groups

0 active

🔒 Verified-only writes. You post as “sophomore, lecture section”: real enough to trust, anonymous enough to be honest.