Jinsheng Chen: Sequent Calculi for Global Modal Consequence Relations
西溪逻辑论坛第147期
Continue reading →西溪逻辑论坛第147期
Continue reading →西溪逻辑论坛第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 →
西溪逻辑论坛第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 →