我正在撰写一篇关于计算机科学主题的相当长的专著。然而,我通常发现自己需要用数学术语来表达某些计算机科学概念,这对我来说很困难。例如,假设我想编写一个for循环或void函数。大多数时候,我会去查看我的Knuth、Cormen或Sedgewick,但现在它们已经不够了。是否有一个“手册”或一些文本可以作为将计算机科学翻译成数学的示例?
编辑
让我更具体一些(谢谢,Uri)。我的意思是:例如,我有一个返回长度为n的随机字符串的void函数。这引起了我的好奇心,我甚至不知道如何在数学中表示void函数...但这只是一个例子。
编辑
让我更具体一些(谢谢,Uri)。我的意思是:例如,我有一个返回长度为n的随机字符串的void函数。这引起了我的好奇心,我甚至不知道如何在数学中表示void函数...但这只是一个例子。