New: filter modules by day and time, student links, custom courses →
AY2015/2016 Semester 2
Partially-ordered sets, well-orderings and order-types, induction and recursion on ordinals, ordinal arithmetic, cardinals, cardinal arithmetic. Axiom of choice and its equivalences. Axiom of determinacy. Propositional calculus. Truth tables, validity and contradictions. Predicate calculus with equality. Completeness and compactness theorems. Lowenheim-Skolem theorem.
| AUs | 4.0 AUs |
| Categories | CoreMinorsBDE |
| Exam |
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 930 | |||||
| 1000 | |||||
| 1030 | |||||
| 1100 | |||||
| 1130 | |||||
| 1200 | |||||
| 1230 | |||||
| 1300 | |||||
| 1330 | |||||
| 1400 | |||||
| 1430 | |||||
| 1500 | |||||
| 1530 | |||||
| 1600 | |||||
| 1630 | |||||
| 1700 | |||||
| 1730 | |||||
| 1800 |
| Mon | Tue | Wed | Thu | Fri | |
|---|---|---|---|---|---|
| 830 | COMMON LEC (LE) 0830-1030 Tue SPMS-TR+5 | ||||
| 900 | |||||
| 930 | |||||
| 1000 | |||||
| 1030 | |||||
| 1100 | |||||
| 1130 | |||||
| 1200 | |||||
| 1230 | |||||
| 1300 | |||||
| 1330 | COMMON LEC (LE) 1330-1430 Thu SPMS-TR+5 | ||||
| 1400 | |||||
| 1430 | 72255 TUT (T) 1430-1530 Thu SPMS-TR+5 Wk2-13 | ||||
| 1500 |
