实验室会议将在实验室举行 4.12,阿普尔顿大厦 . 讲座将在房间里进行 G.03或G.07A,信息学论坛 见下文。
darcs获得 http://personal.cis.strath.ac.uk/ ~conor/pub/dtp
13:00-14:00:实验室 14:00-14:20:茶歇 14:20-15:20:讲座 15:20-15:40:咖啡休息 15:40-16:40:演讲 16:40-17:00:茶歇 17:00-18:00:实验室 18:00-…:发布…
-
2011年1月31日: 第一步:列表、向量和Peano算术 位置: 如果G.03 练习: 1.1-1.8.
视频 -
2011年2月7日: 记录、单位、σ和有限集。 位置: 如果G.07A 练习: 1.9-1.14.
2011年2月14日地点: 如果G.03 2011年2月21日地点: 如果G.03 2011年2月28日地点: 如果G.07A