桉树
发表于 2025-3-25 05:09:45
https://doi.org/10.1007/978-3-642-51822-5ff für alle Verfahrensweisen folgender Art: Es werden reale (technische) Vorgänge, die sich mathematisch modellieren lassen, dadurch quantitativ erfaßt, analysiert oder optimiert, daß ein mathematisches Modell mittels numerischer Methoden rechnerisch ausgewertet wird.
altruism
发表于 2025-3-25 10:06:02
https://doi.org/10.1007/978-3-662-29633-2structure of FP is explained. Backus’ original language is related to a call-by-name variant having a simpler algebra of programs. Special stress is laid on the notion of infinite objects and on the evaluation of least fixpoints of recursive definitions.
佛刊
发表于 2025-3-25 15:40:22
http://reply.papertrans.cn/39/3801/380075/380075_23.png
LIKEN
发表于 2025-3-25 19:49:05
An Algebraic Semantics for Backus’ Functional Programming Language with Infinite Objectsstructure of FP is explained. Backus’ original language is related to a call-by-name variant having a simpler algebra of programs. Special stress is laid on the notion of infinite objects and on the evaluation of least fixpoints of recursive definitions.
finite
发表于 2025-3-25 20:44:20
http://reply.papertrans.cn/39/3801/380075/380075_25.png
Eviction
发表于 2025-3-26 03:31:14
http://reply.papertrans.cn/39/3801/380075/380075_26.png
没有希望
发表于 2025-3-26 05:50:10
,Über die Planung großer Hörsäle,i Spielen werden die vielseitigen technischen Möglichkeiten des Mediums Computer auch am virtuosesten ausgenutzt — Spiele sind oft die Prototypen, an denen wir die Technik der Gestaltung der Mensch-Maschine-Schnittstelle lernen.
Nutrient
发表于 2025-3-26 12:24:19
http://reply.papertrans.cn/39/3801/380075/380075_28.png
多山
发表于 2025-3-26 15:00:17
Auswertung der Versuchsergebnisse,nsformationen den Einsatzanforderungen angepaßt. Die Transformationen bewirken eine schrittweise Rückführung auf konventionelle Programmstrukturen. Netzwerkprogrammierung setzt keine spezielle Programmiersprache voraus.
FUSE
发表于 2025-3-26 17:25:53
Applicative State Transition Systems in LISP-Like Notationf data-defined functions of an associative memory consisting of named and typed cells, and of expression-defined functions of a processor. The advantages of the algorithmic notation (functional style, history sensivity, executability) are illustrated by a set of examples executed on the “data space