“formal programming language”的概念、定义、习题解题方法及翻译-数学辞典

单词	formal programming language
释义	formal programming language 形式程序设计语言，算法语言
随便看	gauge transformation of the first kind gauge transformation of the second kind gauge variety Gaullist cross Gauss approximation Gauss backward formula Gauss-Bolyai-Lobachevsky space Gauss-Bonnet formula Gauss-Bonnet theorem Gauss bracket Gauss, C.F. Gauss-Chebyshev formula Gauss circle problem Gauss class number conjecture Gauss class number problem Gauss-Codazzi equations Gauss constant Gauss continued fraction Gauss criterion Gauss cyclotomic formula Gauss decomposition Gauss definition Gauss differental equation Gauss digamma theorem Gauss domain

数学辞典收录了72750条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。