Obituary 发表于 2025-3-25 06:17:10

Silvia Larghi,Edoardo Datteriel. Das Buch zeigt durch die ausführliche Motivation der Ergebnisse, durch viele Beispiele, durch das ständige Aufzeigen von Querbezügen zwischen Mathematik und Informatik und auch durch gelegentliche Ausblicke in die Welt der "richtigen" Mathematik, dass Mathematik nicht nur nützlich ist, sondern i

信徒 发表于 2025-3-25 10:04:53

Samuel A. Alexandernn für uns eine Menge, welche diese Axiome erfüllt. Etwas später werden wir feststellen, dass sich die reellen Zahlen gerade mit der Menge aller Dezimalbrüche identifizieren lassen. Die Axiome können wir dann auch in den folgenden Kapiteln verwenden um Sätze über die reellen Zahlen herzuleiten.

CHOP 发表于 2025-3-25 13:04:12

Alessandro Aldini,Pierluigi Graziani,Mirko Tagliaferriel. Das Buch zeigt durch die ausführliche Motivation der Ergebnisse, durch viele Beispiele, durch das ständige Aufzeigen von Querbezügen zwischen Mathematik und Informatik und auch durch gelegentliche Ausblicke in die Welt der "richtigen" Mathematik, dass Mathematik nicht nur nützlich ist, sondern i

Intractable 发表于 2025-3-25 16:48:47

http://reply.papertrans.cn/88/8709/870826/870826_24.png

可以任性 发表于 2025-3-25 23:23:56

http://reply.papertrans.cn/88/8709/870826/870826_25.png

步兵 发表于 2025-3-26 02:55:33

http://reply.papertrans.cn/88/8709/870826/870826_26.png

Preamble 发表于 2025-3-26 07:16:00

Muhammad Suffian,Ulrike Kuhl,Jose Maria Alonso-Moral,Alessandro Bogliolo

反省 发表于 2025-3-26 09:04:40

http://reply.papertrans.cn/88/8709/870826/870826_28.png

放弃 发表于 2025-3-26 13:22:06

http://reply.papertrans.cn/88/8709/870826/870826_29.png

小样他闲聊 发表于 2025-3-26 17:04:50

978-3-031-66020-7The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
页: 1 2 [3] 4 5
查看完整版本: Titlebook: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops; CIFMA 2023 and OpenC Alessandro Aldini Conference proceedings 2024