Die Suche ergab 37 Treffer

von labataschö
12. Nov 2016 20:19
Forum: Archiv
Thema: F1LAE interp function
Antworten: 3
Zugriffe: 367

F1LAE interp function

Hello, I'm doing assignment 2 part 5 at the moment and the question which I'm thinking about since half an hour is: Why is the function argument argExpr in the single argument function version interpreted before it is taken to substitute all occurences of the function variable? def interp(expr: F1LA...
von labataschö
7. Mär 2016 12:42
Forum: Archiv
Thema: Klausureinsicht
Antworten: 14
Zugriffe: 2668

Re: Klausureinsicht

Hallo, Info an die Veranstalter: am 1.4. findet von 10:30 bis 13:00 Uhr (Zeiten aus Tucan) die Klausur in Grundlagen der Informatik 3 statt. Da sich das mit dem ersten Termin überschneidet, können vermutlich viele nicht zu "ihrem" Einsichtstermin kommen. Wäre es vielleicht möglich, noch einen andere...
von labataschö
4. Mär 2016 13:45
Forum: Archiv
Thema: Abschlusseigenschaft (M08 Folie 22)
Antworten: 4
Zugriffe: 464

Re: Abschlusseigenschaft (M08 Folie 22)

Ah, das macht natürlich mehr Sinn.
Ich habe angenommen, wenn \(Q \subseteq Q′\) und \(P(Q′)\) gilt, dass dann automatisch \(P(Q)\) gelten muss, aber das ist ja gar nicht so...

Vielen Dank!
von labataschö
4. Mär 2016 10:53
Forum: Archiv
Thema: Abschlusseigenschaft (M08 Folie 22)
Antworten: 4
Zugriffe: 464

Abschlusseigenschaft (M08 Folie 22)

Hallo, ich hab irgendwie noch nicht so ganz begriffen, was mir diese Definition auf den Folien sagen soll: Sei M eine Menge. Eine einstellige Relation P auf \mathcal{P}(M) heißt Abschlusseigenschaft gdw. \forall Q \subseteq M: \exists Q' \subseteq M: (Q \subseteq Q' \wedge P(Q')) gilt. Was sagt dies...
von labataschö
3. Feb 2016 10:01
Forum: Archiv
Thema: Ü11 FancyKäsekästchen - Wer ist als nächstes dran?
Antworten: 1
Zugriffe: 125

Ü11 FancyKäsekästchen - Wer ist als nächstes dran?

Hallo, in der Aufgabenstellung steht: "Sollten während einer Aktion Kästchen geschlossen werden, die nicht von der Aktionsmauer geschlossen wer- den, dann ist der Auslöser nicht nochmal am Zug." Wir sind uns nicht ganz sicher, wie das zu verstehen ist: 1) Wenn durch die Aktion Kästchen geschlossen w...
von labataschö
5. Nov 2015 20:43
Forum: Archiv
Thema: 3.5 c)
Antworten: 2
Zugriffe: 284

3.5 c)

Nur mal so interessehalber: wenn man es genau nimmt, müsste dann in der Aufgabenstellung zu 3.5c) nicht stehen \varphi_1 := knappe(A) = \mathcal{W} ? (Ein gotisches w finde ich leider gerade nicht...) Und bei \varphi_2 , \varphi_3 und \varphi_4 dann entsprechend auch mit Funktionswert \mathcal{W} ? ...
von labataschö
23. Okt 2015 20:13
Forum: Archiv
Thema: rekursive Definition kartesisches Produkt
Antworten: 1
Zugriffe: 227

rekursive Definition kartesisches Produkt

Ich hab eine Frage zur rekursiven Definition des kartesisches Produktes (zu finden in Module 01 Folie 15). Da steht: "Das kartesische Produkt \times_{i \in \{1, ... , n\} } M(i) einer endlichen Folge M(1) , ... , M(n) von Mengen ist die wie folgt rekursiv definierte Menge: \times_{i \in \{1, ... , n...

Zur erweiterten Suche