浸软 发表于 2025-3-25 04:13:14

http://reply.papertrans.cn/40/3901/390051/390051_21.png

intention 发表于 2025-3-25 11:28:48

http://reply.papertrans.cn/40/3901/390051/390051_22.png

奖牌 发表于 2025-3-25 13:59:33

http://reply.papertrans.cn/40/3901/390051/390051_23.png

PLAYS 发表于 2025-3-25 17:25:11

Semantik und Implementierung funktionaler Sprachen mit Funktionen erster Ordnung,Programmschemata dargestellt. Ein solches Schema besteht aus einer Folge von Gleichungen zwischen Termen über einer algorithmischen Signatur, wobei die linken Seiten der Gleichungen eingeschränkt sind, so daß sich dort nur ein Funktionssymbol angewendet auf ein Tupel von Variablen befinden kann.

TAG 发表于 2025-3-25 23:46:07

http://reply.papertrans.cn/40/3901/390051/390051_25.png

Mangle 发表于 2025-3-26 01:22:24

,Der λ-Kalkül als funktionale Programmiersprache, der Mathematik und der mathematischen Logik. Dabei diente der λ-Kalkül zur Formalisierung des Berechenbarkeitsbegriffes. Als sich herausstellte, daß die Ausdruckskraft dieses Kalküls genauso groß war wie die von Turingmaschinen, Markovsystemen oder Post-Bändern, führte diese Erkenntnis Church zu se

失望昨天 发表于 2025-3-26 05:57:50

,Die Bedeutung von Werten für das Recht,Funktionales Programmieren ist in erster Linie als Manipulation von Funktionen zu verstehen. Dazu ist zunächst die vollständige Beschreibung einer Funktion erforderlich. Eine Funktion ist gekennzeichnet durch ein . (den Namen), den . (Definitionsbereich), den . (Wertebereich) und eine ..

违法事实 发表于 2025-3-26 09:51:13

http://reply.papertrans.cn/40/3901/390051/390051_28.png

分发 发表于 2025-3-26 14:30:05

http://reply.papertrans.cn/40/3901/390051/390051_29.png

Inelasticity 发表于 2025-3-26 17:10:22

Grundlegende Sprachstrukturen,Funktionales Programmieren ist in erster Linie als Manipulation von Funktionen zu verstehen. Dazu ist zunächst die vollständige Beschreibung einer Funktion erforderlich. Eine Funktion ist gekennzeichnet durch ein . (den Namen), den . (Definitionsbereich), den . (Wertebereich) und eine ..
页: 1 2 [3] 4 5
查看完整版本: Titlebook: ;