Lectures: VI 401
| Monday | 15:00-16:30 |
| Friday | 12:30-14:00 |
|
Evaluation:
| Event |
Marks |
Lifeline |
Deadline |
| I Assignment |
10/85 |
29 Aug
23:59 |
08 Sep
23:59 |
submit |
| I Minor |
15/85 |
10 Sep
12:30 |
10 Sep
14:00 |
| II Assignment |
15/85 |
20 Oct
23:59 |
29 Oct
23:59 |
submit |
| II Minor |
15/85 |
10 Oct
18:00 |
10 Oct
19:00 |
| III Assignment |
15/85 |
07 Nov
23:59 |
21 Nov
23:59 |
submit |
|
---->
| Major |
15/85 |
26 Nov
15:00 |
26 Nov
17:00 |
| Audit Pass | grade |
|
Notes:
- Abhishek Thakur's propositional logic checker for
examples of Scanning and Parsing using ML-Lex and ML-YACC respectively.
- All assignments will have to be done in Standard ML. Exceptions
may be made only for newly joined M.S/Ph.D. students who may not have
an exposure to SML.
- Those who don't have an account on the INTEL cluster in the Dept. may use
the SML on ccsun50.
- For other important general notes, click here
|