21-300: Basic Logic
| Units | 9 |
|---|---|
| Department | Mathematical Sciences |
| Prerequisites | 21-127 and (21-132 or 21-228 or 21-373 or 21-484) |
| Related URLs | http://www.math.cmu.edu |
Propositional and predicate logic: Syntax, proof theory and semantics up to completeness theorem, Lowenheim Skolem theorems, and applications of the compactness theorem. 3 hrs. lec.
Sections
No sections available for Spring 2009
| Section | Time | Day | Instructor(s) | Location | |
|---|---|---|---|---|---|
| A | 11:30 am – 12:20 pm | MWF | Andrews | BH A53 |
Textbooks
We don’t have textbooks yet. Check back closer to the beginning of Spring 2009.