equal
deleted
inserted
replaced
402 </TR> |
402 </TR> |
403 |
403 |
404 <TR> |
404 <TR> |
405 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
405 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
406 <H3>2003-2004</H3> |
406 <H3>2003-2004</H3> |
407 <p><B>Michelmas</B> |
407 <p><B>Michealmas</B> |
408 <dl><dd>Logic and Proof (4h) |
408 <dl><dd>Logic and Proof (4h) |
409 <dd>Discrete Mathematics I (9h) |
409 <dd>Discrete Mathematics I (9h) |
410 <dd>Part II project on a Nominal Theorem Assistant (5.5h) |
410 <dd>Part II project on a Nominal Theorem Assistant (5.5h) |
411 <dd>Interviews of new students (13.5h) |
411 <dd>Interviews of new students (13.5h) |
412 </dl> |
412 </dl> |
437 </TR> |
437 </TR> |
438 |
438 |
439 <TR> |
439 <TR> |
440 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
440 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
441 <H3>2002-2003</H3> |
441 <H3>2002-2003</H3> |
442 <p><B>Michelmas</B> |
442 <p><B>Michealmas</B> |
443 <dl><dd>Logic and Proof (5h) |
443 <dl><dd>Logic and Proof (5h) |
444 <dd>Discrete Mathematics I (7h) |
444 <dd>Discrete Mathematics I (7h) |
445 <dd>Part II project on Nominal Unification (7h) |
445 <dd>Part II project on Nominal Unification (7h) |
446 <dd>Interviews of new students |
446 <dd>Interviews of new students |
447 </dl> |
447 </dl> |
459 </TR> |
459 </TR> |
460 |
460 |
461 <TR> |
461 <TR> |
462 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
462 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
463 <H3>2001-2002</H3> |
463 <H3>2001-2002</H3> |
464 <p><B>Michelmas</B> |
464 <p><B>Michealmas</B> |
465 <dl><dd> Logic, Computability and Set Theory (for Math students) |
465 <dl><dd> Logic, Computability and Set Theory (for Math students) |
466 <dd>Data Structures and Algorithms |
466 <dd>Data Structures and Algorithms |
467 <dd>Logic and Proof (4h) |
467 <dd>Logic and Proof (4h) |
468 <dd>Discrete Mathematics I |
468 <dd>Discrete Mathematics I |
469 <dd>Interviews of new students |
469 <dd>Interviews of new students |