网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
课件分类导航
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(282)
清华大学:《编译原理》课程教学资源(PPT课件)第四章 文法和语言
文档格式:PPT 文档大小:249.5KB 文档页数:105
文法和语言的形式定义 文法的类型 上下文无关文法及其语法树 上下文无关文法的句型分析 有关文法实用中的一些说明
中国科学技术大学:《编译原理与技术》课程教学资源(课件讲稿)第3章 语法分析
文档格式:PDF 文档大小:601.76KB 文档页数:181
– 上下文无关文法 – 自上而下分析和自下而上分析 – 围绕分析器的自动 围绕分析器的自动 成展开 生
中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第3章 简单类型化λ演算
文档格式:PPT 文档大小:0.98MB 文档页数:103
• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统(操作语义) • 讨论类型化演算的通用模型(指称语义)及可靠性和完备性定理 • 介绍PCF语言(递归函数留待下一章)及其公理语义和操作语义
中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第7章 多态性
文档格式:PPT 文档大小:699.5KB 文档页数:74
– 多态类型系统的语法,包括直谓式的,非直谓式的和type: type版本 – 直谓式多态λ演算,包括和其它两个系统之间的联系,它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类
中国科学技术大学:《编译原理与技术》课程教学资源(课件讲稿)第4章 类型检查
文档格式:PDF 文档大小:478.2KB 文档页数:111
–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查:控制流检查、唯一性检查、关联名字检查等
复旦大学:《数理逻辑》课程教学资源(讲义)第9章 哥德尔第一不完全性定理、第10章 哥德尔第二不完全性定理
文档格式:PDF 文档大小:532.34KB 文档页数:46
第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性,不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句
上海交通大学:《汉语与认知 Chinese Language and Han's Cognition》课程教学资源(PPT课件)从汉语看汉民族的认知特点——第二章 认知语言学的理论基础 2.2.6 心理学基础——转喻理论(metonymy)
文档格式:PPTX 文档大小:1.09MB 文档页数:41
1.修辞观转喻、认知观转喻、语法转喻 2.转喻的认知模型 3.显著度的基本规律 4.语境的调控机制
复旦大学:《汉语方言学》课程参考材料_自编讲义(汉语方言调查)
文档格式:DOC 文档大小:89.5KB 文档页数:16
第一节 调查的前期准备 一、基本知识 二、调查对象的选取 第二节 调查表的设计 一、《方言调查字表》 二、连读变调表的设计 三、词汇调查表的设计 四、语法调查表的设计 五、长篇语料的调查资料 六、其他调查表的设计 第三节 调查法和调查程序 一、调查法 二、调查的程序 三、要注意的问题 第四节 调查报告的写作
复旦大学:《汉语方言学》课程教学资源(参考材料)上海市区方言志(PDF电子版)
文档格式:PDF 文档大小:8.97MB 文档页数:586
本书是用现代语言学方法编写的上海市区的方言志。学者们多年大量的调、记录,使这部书可靠、翔实,举凡上海市区方言的语音、词汇、语法、语料,搜集均较完备。重点是词汇部分,列举上海市区方独特的词和熟语八余条,分类安排,查检方便。此书不但可给语言文字工作者提供丰富的研究资料,也是上海人和关心上海的人的有益的工具书,对地方文学、戏曲的创作者和爱好者来说,也很有参考价值
厦门大学:《大数据处理技术 Spark》课程讲义(PPT教学课件)第2章 Scala语言基础
文档格式:PPT 文档大小:6.51MB 文档页数:142
• 2.1 Scala语言概述 2.1.1 计算机的缘起 2.1.2 编程范式 2.1.3 Scala简介 • 2.2 Scala基础 2.2.1 基本语法 2.2.2 控制结构 2.2.3 数据结构 2.2.4 面向对象编程基础 2.2.5 函数式编程基础 • 2.3 面向对象编程基础 2.3.1 类 2.3.2 对象 2.3.3 继承 2.3.4 特质 2.3.5 模式匹配 • 2.4 函数式编程基础 2.4.1 函数定义和高阶函数 2.4.2 针对集合的操作 2.4.3 函数式编程实例WordCount
首页
上页
18
19
20
21
22
23
24
25
下页
末页
热门关键字
工业分析
有机化学
平面结构设计
工作分析
工程地震
工程采购
成型控制基本原理
循环
数制
计算机电路]
化工管路
工业控制计算机
工商管理
工程计量
工程地质
VB程序设计
定律]
定量分析
电子技术实验基础
电桥测量
电磁波]
大学生心理素质教育
大工
传输层
城规原理
巴音郭楞职业技术学院
沉淀反应
VFOR程序设计
差分方程
材料研究方法
案例]
博士日语
vfp数据库
GIF
MAX
S区元素
fortran编程]
《数值分析》]
《金属材料学》
《美术》]
搜索一下,找到相关课件或文库资源
282
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有