CSCI-B 401 FUNDAMENTALS OF COMPUTING THEORY (3 CR.)
Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification.
3 classes found
Spring 2025
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| LEC | 3 | **** | Open | 2:20 p.m.–3:35 p.m. | MW | I E150 | Wennstrom E |
Regular Academic Session / In Person
LEC: Total Seats: 60 / Available: 26 / Waitlisted: 0
Lecture (LEC)
- B 401 : P - CSCI-C 212 and C 241
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| DIS | 3 | 5805 | Open | 12:45 p.m.–2:00 p.m. | R | OP 105 | Wennstrom E |
Regular Academic Session / In Person
DIS 5805: Total Seats: 30 / Available: 9 / Waitlisted: 0
Discussion (DIS)
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| DIS | 3 | 10052 | Open | 11:10 a.m.–12:25 p.m. | F | IF 1104 | Wennstrom E |
Regular Academic Session / In Person
DIS 10052: Total Seats: 30 / Available: 17 / Waitlisted: 0
Discussion (DIS)