This is a series of talks on logic and games, given by Prof. Ramanujam from Institute of Mathematical Sciences, Chennai, India. 

Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
Lecturer: Prof. Ramanujam (Institute of Mathematical Sciences, Chennai, India)
Time: Every Monday and Wednesday afternoon (14:00-16:30), from May 13th to June 12th, 2019. 

Plan: 
1 introduction to games, terminology
2 iterated elimination of dominated strategies
3 nash equilibrium and nash’s theorem
4 reasoning about games and reasoning in games
5 review and discussion
6 propositional game logic
7 strategy logics
8 reasoning about player types
9 coalitional logics
10 review and discussion

Reading Materials: Note 1, Note 2, Note 3. 

(Supported by the Fundamental Research Funds for the Central Universities)

6月12日，历时五周的“逻辑与博弈”课程圆满结束。该课程由来自印度金奈数学科学研究所的R. Ramanujam教授主讲，吸引了逻辑学、计算机科学等专业的师生前来听讲。

本次课程的十次授课，既涵盖博弈论与博弈逻辑的基础知识，又接轨研究前沿，内容丰富，循序渐进。前半程以博弈理论为主，包括博弈树模型、纳什均衡、占优策略等博弈论中的重要概念和理论。博弈离不开主体的决策推理，自然地就将研究思维与推理的逻辑导向了研究的台前。因而课程后半程的重点便是博弈逻辑，讲解了以时间逻辑、行动逻辑、联盟逻辑为工具对博弈进行的刻画，并层层深入地探讨了对策略互换、不完美信息、群体博弈等的解决方案及可能的纳什均衡求解方案。

Ramanujam教授学识渊博，平易近人，善于通过大量有趣的博弈实例，将大家的关注点引向所要讲授的重点；在构造逻辑时循循善诱、深入浅出，启发同学们积极思考；又时常准备各种博弈论小游戏带入课堂，让每个人参与其中，切实感受博弈参与者决策的复杂性和随机性。在认真思考以何种策略让时自身利益最大化，大家已然进入了博弈策略分析的情境中，而在博弈各方的策略公开，博弈游戏的获胜者揭晓时，同学们更是切实体验到了博弈的奥妙所在。

在短暂而充实的两个月里，大家不仅了解了博弈论的相关知识和博弈逻辑的探索工作，体验了来自另一个文化的授课方式，也在潜移默化间提升了英语交流与表达能力，增加了对国际学术研究方向和方式的认知，着实可谓启发良多，受益匪浅，同学们还与Ramanujam教授建立了深厚的友谊，并希望将来能再次听到他的课程。