迈向一个新的子经典计算的解释Towards a new Computational Interpretation of Sub Classical |
|
课程网址: | http://videolectures.net/godelfellowship2011_ilik_tnc/ |
主讲教师: | Danko Ilik |
开课单位: | 马其顿大学 |
开课时间: | 2011-05-20 |
课程语种: | 英语 |
中文简介: | 来自理论计算机科学;从编程语言理论中捕获计算效果的非常抽象的方式;起始兴趣:可能具有建设性的基本要素;直觉逻辑完整性的证明w.r.t. Kripke;模型,由于Olivier Danvy;但是,没有简单/合乎逻辑的解释;由Hugo Herbelin监督的博士论文主题; |
课程简介: | Coming from Theoretical Computer Science;Very abstract way to capturecomputational effectsfrom the;theory of programming languages;Starting interest: essential ingredient in a likely constructive;proof of completeness of intuitionistic logic w.r.t. Kripke;models, due to Olivier Danvy;But, no simple/logical explanation;Topic of PhD thesis supervised by Hugo Herbelin; |
关 键 词: | 编程语言; 经典逻辑; 计算; 马尔可夫原理 |
课程来源: | 视频讲座网 |
最后编审: | 2020-06-18:dingaq |
阅读次数: | 50 |