computer-science - 讲数学的计算机科学

Question

我正在撰写有关计算机科学主题的相当长的专着。但是，我通常发现自己必须用数学术语写一些计算机科学概念，这对我来说很困难。例如，说我想编写一个for循环或void函数。我大部分时间都去我的Knuth或Cormen或Sedgewick，但现在还不够。有没有我可以作为将计算机科学转化为数学的“手册”或某些文本？

编辑

让我更具体一些(谢谢，乌里)。我的意思是:例如，我有一个无效的函数，它返回长度为n的随机字符串。这引起了我的好奇心，我什至不知道如何在数学中表示虚函数……但是，这只是一个例子。

Answer 1

求和或乘积符号可能可以替换某些for循环。其他可能被表示为逻辑量词(“存在i使得a [i]具有某些属性”
或“a [i]拥有所有i的某些属性”)。 (抱歉，我不知道如何渲染这些
在Markdown中...希望您能明白。)

“虚函数” ... hmmm，也许是表示状态前提的一些方便的逻辑符号
和后置条件，因为此类功能仅对它们的副作用有用？

但是我认为大多数数学家都会对算法的描述非常熟悉，以理解任何合理的伪代码约定。只是尝试远离
在某些特定编程中需要“语言律师”技能水平的任何事物
语。