Die Suche ergab 3 Treffer

von bekmel
4. Apr 2013 15:33
Forum: Archiv
Thema: TS-Klausur WS12/13: Ergebnisse hängen aus.
Antworten: 54
Zugriffe: 6239

Re: TS-Klausur WS12/13: Ergebnisse hängen aus.

Hey

Ich würde mich auch freuen :)
Danke im Voraus :)
von bekmel
4. Apr 2013 15:24
Forum: Archiv
Thema: Klausurergebnis und Einsicht
Antworten: 44
Zugriffe: 7937

Re: Klausurergebnis und Einsicht

Hallo,

ich wäre auch an den Ergebnissen interessiert.

VIelen Dank im Voraus
Grüße
von bekmel
21. Feb 2013 18:12
Forum: Archiv
Thema: Lab4 - Task3 - Aufgabe 2.6
Antworten: 8
Zugriffe: 541

Re: Lab4 - Task3 - Aufgabe 2.6

Hallo

Eine andere Frage...
Wie kann es sein, dass ein forall mit a >= b erfolgreich ist und ein zusätzliches exists mit den selben Rahmenbedingungen aber a == b fehlschlägt?
Forall mit a > b schlägt aber auch fehl :-/

Vielen Dank
Bekir

Zur erweiterten Suche