zhangxixi的博客

Symbolic reasoning PL PL : Propositional Logic Atom : truth symbols : ⊤\top⊤ True; ⊥\bot⊥ False propositional varaibles Literal : atom α\alphaα and ¬α\neg \alpha¬α Formula (logical connective) not : ¬\neg¬ and : conjunction \and or : disjunction \or implies : implication ⇒\Rightarrow⇒ if and o...

Honors Calculus - 2 Number Sets Field Order Field Interval Testing Method + Square Method A set is bounded if it has both upper and lower bounds. supremum : β=sup⁡E\beta = \sup Eβ=supE infimum : α=inf⁡E\alpha = \inf Eα=infE least-upper-bound property or Completeness axiom : for any nonempt...

Linear Algebra - 1 Oct 24th 14-16pm Mid-term Exam Vectors = Data Matrices = Transformations Chapter 1 : Linear Equations Section 1.1 : Systems of Linear Equations linear equation system of linear equation solution set Equivalent : Two linear system have the same solution set Solution: no ex...

Honors Calculus I - 1 Between calculus and math analysics Definition Assumption Result axiom, proposition, lemma, theorem(most important), corollary (direct consequences) Mathematical Proof Direct proof Induction : Regular & Strong Regular use the previous one step, while strong induc...

Honors General Physics I - 1 : Measurement & Motion and Vectors 周桐 Benjamin | Advanced Materials in Quantum Science A few theory predictions got experimentally verified email : tongz@hkust-gz.edu.cn Office Hour: Tu 14 - 16 | Office: Rm 602, E4 Mr. Tengfei Ying : tying937@connect Mr. Junjie jl...

Introduction to IC chip - 1 Xu Jiang: AI chip, Electronic-Photonic IC, EDA, MPSoC 3 components: Lecture Visit of lab Real chip factory IC Industry : Compound annual growth rate : 9% US is blocking China from developing IC CHIP4 Chinese Mainland is the Biggest IC Buyer EDA Various IC Memo...

EDA入门笔记 Introduction of EDA EDA：Electronic Design Automation 电子设计自动化 EDA是一系列软件的组合 芯片设计流程： 规格定义：计算什么问题 前端设计：功能是否正确 后端设计：如何制造出来 芯片制造流程： 晶圆制造：沙子提纯之类 光刻：画图纸 刻蚀 离子注入 薄膜沉积 封装测试 EDA重要性： 制造成本高（流片成本） 签核：流片之前没有问题 检测：及早发现问题 良率 广义EDA： 设计、制造、封装 制造设备软件 IP（提前设计的简单芯片，IO设备，USB，HDMI） 检测仪器与制造仪器 狭义EDA： 设计E...

NESE Info Session New Energy Science and Engineering Strategic fields: new energy storage hydrogen energy high-efficiency photovaltaics Deep Intergration of New Energy and AI New EnergyTechnology is the foundation of Embodied AI, Artificial Intelligence, Low-Altittude Economy Career Opportunit...

MICS Info Session 须江 ： Counsel of HKUST, 贝尔实验室, AI computing requirement increase roughly 4.6 times a year. US对China的制裁： 2022 《芯片和科学法案》 2023 美国禁止向中国出口H800 2024 美国禁止台积电帮中国造AI芯片 2025 美国禁止任何人使用华为昇腾芯片 Compound Annual Growth Rate (CAGR) : 9% before Chip is the foundation as information age. Without...

AMAT Info Session : Advanced Materials – The Foundation of Innovation 高平：Strong material Life = Chemistry + Information DNA + Proteins + Cell membranes Happy Life = Pleasure + Value Pleasure Immediate satisfaction Games, social media, entertainment Necessary Value Materials = Matter with Val...