set-theory

6Hitze

2Antwort

Set Theory und .NET

Kürzlich stieß ich auf eine Situation, in der Mengenlehre und Mathe zu dem passen, was ich tat (es gab einen einfacheren Weg, um das zu erreichen, was ich brauchte - LINQ - aber ich dachte nicht davon

.net ienumerable set-theory 2010-05-24

---

1Hitze

1Antwort

Gibt es Software, die festgelegte Builder-Notationen akzeptiert und Dienstplan-Notationen zurückgibt?

Wenn Sie z. B. {x | xεZ, 0 < x} an sie füttern, gibt {1,2,3,4,5,6,7,8,9,10,11, ...} zurück.

math language-features set-theory 2010-12-14

---

1Hitze

1Antwort

Wie kann man eine Teilmengenrelation in Coq ausdrücken?

Wie kann ich in Coq beschreiben, dass ein Satz Y eine Untermenge eines anderen Satzes X ist? Getestet habe ich die folgenden: Definition subset (Y X:Set) : Prop := forall y:Y, y:X. , dass, wenn

coq set-theory 2016-07-24

---

6Hitze

4Antwort

Prolog Liste Unterschied Routine

Ich versuche, eine Liste Unterschied Routine in Prolog zu implementieren. Aus irgendeinem Grund folgendes nicht: difference(Xs,Ys,D) :- difference(Xs,Ys,[],D). difference([],_,A,D) :- D is A, !. dif

list prolog set-theory 2009-10-06

---

1Hitze

1Antwort

Set, nicht List in Lisp Welt?

In der Mengenlehre haben wir {x, y, z}, das ist das selbe wie {z, y, x} das ist das selbe wie ... {y, x, z}, {z, x, y} ... Jetzt, in Lisp (Entwurf etc.) erlaubt eine Liste solch eine Nebeneinanderstel

lisp set-theory 2016-04-24

---

1Hitze

1Antwort

Wie man etwas wie "setze Schnittmenge" und "setze Vereinigung" mit Clojure (Script) Saiten nachahmen?

Angenommen S und T sind Strings jeweils wie folgt definiert: ;; S A B C ;; T B C D dort sind analog clojure (Skript) Operationen string-intersection und string-union (in Ermangelung eines be

string clojure clojurescript set-theory 2016-04-24

---

6Hitze

2Antwort

Implementieren von Mengenlehre Operationen in PHP

Wie implementiert man Mengen Theorie Operationen in reinem PHP?

php graph-theory rbac set-theory 2010-08-17

---