程序设计语言原理2024-0
VIP免费
2025-01-13
2
0
1.42MB
49 页
5.9玖币
侵权投诉
第0章 导 论
本课程内容与要求
什么是程序设计语言(PL)
为什么研究PL
语言规范与处理器
1
程序设计语言原理
一门理论性较强的提高型课程，从更高的层次来理解各种语言机制，指导对
计算机语言的学习和程序设计
• 分析并理解各类高级程序设计语言范型与理论模型
• 掌握程序设计语言各主要成分设计中的关键问题、主要步骤、表示法的基本
技能
• 学会分析、选择、调合、折中、设计语言的特征
2
国内外同类课程分类
编程语言比较类
分析各种范型语言的特性，编程内涵，实用主义
科罗拉多大学
语言的形式化理论类
可计算理论，形式语义，谓词逻辑
MIT、JHU、CMU、剑桥、西电、南大、中科大
综合类
兼顾以上两种
北航、北大、Stanford
3
授课内容的调整思路
4
学生问题
问题本质
调整措施
形式语义不好理解，
不知道有什么用
看起来是完全独立的一套抽象思维，
脱离本科程序设计学习内容的范畴，
没有学过“计算机程序的构造和解释”
导论部分通过可计算性理论引出问题和需求，在
各范型中有意识铺垫相关概念。逐步建立数学视
角、程序代码视角、程序运行视角
课程内容太重
知识点多，学生没能串起来
组织知识点关联内容，通过样例在前后课程中多
次重复进行强化，让学生建立知识点的“图谱”
撒种子而不是大水漫灌
课程太难
学生基础差异大
增加课堂练习和即时分析，作业题目设置的考察
点和解题思路。
站在学生的思维“学习”知识点，调整内容及讲述
方式，照顾中间60%。
为什么还讲Pascal和
ADA语言
新的语言范型和机制是什么？
增加了10种近10年流行的学术语言和生产语言相
关100余个程序样例
学习投入与产出
如何考核学生？如何吸引学生产生兴
趣。
大作业：设计并实现一个有新机制的语言
大作业为主，开放式+问题式+练习式作业
将课后学习时间调整到50~100小时
5
教材：
程序设计语言原理 麦中凡 吕卫锋 北航出版社
参考书：
•《程序语言原理（第12版）》，Robert W.Sebesta，机械工业出版社。
•《程序设计语言：原理与实践（第二版）》，Kenneth C. Louden，电子工业出版
社。
•《程序设计语言：设计与实现（第四版）》，Terrence W. Pratt，Marvin V.
Zelkowitz，电子工业出版社。
•《程序设计语言：概念和结构（第二版）》，Ravi Sethi，机械工业出版社
程序设计语言原理
考核
作业：
平时作业：20%
大作业：
设计一个计算机语言，60%
一种语言的分析报告，20%（5K字/小论文体量，不能是C/C++，
Python，Java，Javascript）
7
0.1 什么是程序设计语言（PL）?
人机通信媒体(介)，软件的载体
人工语言 机器识别，方便人使用
形式语言 无二义性
必须可执行
它是计算机科学与计算机工程的交汇点
计算机科学是在符号学、集合论、离散数学、组合数学基础上发展的
以符号语言表达的软件还要满足正确性、可靠性、安全性、可扩充、可移植、
方便性 8
1900
1930
1940
1950
1960
1970
1980
1990
1910
1920 自动数学 POST
Alfred North Whitehead BertrandRussell 符号逻辑(1910)
不完全理论 , Goedel(1931)
Giuseppe Peano集合论(1895)
POST系统 递归函数论
Church,Rosser(1930s)
可计算理论
Turing(1936)
信息论Shannon
形式语法定义
Backus 和Naur
随机算法
形式语言理论
Chomsky
自动化理论
电子学
开关理论
复杂性理论
计算机密码学(1976)
Diffie,Hellman
公共密钥系统(1978)
Rivest,Shamir,Adelman
Knuth:词法分析方法
编译理论
编译的编译
EL/1:可扩展式语法
9
1930
1940
1950
1960
1970
1980
1990
POST 系统 递归函数理论
Church,Rosser(1930s)
可计算理论
Turing(1936)
λ演算 Church(1941)
程序正确性和验证(1960s)
引用透明,Strachey
形式语义定义
SECD机,闭包,Landin(1964)
PL/1的Vienna定义(1967)
指称语义学(1971)
Scott,Strachey)
Milner:类型理论(1978)
函数式语言:
ML Miranda Haskell
并发性
Dijkstra(1968)
Hoare:CPS(1978)
分布式计算
Lamport
协作计算1988 10
摘要：
展开>>
收起<<
第0章导论本课程内容与要求什么是程序设计语言(PL)为什么研究PL语言规范与处理器1程序设计语言原理一门理论性较强的提高型课程，从更高的层次来理解各种语言机制，指导对计算机语言的学习和程序设计•分析并理解各类高级程序设计语言范型与理论模型•掌握程序设计语言各主要成分设计中的关键问题、主要步骤、表示法的基本技能•学会分析、选择、调合、折中、设计语言的特征2国内外同类课程分类编程语言比较类分析各种范型语言的特性，编程内涵，实用主义科罗拉多大学语言的形式化理论类可计算理论，形式语义，谓词逻辑MIT、JHU、CMU、剑桥、西电、南大、中科大综合类兼顾以上两种北航、北大、Sta...
声明：本站为文档C2C交易模式，即用户上传的文档直接被用户下载，本站只是中间服务平台，本站所有文档下载所得的收益归上传人(含作者)所有。玖贝云文库仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私，请立即通知玖贝云文库，我们立即给予删除！
相关推荐
-
Michael Moorcock - Elric 6 - StormbringerVIP免费
2024-12-08 6 -
Michael Crichton - PreyVIP免费
2024-12-08 11 -
Mercedes Lackey - WintermoonVIP免费
2024-12-08 8 -
Mercedes Lackey - SE 1- Born To RunVIP免费
2024-12-08 9 -
Mercedes Lackey - Heralds of Valdemar 1 - Arrows Of The QueeVIP免费
2024-12-08 10 -
Melville, Herman - TypeeVIP免费
2024-12-08 15 -
MaryJanice Davidson - [Betsy 5] - Undead and Unpopular (v1.0)VIP免费
2024-12-08 25 -
Marion Zimmer Bradley - Darkover - The Heirs of HammerfellVIP免费
2024-12-08 21 -
MacDonnell, J E - 096 - Execute!VIP免费
2024-12-08 15 -
Lovecraft, H P - The Dream Quest Of Unknown KadadthVIP免费
2024-12-08 24
分类：计算机
价格：5.9玖币
属性：49 页
大小：1.42MB
格式：PDF
时间：2025-01-13
作者详情
-
VP-STO Via-point-based Stochastic Trajectory Optimization for Reactive Robot Behavior Julius Jankowski12 Lara Bruderm uller3 Nick Hawes3and Sylvain Calinon125.9 玖币0人下载
-
WA VEFIT AN ITERATIVE AND NON-AUTOREGRESSIVE NEURAL VOCODER BASED ON FIXED-POINT ITERATION Yuma Koizumi1 Kohei Yatabe2 Heiga Zen1 Michiel Bacchiani15.9 玖币0人下载
相关内容
-
2015年6月英语四级真题答案及解析（卷二）
分类：外语学习
时间：2025-05-02
标签：无
格式：PDF
价格：5.8 玖币
-
2015年6月英语四级真题答案及解析（卷三）
分类：外语学习
时间：2025-05-02
标签：无
格式：PDF
价格：5.8 玖币
-
2016年12月六级（第二套）真题
分类：外语学习
时间：2025-05-02
标签：无
格式：PDF
价格：5.8 玖币
-
2016年12月六级（第三套）真题
分类：外语学习
时间：2025-05-02
标签：无
格式：PDF
价格：5.8 玖币
-
2016年12月六级（第一套）真题
分类：外语学习
时间：2025-05-02
标签：无
格式：PDF
价格：5.8 玖币
渝公网安备50010702506394
