莱布尼茨德累斯顿聚合物研究所 (IPF) 是德国最大的聚合物研究机构之一,拥有约 470 名员工,拥有高素质和现代化的基础设施,用于聚合物和聚合物材料的合成、分析和模拟以及加工和测试。该方法是全面的,涵盖聚合物材料的合成和改性、其特性和理论研究,直至加工和测试。该研究所活动的一大特色是科学家和工程师的密切合作,并且拥有各种现代仪器和方法,包括允许在与行业相关的条件下开发材料和技术的试验工厂。
程序 莱布尼茨是人类 x + 0 = x 苏格拉底是人类 如果 x + y = z 则 x + s ( y ) = s ( z ) 苏格拉底是希腊人 3 是素数 每个人都会犯错 查询 有会犯错的希腊人吗? s ( s ( 0 )) + s ( 0 ) = z 是否存在 az 回答 是的,苏格拉底!是的 s ( s ( s ( 0 ))) ▶ 如何实现?充分限制逻辑演算,使其可用作计算程序。 ▶ 备注:这个想法引领了一个全新的编程范式:逻辑编程。 ▶ 口号:计算 = 逻辑 + 控制(Robert Kowalski 1973;[Kow97]) ▶ 我们将使用编程语言 Prolog 作为示例。
1 意大利帕尔马大学数学、物理和计算机科学系,2 意大利 IMEM-CNR,3 匈牙利科学院能源研究中心,匈牙利技术物理与材料科学研究所,4 意大利帕尔马大学化学、生命科学与环境可持续性系,5 美国科罗拉多矿业学院戈尔登分校共享仪器设施,6 德国柏林莱布尼茨研究所 Paul-Drude-Institut für Festkörperelektronik,7 德国柏林工业大学固体物理研究所,8 德国弗劳恩霍夫 IAF,弗劳恩霍夫应用固体物理研究所
力学(IACM)2012 - 2016 莱布尼茨超级计算中心咨询委员会成员 2012 - 2020 ECCOMAS 执行委员会成员(增选)2013 - 2016 德国计算力学协会 (GACM) 主席 2014 - 2017 TUM 生物工程学院创始董事会成员 2014 – 格拉茨工业大学(奥地利格拉茨工业大学)研究与技术委员会成员 2015 – 奥地利科学院海外通讯院士 2015 - 2017 国际流体数值方法杂志主编 2015 - 2020 ERC 高级资助小组成员(后任小组副主席)2016 – TUM 任命和终身教职委员会成员 2017 – 国际机械科学中心 (CISM) 校长意大利乌迪内 2017 年 – 巴伐利亚州科学与人文学院院士 2019 年 – 亥姆霍兹格斯塔赫特中心 (HZG,材料与海岸研究中心) 技术科学委员会成员 2020 年 – 亥姆霍兹中心 Hereon GmbH 技术科学委员会主席 2021 年 – 慕尼黑生物医学工程研究所 (MIBE) 成员,TUM 2021 年 – 慕尼黑机器人与机器智能研究所 (MIRMI) 成员,TUM 2021 年 – 慕尼黑数据科学研究所 (MDSI) 核心成员,TUM 2022 年 – 奥地利研究基金会指导讲师 2022 年 – 材料、能源与过程工程研究所 (MEP) 核心成员,TUM 2022 年 – 莱布尼茨超级计算中心 (LRZ) 顾问委员会成员 2023 年 – 巴伐利亚州科学与人文学院总统战略顾问委员会成员
1. 德国神经退行性疾病中心 (DZNE),德国哥廷根 2. 伯恩斯坦计算神经科学中心 (BCCN),德国柏林 3. 马克斯普朗克人类认知与脑科学研究所 (MPI CBS),德国莱比锡 4. 莱布尼茨神经生物学研究所 (LIN),德国马格德堡 5. 德国心理健康中心 (DZPG),哈勒-耶拿-马格德堡合作站点 6. 适应性和适应不良脑部干预与研究中心 心理潜在回路
InfectoGnostics 研究园区耶拿 - 莱布尼茨 IPHT 是 InfectoGnostics 研究园区的创始成员之一,该园区是图林根州的诊断和生物技术创新集群,它以公私合作伙伴关系启动联合转化项目,并陪伴它们直到应用。来自工业、研究和临床实践的 30 多个合作伙伴在研究园区开发和结合光子和分子生物学方法,以可靠地检测传染性病原体和抗生素耐药性,并更好地了解宿主反应(例如在败血症中)。在由技术、应用和生产组成的三角关系中,实验室和快速测试被创建用于人类和兽医学以及食品安全。
1. 算盘(公元前 2500 年 - 公元前):这是一种手持设备,由串在框架中的杆上的珠子制成。杆对应于数字的位置,珠子对应于数字。2. 纳皮尔骨算盘(公元前 2500 年):这是由约翰·纳皮尔(1550 - 1617)发明的。它由带有适当标记的小杆组成。它是一种机械计算辅助工具,由九根这样的杆(称为骨)组成,每根代表 1 到 9 的数字。他还发明了对数,通过执行加法和减法可以进行除法和乘法。 3. 计算尺(1600 年)——威廉·奥特雷德(1575 - 660):他于 1622 年发明了计算尺,但于 1632 年公布了这一发明。计算尺由表示数字对数的标记规则组成,还允许进行指数、三角函数等计算。4. 帕斯卡机械计算器(1600 年)或数字轮计算器:布莱斯·帕斯卡(1623 -1664 年)于 1642 年发明了第一台加法机,称为 Pascaline。黄铜矩形盒使用八个可移动的刻度盘,以 10 为基数对八个数字进行加法和求和。它可以以前闻所未闻的速度执行所有四种算术运算。 5. 莱布尼茨机械乘法器(1600 年):1694 年,戈特弗里德·威廉·冯·莱布尼茨 (1646 年 -1716 年) 改进了帕斯卡林乘法器,发明了一种可以使用刻度盘和齿轮系统进行乘法的机器。