event-b

5Hitze

2Antwort

event-b: Ist es möglich, eine Folge von ... bis ... von Primzahlen über Lambda in einem Ausdruck zu erzeugen?

Ich frage mich, ob es möglich ist, eine Sequenz von Primzahlen mit nur einem lambda Ausdruck in event-b zu generieren. Dies ist das, was ich bisher: @axm1 primeSet = {x∣ x ∈ 1‥100 ∧ ¬(∃y·y < x ∧ y > 1

lambda sequence primes formal-methods event-b 2014-02-07

---