Course
CRS-0802-02-005Advanced Logic
advancedactive
Advanced topics including model theory, proof theory, and set theory.
Advanced Logic
advancedactive
Also known as: Advanced Logic
| Course name | Advanced Logic |
|---|---|
| Course code | CRS-0802-02-005 |
| Canonical ID | urn:taxonomy:cip-aligned:course:0802-02-005 |
| Level | advanced |
| Status | active |
| Subject | Logic (SUB-0802-02) |
| Discipline | Philosophy (DIS-0802) |
| Category | Humanities and Languages (CAT-08) |
Advanced topics including model theory, proof theory, and set theory.
Credit hours
| Min | 3 |
|---|---|
| Max | 3 |
| Type | semester |
Contact hours
| Lecture | 3 |
|---|---|
| Lab | 0 |
| Studio | 0 |
| Clinical | 0 |
| Practicum | 0 |
Learning outcomes
- Apply model theory.
- Apply proof theory.
- Apply set theory.