按 Enter 到主內容區
:::

公務出國報告資訊網

:::
banner
國立陽明大學

赴奧地利維也納參加 2014 Logic colloquium

基本資料

系統識別號: C10303556
相關專案:
計畫名稱: 邁向頂尖大學計畫-補助教師出席國際學術會議(卞拓蒙)#
報告名稱: 赴奧地利維也納參加 2014 Logic colloquium
電子全文檔: C10303556_2.odt C10303556_48137.doc
附件檔:
報告日期: 103/09/29
報告書頁數: 5

計畫主辦機關資訊

計畫主辦機關: 國立陽明大學
出國期間: 103/07/14 至 103/07/19
姓名 服務機關 服務單位 職稱 官職等
卞拓蒙 國立陽明大學 心智哲學研究所 副教授 其他

報告內容摘要

2014邏輯學術會議由國際首屈一指的符號邏輯學會作為2014維也納夏季邏輯會議的子會議舉辦,主題涵括邏輯、電腦資訊科學及人工智慧。本人受邀參加會議contributed talks的部分,內容關於非古典及非標準邏輯。其他contributed talks的主題包括各種標準及非標準邏輯,尤其直觀邏輯、多值邏輯,另亦有賽局理論、集合論及數學哲學的相關研究。感謝科技部及國立陽明大學對本人參加該會議於經費上的補助。期望將來仍能在無經費顧慮之虞的情形下參與類似會議,向眾多國際學者發表相關在台研究成果。

其他資料

前往地區: 奧地利;
參訪機關: 2014 Logic colloquium
出國類別: 其他
關鍵詞: non-standard logic, 非標準邏輯
備註:

分類瀏覽

主題分類: 教育文化
施政分類: 國外研究、考察及國際會議
回頁首