课程目录: 初级前端开发工程师培训

4401 人关注
(78637/99817)
课程大纲:

初级前端开发工程师培训

 

 

 

01 前端入门第一节:前端入门案例
第二节:前端开发工具
第三节:前端调试工具
第四节:前端微专业课程体系
第五节:课程案例
第二节:HTML简介
第三节:语法结构
第四节:元素
第六节:练习点评03 CSS第一章 Photoshop切图
第一节 工具、面板、视图
第二节 测量、取色
第三节 切图
第四节 保存
第五节 修改、维护
第六节 图片优化与合并
第八节 点评第二章 CSS
第一节 CSS简介
第二节 选择器
第三节 文本
第四节 盒模型
第五节 背景
第六节 布局
第七节 变形
第八节 动画
第九节 字体图标
第十节 开源库介绍
第十一节 练习
第十二节 点评04 JavaScript程序设计第一章 语言基础
第一节 JS介绍
第二节 基本语法
第三节 基本类型
第四节 运算符与表达式
第五节 语句第二章 数据类型
第一节 函数
第二节 数值
第三节 字符串
第四节 对象
第五节 全局对象
第六节 数组
第七节 Date
第八节 RegExp
第九节 JSON
第十节 Error
第十一节 TypedArray
第十二节 KeyedCollection
第十三节 StructuredData
第十四节 点评第三章 进阶篇
第一节 类型进阶
第二节 函数进阶
第三节 原型
第四节 作用域
第五节 面向对象和Class
第六节 Module
第七节 Iterator
第八节 Generator
第九节 Promise
第十节 Reflection
第十二节 点评附录A:JS调试
附录B:ECMAScript 2016 & 2017 & 2018 & next05 DOM编程艺术第一章 DOM 基础
第一节 文档树
第二节 节点操作
第三节 属性操作
第四节 BOM
第六节 点评第二章 DOM 事件
第一节 事件模型
第二节 事件操作
第三节 事件类型
第五节 点评第三章 DOM 元素
第一节 样式操作
第二节 脚本操作
第三节 表单操作
第三节 多媒体操作
第五节 绘图操作第四章 DOM 扩展
第一节 数据通信
第二节 数据存储
第三节 文件
第四节 剪切板
第五节 拖拽
第六节 富文本
第七节 动画
第九节 点评第五章 DOM 实践
第一节 开源框架
第二节 列表操作
第三节 组件实践

定量模型检验培训

 

 

 

Module 1: Computational Tree Logic

We introduce Labeled Transition Systems (LTS),

the syntax and semantics of Computational Tree Logic (CTL) and discuss the model checking algorithms

that are necessary to compute the satisfaction set for specific CTL formulas.

Discrete Time Markov Chains

We enhance transition systems by discrete time and add probabilities

to transitions to model probabilistic choices. We discuss important properties of DTMCs,

such as the memoryless property and time-homogeneity. State classification can be used to

determine the existence of the limiting and / or stationary distribution.

Probabilistic Computational Tree Logic

We discuss the syntax and semantics of Probabilistic Computational

Tree logic and check out the model checking algorithms that are necessary

to decide the validity of different kinds

of PCTL formulas. We shortly discuss the complexity of PCTL model checking.

Continuous Time Markov Chains

We enhance Discrete-Time Markov Chains with real time and discuss how

the resulting modelling formalism evolves over time. We compute the steady-state

for different kinds of CMTCs and discuss how the transient probabilities

can be efficiently computed using a method called uniformisation.

 

Continuous Stochastic Logic

We introduce the syntax and semantics of Continuous Stochastic

Logic and describe how the different kinds of CSL formulas can be model checked. Especially,

model checking the time bounded until operator requires applying the concept

of uniformisation, which we have discussed in the previous module.