跳转到内容

Plankalkül

维基百科,自由的百科全书

Plankalkül德语发音:[ˈplaːnkalkyːl])是康拉德·楚澤在1942至1945年间,出于工程目的而设计的一种编程语言。它是第一种为计算机设计的高级编程语言

Kalkül德语中意为形式系统。如希尔伯特演绎系统原本名为Hilbert-Kalkül那样,Plankalkül指用于规划(planning)的形式系统。