西溪逻辑论坛第141期 “逻辑哲学与哲学逻辑”读书会第59次活动 主题：Introduction to Algorithms. Chapter 17 Amortized Analysis & Chapter 18 B-Trees 领读人： 罗玉林 李旭 时间：2020年8月2日（周日）14:00-16:00 地点：Room 259, Main Teaching Building, Xixi Campus, Zhejiang University “Philosophy of Logic and Philosophical Logic” Reading Group Season 7, Week 12, Series #59, … Continue reading →
西溪逻辑论坛第140期 Date: 7 August, 2020 (21:00-22:00) Platform: Zheda Ding Speaker: Dr. Bruno Bentzen (Carnegie Mellon University, USA) Title: Perspectives on the foundations of type theory Abstract: Type theory is a class of formal theories inspired by Russell’s conviction that every … Continue reading →
西溪逻辑论坛第139期 “逻辑哲学与哲学逻辑”读书会第58次活动 主题：Introduction to Algorithms. Chapter 15 Dynamic Programming & Chapter 16 Greedy Algorithms 领读人：赵婷婷 罗玉林 时间：2020年7月26日（周日）14:00-16:00 地点：Room 259, Main Teaching Building, Xixi Campus, Zhejiang University “Philosophy of Logic and Philosophical Logic” Reading Group Season 7, Week 11, Series #58, … Continue reading →
