Main Content
Chinese Wikipedia references for Chalmers.se 1-13 of 13
| 太阳系 太陽系是以太陽為中心,和所有受到太陽的重力約束天體的集合體:8顆行星、至少165顆已知的衛星、5顆已經辨认出來的矮行星(冥王星和他的衛星)和數以億計的太陽系小天體。這些小天體包括小行星、柯伊伯带的天體、彗星和星際塵埃。 太阳系
| | 蛋棋 蛋棋
| | 数学竞赛 数学竞赛
| | 函數程式語言 函數式編程是種編程典範,它將電腦運算視為函數的計算。函數程式語言最重要的基礎是 λ 演算(lambda calculus)。而且λ演算的函數可以接受函數當作輸入(引數)和輸出(傳出值)。和指令式編程相比,函數式編程強調函數的計算比指令的執行重要。和過程化編程相比,函數式編程裏,函數的計算可隨時調用。 函數程式語言
| | 直觉类型论 直觉类型论
| | 星際分子列表 星際介質中被檢測出的分子名單。每一個被檢測出的化學式均與列出,電離的形式如被檢測到也會一併列出。 星際分子列表
| | Live3 User:Live3
| | Gelato Gelato是一個由nVidia推出的电影渲染器软件。透過nVidia的Quadro顯示核心,和电影着色语言,就能实现电影级渲染效果。最新版本是2.1 Beta 5,並分為免费版本和付费版本。即使是學生,亦可利用Gelato和Quadro顯示卡,创造出高級的电影效果。 Gelato
| | 两级文法 两级文法是下列两种形式结构之一: 两级形式语言的形式文法,这种语言是按两个级别来指定的形式语言,比如,字和句两个级别。 用来生成其他形式文法的形式文法。定义次级文法的规则的上下文无关文法可以生成导出文法的规则的一个有效的无限集合。可以生成另一个上下文无关文法的两级文法比单一层上下文无关文法更加强力,因为有生成力的两级文法已经实际上被证实是图灵完全的。 两级文法
| | 布尔可满足性问题 布尔可满足性问题
| | 查爾摩斯工學院 查爾摩斯工學院(瑞典語:Chalmers tekniska högskola,CTH),是瑞典哥德堡的一所大學,專注於科技、自然科學和建築的研究和教育。泰晤士專上教育增刊於2005年的排名中,該校被列為瑞典最優秀的大學,和歐洲最優秀的研究所之一。該校擁有強大的環境科學、納米科技、資訊科技、生物工程、工業設計、管理和建築學系。 查爾摩斯工學院
| | 波佛斯37公厘戰防炮 波佛斯37公厘戰防炮(Bofors 37 mm)為瑞典波佛斯公司開發的反戰車砲。 波佛斯37公厘戰防炮
| | 北歐數學競賽 北歐數學競賽(Nordic Mathematical Contest,簡稱NMC),是北歐五國的聯合數學競賽。在1986年國際數學奧林匹克,五個北歐隊的領隊,同意他們的學生需要比自己國家數學競賽難度更高的操練,於是從1987年起舉辦這項競賽。每年由各國輪流主辦。 北歐數學競賽
|
|