没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
专业指导
2014年程序设计形式语义学试题
2014年程序设计形式语义学试题
形式语义学
2星
需积分: 10
13 下载量
65 浏览量
2015-12-13
15:02:17
上传
评论
收藏
60KB
DOC
举报
温馨提示
立即下载
程序设计形式语义学，英文课，本文档是2014年程序设计形式语义学试题。
资源推荐
资源评论
程序设计语言的形式语义
浏览：199
本文档是我们上程序设计语言的形式语义这门课的课件。
南理工 S106B007 程序设计形式语义学课件
浏览：171
南理工 S106B007 程序设计形式语义学课件 南理工 S106B007 程序设计形式语义学课件
程序设计形式语义学-张琨
浏览：111
4星 · 用户满意度95%
形式语义学是对形式语言及其句子采用形式系统方法进行语义定义的学问。 为什么需要形式语义研究： 帮助理解语言； 支持语言标准化； 指导语言设计； 帮助编写编译器和语言系统； 支持程序验证和软件可靠性； 有助于软件规范化。
南京理工大学程序设计与形式语义学课件
浏览：77
3星 · 编辑精心推荐
南京理工大学程序设计与形式语义学课件，感兴趣的可以下载看看！
计算机语言的形式语义
浏览：71
5星 · 资源好评率100%
陆汝钤,计算机语言的形式语义.北京:科学出版社,
2011年程序设计形式语义学试题
浏览：69
程序设计形式语义学，英文课程，本文档是2011年程序设计形式语义学试题
08级研究生课程：形式语义学.rar
浏览：21
4星 · 用户满意度95%
研究生课程需要的快下吧，真的很有用，为提高你的抽象能力，下了才知道多有用！
程序设计形式语义学公理语义Floydppt课件.ppt
浏览：113
程序设计形式语义学公理语义Floydppt课件.ppt
蓝桥杯的比赛经验心得蓝桥杯简介比赛流程蓝桥杯比赛全程4小时，往年是上午9点到13点 试题形式题目分为结果填空题和程序设计大题
浏览：169
蓝桥杯简介比赛流程蓝桥杯比赛全程4小时，往年是上午9点到13点。 试题形式题目分为结果填空题和程序设计大题，共10题，大致各占50%，填空题只需要填最后答案，程序设计要求提交完整程序，比赛过程中提交不判断对错，比赛结束后才判题，所以以最后一次提交为准。 对于结果填空题，题目保证只有唯一解，选手的结果只有和解完全相同才得分。 对于编程大题，会使用多组评测数据来评判，每组评测数据有对应的分数，按
形式语义学笔记zhh版.pdf
浏览：197
个人根据课程材料+自己的思考总结出来的笔记版的形式语义学，如有需要可以直接跟着笔记学习形式语义学这门课，希望对大家有所帮助，谢谢！
形式语义学
浏览：11
形式语义学的教科书两本:形式语义学（formal semantics），是程序设计理论的组成部分，以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义，使语义形式化的学科。形式语义学是从20世纪70年代...
吉林大学08级研究生《形式语义学》课件（课堂部分）
浏览：180
吉林大学08级研究生《形式语义学》课件（课堂部分）
吉林大学研究生《形式语义学》课件
浏览：76
4星 · 用户满意度95%
吉林大学研究生《形式语义学》课件
《程序设计语言的形式语义》操作语义的证明规则
浏览：183
《程序设计语言的形式语义》第四章操作语义的证明规则的ppt讲解
形式语义学（英文版）
浏览：42
老师指定的形式语义学参考书，英文版的 书：Formal Syntax and Semantics of Programming Languages 作者：Kenneth Slonneger University of Iowa；Barry L. Kurtz Louisiana Tech University
吉林大学08级研究生《形式语义学》课件
浏览：135
4星 · 用户满意度95%
吉林大学08级研究生《形式语义学》课件
南京理工大学软件设计形式语义学
浏览：114
3星 · 编辑精心推荐
南京理工大学软件设计形式语义学课件，大家可以下载看看。
形式语义学PPT讲稿
浏览：99
4星 · 用户满意度95%
研究生课程的形式语义学PPT讲稿，现在上完课了，传上来大家一起分享下吧！
吉林大学形式语义学 笔记
浏览：130
上课用 iPad 手写的笔记，希望给不幸选到这门课的人亿点点帮助
07级吉林大学计算机研究生课程之《形式语义学》
浏览：133
5星 · 资源好评率100%
07级吉林大学计算机研究生课程之《形式语义学》
形式语义学课程资料PPT
浏览：15
本课程的内容是程序设计理论的组成部分，它以数学为工具，利用符号和公式，精确地定义和解释计算机程序设计语言的语义。通过本课程的学习，使学生在计算机语言的形式语义学方面打下扎实的基础，掌握形式语义学的基本...
python大作业 含爬虫、数据可视化、地图、报告、及源码（整和为一个文件）（2014-2020全国各地区原油加工量）.rar
浏览：94
5星 · 资源好评率100%
（含源码及报告）本程序分析了自2014年到2020年每年我国原油加工的产量，并且分析了2019年全国各地区原油加工量，含饼状图，柱状图，折线图，数据在地图上显示。运行本程序需要requests、bs4、csv、pandas、matplotlib、pyecharts库的支持，如果缺少某库请自行安装后再运行。文件含2个excel表，4个csv文件以及一个名字为render的html文件（需要用浏览器打
仿真电路以及操作方法
浏览：96
5星 · 资源好评率100%
用一片通用四运放芯片LM324组成电路，实现以下功能：用低频信号源产生ui1=0.1sin2πft（V），f=500Hz的正弦波信号，加至加法器的输入端，加法器的另输入端加入有自制振荡器产生的信号uo1。要求加法器的输出电压ui2=10 ui1+ uo1。ui2经选频滤波器滤除uo1频率分量，选出f信号为uo2，uo2为峰峰值等于9V的正弦信号。uo2信号经比较器后在1KΩ负载上得到峰峰值2V的输
【纯干货啊】华为IPD流程管理(完整版).pptx
浏览：147
4星 · 用户满意度95%
华为IPD产品研发流程完整版。非常的详细，很适合给新是的实习生做培训用！是我一直在用的流程管理，很适合学习与交流。
可编程语言标准IEC61131-3中文版.pdf
浏览：194
5星 · 资源好评率100%
可编程语言标准IEC61131-3中文版
OFDM完整仿真过程与教程.zip
浏览：113
5星 · 资源好评率100%
辛苦写了关于OFDM的详细仿真，从产生信息流到最终解调，包含星座图，误码率图。包括了相关技术的详细解释，（信道编码，扩频，导频，信道估计等）。注：本段程序不包括射频传输部分，即载波调制，基带调制为QPSK。具体的教程可以参考我的相关文章。
信号与系统——保研复习资料.pdf
浏览：199
本文档为本人保研复习过程中撰写的信号与系统复习文档，参考书籍为吴大正老师主编的信号与线性系统分析（第四版），全文共43页，包含以下内容： 一、信号与系统（绪论） 二、连续系统的时域分析 三、离散系统的时域分析 四、傅里叶变换和系统的频域分析 五、连续系统的s域分析 六、离散系统的z域分析 七、系统函数 八、少量经典面试题（保研）
Landsat_WRS2.zip
浏览：116
5星 · 资源好评率100%
本资源为WRS2全球条带号分幅情况SHP文件。WRS，即Worldwide Reference System，是Landsat系列卫星全球影像标记符号系统，用以区分全球各区域对应的Landsat系列卫星影像编号；其用“Path”与“Row”两个数值确定影像的编号与位置。其中，Landsat 1、2、3卫星对应编号系统为WRS-1，Landsat 4、5、7、8卫星对应编号系统为WRS-2。WRS-
最全的Visio形状/图形库
浏览：104
从不同地方搜集整理出来的Viso图标，全部文件都是Visio图形库的标准格式：VSS格式，内含有51个文件，分别对应类别。内容比较全面，包括常用图表、服务器图、各种符号图表、工作流程形状、绘制图表形状、网络和外设图、网络位置及物理逻辑图、最常使用的图表、办公室设备图及办公室附属设施图等等。
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
挟朵白云私奔
2016-11-10
用处不太大
zhouerba
粉丝: 4
资源:
16
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
Linux的一些配置文件
seg_16
Screenshot_20240426_141524.jpg
Screenshot_20240426_165620.jpg
数据科学与机器学习：混淆矩阵深度解析-精准评估分类模型性能的必备工具
重庆市下属38个区县geojson 用于ECharts大屏
互联网技术+深入剖析：搜索引擎的工作原理、优化技巧与提升使用体验之道.md
npcap-1.79.exe
辨析题 老区(2).pptx
AWSAWSAWSAWSAWS
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
