Prerequisite graph
Formal Methods & Artificial Intelligence
Unlocks
Available indexes
| Mon | Tue | Wed | Thu | Fri | ||
|---|---|---|---|---|---|---|
| 930 | 10420 SEM (TAIS1) 0930-1220 Mon 3 AUG Not conducted during Weeks | 10420 SEM (TAIS1) 0930-1220 Tue 4&11 AUG Wk1 | 10420 SEM (TAIS1) 0930-1220 Wed 5&12 AUG Wk1 | 10420 SEM (TAIS1) 0930-1220 Thu 6&13 AUG Wk1 | 10420 SEM (TAIS1) 0930-1220 Fri 14 AUG Wk1 | |
| 1000 | ||||||
| 1030 | ||||||
| 1100 | ||||||
| 1130 | ||||||
| 1200 | ||||||
| 1230 | ||||||
| 1300 | ||||||
| 1330 | 10420 TUT (TAIS1) 1330-1520 Mon 3 AUG Not conducted during Weeks | 10420 TUT (TAIS1) 1330-1620 Tue 11 AUG Wk1 | 10420 TUT (TAIS1) 1330-1520 Tue 4 AUG Not conducted during Weeks | 10420 TUT (TAIS1) 1330-1520 Wed 5 AUG Not conducted during Weeks | 10420 TUT (TAIS1) 1330-1620 Thu 6&13 AUG Wk1 | 10420 TUT (TAIS1) 1330-1620 Fri 14 AUG Wk1 |
| 1400 | ||||||
| 1430 | ||||||
| 1500 | ||||||
| 1530 | ||||||
| 1600 | ||||||
Other relevant mods
- SC1001Introduction to Computational Thinking & Programming
- SC1004Linear Algebra for Computing
- SC1005Digital Logic
- SC1006Computer Organisation & Architecture
- SC1007Data Structures & Algorithms
- SC1008C & C++ Programming
- SC1013Physics for Computing
- SC1123Math 1: Linear Algebra & Calculus for Computing
- SC1301Language & Logic
Planning guides
View all articlesBDE · 17 min read
Complete NTU BDE List: Every BDE Category and Module (AY2026/2027 Semester 2)
A complete NTU BDE list by category: languages, business, computing, humanities, arts, science, engineering, and more. Updated for AY2026/2027 Semester 2. Browse all 780+ BDE modules on NTUMods.
STARS · 9 min read
How to Bid for a BDE at NTU (STARS Registration Guide)
Step-by-step: how NTU STARS bidding works, what to do in Round 1 vs Round 2, and how to still get your BDE during add/drop if your first choice fills up.
STARS · 9 min read
NTU STARS Guide 2026: Registration Rounds, Bidding & Planner Tips
NTU STARS planner guide — how bidding rounds work, how to prepare a shortlist before registration opens, and what to do when a module fills up. Includes a free STARS planner tool.