首页其它
   首页数学
0


迈向一个新的子经典计算的解释

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