小虫 发表于 2025-3-23 13:39:30

Ernst-Erich Doberkat,Dietmar Foxµ if every µ-negligible σ(.)-set is .-negligible. Another equivalent condition is the following condition. For every . in . and for every ɛ > 0, there exists δ > 0 such that for all . in ℛ contained in . and satisfying the inequality |µ|(.) ≤ δ, we have |.|(.) ≤ ɛ (Theorem 10.3.2). This also amounts

杠杆支点 发表于 2025-3-23 17:06:54

http://reply.papertrans.cn/88/8710/870988/870988_12.png

和蔼 发表于 2025-3-23 21:02:02

. or the space .() of real-valued continuous functions on [.] with their natural orderings..1.2 It is devoted to a short study of Riesz spaces, that is, ordered vector spaces which are lattices. The space . of real-valued continuous functions on [.], endowed with its usual ordering, is an exa

BOOM 发表于 2025-3-24 01:58:48

Ernst-Erich Doberkat,Dietmar Foxthe set ., where ∆ runs over the set of finite partitions of ., is bounded. When . = ., the variation of . is locally bounded if and only if . is the difference of two increasing functions (Proposition 13.1.3)..13.2 Denote by . the natural semiring of . subinterval of .. If μ is any measure on ., ev

震惊 发表于 2025-3-24 05:19:34

Ernst-Erich Doberkat,Dietmar Fox→ . is said to be locally µ-integrable whenever .l. a is µ-integrable for every . in .; then the measure .µ: . → ∫ .l. is called the measure with density . relative to µ. .(.µ) = |.|.µ, (Proposition 10.2.1), and ∫. .(.µ) = ∫. . |.| .µ for all functions . Ω → (Theorem 10.2.2). A mapping . fro

柱廊 发表于 2025-3-24 08:05:34

http://reply.papertrans.cn/88/8710/870988/870988_16.png

perimenopause 发表于 2025-3-24 13:04:40

Einfache Programm-Konstrukte,mitiven, also von der Sprache vorgegebenen Datentypen umfassen. Hier diskutieren wir die aus Pascal oder LISP bekannten Datentypen . (also Zeichenketten) und .; dies geschieht zunächst durch die Angabe der Typen, einfache Beispiele, und durch die Diskussion der darauf definierten Standardfunktionen.

alliance 发表于 2025-3-24 15:34:02

http://reply.papertrans.cn/88/8710/870988/870988_18.png

CORD 发表于 2025-3-24 22:29:20

Beispiele,thmus von Knuth, Morris und Pratt vor, der ein Muster in einer Zeichenkette zu finden gestattet. Hier zeigt es sich, daß sich mit Mengen und Abbildungen durchsichtig formulieren läßt, auch wenn die eigentliche Programmstruktur doch noch recht ähnlich zu der eines Pascal-Programms ist. Dies ändert si

QUAIL 发表于 2025-3-25 00:55:00

http://reply.papertrans.cn/88/8710/870988/870988_20.png
页: 1 [2] 3 4
查看完整版本: Titlebook: Software Prototyping mit SETL; Ernst-Erich Doberkat,Dietmar Fox Textbook 1989 Springer Fachmedien Wiesbaden 1989 Algorithmen.Datentypen.Ei