瓦莱里亚诺维茨卡;诺维茨基，B。 计算机编程的元数学基本概念。 （英语） Zbl 1108.68078号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 23, 193-212 (2004). 摘要：在我们的论文中，我们指出，每一个必须由计算机回答的合理问题都必须以其数学理论为基础。这个基础是证明算法回答问题所必需的。算法和数据可以通过语言指定和编程。这些语言和编程的元数学可以用数学逻辑、集合论、范畴论和泛代数的概念来表示。 MSC公司： 68问题65 抽象数据类型；代数规范 08A70号 泛代数在计算机科学中的应用 18A99型 范畴与函子的一般理论 PDF格式BibTeX公司 XML格式引用 \textit{V.Novitzká}和\textit{B.Novitzky}，安理大学。布达普。罗兰多·Eötvös，Sect。计算。23、193--212（2004；Zbl 1108.68078）