列印
*請選擇視窗上方功能選單的「檔案」→設定列印格式 / 列印 / 預覽列印。
國立陽明大學
赴奧地利維也納參加 2014 Logic colloquium
基本資料
計畫主辦機關資訊
計畫主辦機關: |
國立陽明大學
|
出國期間: |
103/07/14 至 103/07/19 |
姓名 |
服務機關 |
服務單位 |
職稱 |
官職等 |
卞拓蒙 |
國立陽明大學 |
心智哲學研究所 |
副教授 |
其他 |
報告內容摘要
2014邏輯學術會議由國際首屈一指的符號邏輯學會作為2014維也納夏季邏輯會議的子會議舉辦,主題涵括邏輯、電腦資訊科學及人工智慧。本人受邀參加會議contributed talks的部分,內容關於非古典及非標準邏輯。其他contributed talks的主題包括各種標準及非標準邏輯,尤其直觀邏輯、多值邏輯,另亦有賽局理論、集合論及數學哲學的相關研究。感謝科技部及國立陽明大學對本人參加該會議於經費上的補助。期望將來仍能在無經費顧慮之虞的情形下參與類似會議,向眾多國際學者發表相關在台研究成果。
其他資料
前往地區: |
奧地利; |
參訪機關: |
2014 Logic colloquium |
出國類別: |
其他 |
關鍵詞: |
non-standard logic, 非標準邏輯 |
備註: |
|
分類瀏覽
主題分類: |
教育文化 |
施政分類: |
國外研究、考察及國際會議 |