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.
2 classes found
Fall 2024
Component | Credits | Class | Status | Time | Day | Facility | Instructor |
---|---|---|---|---|---|---|---|
LEC | 3 | **** | Open | 11:30 a.m.–12:45 p.m. | MW | IF 4063 | Leivant D |
Regular Academic Session / In Person
LEC: Total Seats: 50 / Available: 18 / Waitlisted: 0
Lecture (LEC)
- B 401 : P - CSCI-C 212 and C 241
- Above class meets with CSCI A 595
Component | Credits | Class | Status | Time | Day | Facility | Instructor |
---|---|---|---|---|---|---|---|
DIS | 3 | 6220 | Open | 1:15 p.m.–2:30 p.m. | F | IF 0117 | Leivant D |
Regular Academic Session / In Person
DIS 6220: Total Seats: 50 / Available: 18 / Waitlisted: 0
Discussion (DIS)
- Above course meets with CSCI-A 595