点击下载:南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)03_Math
正在加载图片...
Generalized Intersections of Sets ∩S 些{x VTES.xeT} ∩S(i) def ∩{S()|i∈} iel 50些∩50 i三m ie m,n 8/40 Generalized Intersections of Sets T S def = {x | ∀T ∈ S. x ∈ T} T i∈I S(i) def = T {S(i) | i ∈ I } Tn i=m S(i) def = T i∈[m,n] S(i) 8 / 40
<<向上翻页
向下翻页>>
点击下载:南京大学:《程序设计语言的形式语义》课程教学资源(课件讲稿)03_Math
©2008-现在 cucdc.com 高等教育资讯网 版权所有