Invertebrate
发表于 2025-3-25 06:54:10
http://reply.papertrans.cn/16/1528/152776/152776_21.png
使更活跃
发表于 2025-3-25 10:41:58
http://reply.papertrans.cn/16/1528/152776/152776_22.png
羞辱
发表于 2025-3-25 13:35:33
https://doi.org/10.1007/978-3-030-04891-4Wir wollen nun Darstellungen reeller Zahlen betrachten, d. h. Teilmengen von .. Diese stehen in höheren Programmiersprachen als Standardtyp (z. B. .) zur Verfügung.
neuron
发表于 2025-3-25 17:06:51
http://reply.papertrans.cn/16/1528/152776/152776_24.png
Medicare
发表于 2025-3-25 22:33:03
http://reply.papertrans.cn/16/1528/152776/152776_25.png
用肘
发表于 2025-3-26 01:06:23
http://reply.papertrans.cn/16/1528/152776/152776_26.png
举止粗野的人
发表于 2025-3-26 07:30:58
Induktion und RekursionIn dieser Lektion stellen wir die nicht nur für die Mathematik sondern insbesondere auch für die Informatik wesentlichen Prinzipien der Rekursion und der Induktion vor. Sie stellen wichtige Methoden zur Problemlösung und Programmierung bzw. zur Punktionsdefinition und zur Verifikation (zum Korrektheitsbeweis) dar.
记忆
发表于 2025-3-26 10:55:46
Darstellungen natürlicher ZahlenWir wollen zunächst Darstellungen natürlicher Zahlen, d. h. Darstellungen der Elemente von . betrachten, insbesondere solche Darstellungen, die geeignet für die Rechnerarithmetik sind.
etiquette
发表于 2025-3-26 13:28:22
Ganze Zahlen. SubtraktionWir wollen nun Darstellungen ganzer Zahlen betrachten. Die Menge . bzw. ein endlicher Ausschnitt davon ist Wertebereich des in allen gängigen (getypten) Programmiersprachen vorhandenen Datentyps . (auch .).
善于骗人
发表于 2025-3-26 18:04:01
http://reply.papertrans.cn/16/1528/152776/152776_30.png