All courses
CS F214
Logic in Computer Science
Core (CDC) 3 units Offered Sem 1 2026-2027
L–P–U
3-0-3
Department
Computer Science
Cadence
Both semesters
Overview
Discipline core: Computer Science
Sections this semester
| Section | Instructor | Meets | Status |
|---|---|---|---|
| L1 Lecture | TATHAGATA RAY | Mon 10 (17:00–17:55) · Tue 3 (10:00–10:55) · Thu 3 (10:00–10:55) | — |
| T1 Tutorial | Tathagata Ray | Tue 9 (16:00–16:55) | — |
| T2 Tutorial | Tathagata Ray | Thu 9 (16:00–16:55) | — |
| T3 Tutorial | Sameera Muhamed Salam | Tue 9 (16:00–16:55) | — |
| T4 Tutorial | Sameera Muhamed Salam | Thu 9 (16:00–16:55) | — |
Exams
| Type | Date | Time | Venue |
|---|---|---|---|
| Midsem | Sat, 10 Oct 2026 | 09:30 | — |
| Compre | Tue, 15 Dec 2026 | 09:30 | — |