Jinsheng Chen: Sequent Calculi for Global Modal Consequence Relations
西溪逻辑论坛第147期
Continue reading →Luoyu
PL&PL#63 S07 W16 [2020-09-06]
西溪逻辑论坛第145期 “逻辑哲学与哲学逻辑”读书会第63次活动 主题：Introduction to Algorithms. Chapter 24 Single-Source Shortest Paths & Chapter 25 All-Pairs Shortest Paths 领读人：罗玉林 时间：2020年9月6日（周日）14:00-16:00 地点：Room 611, College of Arts and Humanities, Zijingang Campus, Zhejiang University “Philosophy of Logic and Philosophical Logic” Reading Group Season 7, Week … Continue reading →
PL&PL#62 S07 W15 [2020-08-29]
西溪逻辑论坛第144期 “逻辑哲学与哲学逻辑”读书会第62次活动 主题：Introduction to Algorithms. Chapter 22 Elementary Graph Algorithms & Chapter 23 Minimum Spanning Trees 领读人：赵婷婷 时间：2020年8月29日（周六）14:00-16:00 地点：Room 611, College of Arts and Humanities, Zijingang Campus, Zhejiang University “Philosophy of Logic and Philosophical Logic” Reading Group Season 7, Week … Continue reading →