中正大学 哲学系

:::

哲学系学术演讲-浜野正浩博士

  • 2016-11-29
  • Admin Admin
{{Alt_title}}

各位老师、同学:
浜野正浩博士学术演讲讯息公告如下--

讲者:浜野正浩 博士(中央研究院资科所客座研究员

讲题:Introduction to Logic of Elementary Toposes

时间:2016/12/9 (Friday) 15:10

地点:文412研讨室

大纲:

This is a brief introductory and pedagogical talk about how category theory
interprets a (high-order) logic as well as Kripke construction. The
reference is Lambek & Scott "Introduction to higher order categorical
logic".


敬祝 研安
哲学系办公室 敬上