删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

上海交通大学电院博士课程内容介绍《程序语言理论》

上海交通大学 免费考研网/2012-12-27


《程序语言理论》

课程代码C033716学分/学时3.0/54开课时间
课程名称程序语言理论
开课学院电子信息与电气工程学院
任课教师邓玉欣
面向专业计算机科学 与技术
预修课程
课程讨论时数0 (小时)课程实验数0 (小时)
课程内容简介

本课程旨在向学生介绍程序语言的形式语义和类型系统,主要内容分三部分——lambda演算、论域理论、类型论。要求学生掌握基本的计算模型——lambda演算中初步的归约理论,掌握Scott domain的概念以及了解程序语言中的类型。

课程内容简介(英文)

Introduction:This course intends to provide students a knowledge about classical theory onprogramming language, such as lambda calculus, domain theory, and type theory. Taken this course, students can be familiar with the basic lambda calculus, the fundamental concept of Scott domain and its use in denotational semantics,and have some knowledge about type theory of programming language.

教学大纲

第一周:fixed point,complete partial order第二周:algebraic cpo, cartesian product第三周:function space, domain第四周:domain equation, power domain第五周:lambda terms, conversion第六周:beta reduction, Church-Rosser property第七周:fixed point combinator, lambda definability第八周:simply typed lambda calculus第九周:Martin-Lof type theory, calculus of construction

课程进度计划

(无)

课程考核要求

fixed pointcomplete partial orderalgebraic cpodomainlambda termsconversionbeta reductionfixed point combinator

参 考 文 献
相关话题/课程