形式化方法与自动机 中科院研究生院课程

preview
共14个文件
pdf：14个
形式化方法
需积分: 15 26 下载量 193 浏览量 2012-02-16 09:19:57 上传 评论 收藏 6.9MB RAR 举报
资源详情
资源评论
评论 收藏
huxiangking
  • 粉丝: 2
  • 资源: 4
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

rar

形式化方法 中科院研究生院教程

中科院研究生院教程 ，形式化方法 ，ppt
star 5星 · 资源好评率100%
pdf

形式语言与自动机期末试题及答案

完整清晰的形式语言与自动机期末试题及其答案，准备期末考试的好工具
zip

研究生课程-形式化方法PPT+书.zip

天津大学研究生课程——形式化方法PPT和配套教材
pdf

中科院研究生院机器学习课程习题.pdf

中科院研究生院机器学习课程习题.pdf
zip

中科院研究生院现代信号处理的理论与方法课件

这是中科院研究生院刘艳主讲的现代信号处理的理论与方法课件，希望对需要的人有所帮助。 这是中科院研究生院刘艳主讲的现代信号处理的理论与方法课件，希望对需要的人有所帮助。
pdf

形式化方法

形式化方法：通过数学逻辑来表述一个软件开发，最终还可以通过验证来证明软件开发的可行性。
star 5星 · 资源好评率100%
ppt

形式语言与自动机

PDA与CFG的等价的，意味着对任意上下文无关文法(CFL)，都相应地存在一个PDA接受它。而这个等价性证明对于大部分学生而言都是形式语言中能与图灵机(Turing Machian)构造相提并论的绝对难点之一。
pdf

高级软件工程，形式化方法

高级软件工程，形式化方法
zip

形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2
star 3星 · 编辑精心推荐
rar

软件形式化方法视频课程9-12

软件形式化方法9-12，购买于某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。
rar

软件形式化方法视频课程5-8

软件形式化方法视频教程，非常好，付费购买某视频网站。软件形式化方法是指建立在严格数学基础上的软件开发方法。形式化方法模型的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计算机的系统。
pdf

一种基于时间自动机网络的实时系统形式化验证方法 (2008年)

介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基 于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具 UPPAAL对一个 经典的实时系统实例进行了验证。
rar

最优化方法ppt（中科院大学研究生课程）

国科大的最优化方法ppt，内容非常全，说明也很详细，无论是从事机器学习方向还是本事就是做优化的看，都会有收获
zip

中科大算法课件

经典查找、排序算法、数据结构课程PPT ，
ppt

软件工程的形式化方法

形式化方法
doc

中科大自动化系考研建议

中科大自动化系考研建议 2012年 建议专业课试题另行下载
star 5星 · 资源好评率100%
application/pdf

软件开发的形式化方法

软件开发的形式化方法 软件开发的形式化方法
star 5星 · 资源好评率100%
zip

Formal-Methods-Lab:资料库，其中包含在实验室讲座中为形式化方法课程（即“模块1”

正式方法实验室 资料库，其中包含在2020/2021学年的形式化方法课程（即“模块1：自动推理”和“模块2：模型检查”）的实验室讲座中解决的练习
rar

中科院研究生院课程:VLSI测试与可测试性设计

中科院研究生院课程 VLSI测试与可测试性设计， 李晓维中科院计算技术研究所，全部课件！！
rar

中科院研究生院信息检索课程ppt

中科院研究生院信息检索课程ppt，给想学习信息检索的朋友提供些资源
star 3星 · 编辑精心推荐
application/x-rar

形式语言与自动机理论电子教案

本电子教案介绍形式化语言和自动机理论，是计算机系老师 或者研究生较好的参考资料
zip

20余套微信小程序源代码（含前端和后端）

20余套微信小程序源代码（含前端和后端）微信小程序源码带后台+教程+不同行业的源码集合。如有侵权或安装问题请联系附带微信.
zip

python实现好看的GUI界面pyqt5

本资源基于网络的参考实现了好看的GUI界面，并带有样式截图，下载下来即可看见各种截图和py文件，可直接在python环境运行，基于pyqt5实现