Course
CRS-0802-02-002Methods in Logic
introductoryactive
Covers predicate logic, quantifiers, and formal semantics.
Methods in Logic
introductoryactive
Also known as: Logic Methods
| Course name | Methods in Logic |
|---|---|
| Course code | CRS-0802-02-002 |
| Canonical ID | urn:taxonomy:cip-aligned:course:0802-02-002 |
| Level | introductory |
| Status | active |
| Subject | Logic (SUB-0802-02) |
| Discipline | Philosophy (DIS-0802) |
| Category | Humanities and Languages (CAT-08) |
Covers predicate logic, quantifiers, and formal semantics.
Credit hours
| Min | 3 |
|---|---|
| Max | 3 |
| Type | semester |
Contact hours
| Lecture | 3 |
|---|---|
| Lab | 0 |
| Studio | 0 |
| Clinical | 0 |
| Practicum | 0 |
Learning outcomes
- Apply predicate logic.
- Use quantifiers.
- Apply formal semantics.