課程目錄: 初級前端開發工程師培訓

        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.