Search courses · All instructors
LING 332: Formal Semantics
Introduces students to the formal tools of semantics, including set theory, logic, and lambda calculus.
Offered in 3 of the 26 listed terms (Spring 2024 to Spring 2027).
Catalog entryBrowse ClassesTextbooks (WWU Bookstore)
Prerequisites
Prerequisite tree
Each course's own prerequisites, down to the first courses in the chain.
From Banner's catalog for Spring 2027. Banner lists only the requisites it enforces, so check the catalog entry too.
Required by (0)
No course lists it as a prerequisite.
Syllabi and course websites
None listed yet.
Instructors
| Instructor | Sections | Terms |
|---|---|---|
| O'Leary, Maura | 2 | Spring 2025 to Spring 2027 |
| Dawson, Virginia | 1 | Spring 2024 |
Every offering in the listed terms (3 sections)
| Term | Sec | CRN | Type | Meets | Instructor | Enrolled | Delivery |
|---|---|---|---|---|---|---|---|
| Spring 2027 | 0 | 22517 | Lecture | MWF 11:30am-12:50pm · BH 104 | O'Leary, Maura | 0/20 | Face to Face Instruction |
| Spring 2025 | 0 | 23664 | Lecture | MWF 1:00pm-2:20pm · HU 107 | O'Leary, Maura | 6/20 | Face to Face Instruction |
| Spring 2024 | 0 | 23402 | Lecture | TR 10:00am-11:50am · MH 017 | Dawson, Virginia | 18/20 | Face to Face Instruction |