📋 所有演示 📋 All Presentations 共 5 个 5 Total
🕸️
社交宣告逻辑 Social Announcement Logic
2025年Universal Logic大会上做报告使用的幻灯片 Slides used for the presentation at the Universal Logic Conference 2025.
进入幻灯片 → View Slides →👴
沈有鼎与模态逻辑 Shen Yuting and Modal Logic
2026年AWPL工作会议上做报告使用的幻灯片 Slides used for the presentation at the AWPL Workshop 2026.
进入幻灯片 → View Slides →🥦
社交宣告逻辑表列式演算 Tableau Calculus for SAL
2025年NCML会议上报告所使用幻灯片 Slides used for the presentation at the NCML Conference 2025.
进入幻灯片 → View Slides →🎋
表列式演算教学 Tableau Calculus Tutorial
入门表列式演算所用 Introductory tutorial material for Tableau Calculus.
进入幻灯片 → View Slides →🏁
卡诺图教学 Karnaugh Map Tutorial
卡诺图教学之用 Teaching material designed for Karnaugh Maps.
进入幻灯片 → View Slides →