Die Suche ergab 187 Treffer

von barracuda317
1. Mai 2013 14:39
Forum: Archiv
Thema: Ein oder genau ein
Antworten: 1
Zugriffe: 207

Ein oder genau ein

Hallo, in den Mathematikvorlesungen wird unterschieden zwischen ein (für mindestens ein) und genau ein (mindestens ein und maximal ein). In Aufgabe 1.1. wird hierbei auch von "einem Professor" und "mehreren Mitarbeitern" gesprochen. Darf hier (und allgemein bei solchen informellen Beschreibungen) da...
von barracuda317
1. Mai 2013 14:27
Forum: Archiv
Thema: Empfehlungen für ERM-Diagramme
Antworten: 3
Zugriffe: 422

Re: Empfehlungen für ERM-Diagramme

trinity hat geschrieben:Hallo,

also für Linux kann ich Dia empfehlen (ist in den Paketquellen).

Viele Grüße,
trinity
Auch für Windows wurde mir das als erstes ausgespuckt, und bisher finde ich es ganz nett.
von barracuda317
29. Apr 2013 20:13
Forum: Archiv
Thema: Lösungen
Antworten: 3
Zugriffe: 487

Lösungen

Hallo,

auf den Orga-Folien steht, dass die Lösungen in der Saalübung besprochen werden. Kann ich davon ausgehen, dass etwaige Folien nicht zur Verfügungn gestellt werden?
von barracuda317
17. Apr 2013 07:35
Forum: Archiv
Thema: Erste Vorlesung
Antworten: 10
Zugriffe: 1348

Re: Erste Vorlesung

Ein Wunsch an den Veranstalter wäre hier, die Folien bereits vor der Vorlesung zu Vorbereitung online zu stellen.
von barracuda317
15. Apr 2013 11:40
Forum: Allgemein
Thema: Buchaktion SoSe 2013
Antworten: 5
Zugriffe: 2052

Re: Buchaktion SoSe 2013

Dort steht aber nur etwas zum WiSe ;)
von barracuda317
15. Apr 2013 10:03
Forum: Allgemein
Thema: Buchaktion SoSe 2013
Antworten: 5
Zugriffe: 2052

Buchaktion SoSe 2013

Hallo Fachschaft,

wird es dieses Semester wieder eine Buchaktion und, wenn ja, wann wird diese stattfinden?
von barracuda317
7. Apr 2013 16:39
Forum: Archiv
Thema: Invarianten verletzt
Antworten: 1
Zugriffe: 412

Re: Invarianten verletzt

Müssen wir in den JML Spezifikationen der Methode berücksichtigen dass die Invarianten verletzt werden? Wenn das in der Aufgabenstellung steht und wir haben zuvor die Invarianten explizit definiert, reicht ein Hinweis auf die Invarianten? Bedanke mich im voraus. mfg Eigentlich dürfen die Invariante...
von barracuda317
7. Apr 2013 16:35
Forum: Archiv
Thema: Testexam 2 - Assignment 1
Antworten: 3
Zugriffe: 402

Re: Testexam 2 - Assignment 1

Asfaloth hat geschrieben:argh, lesen sollte man können...

Danke für die schnelle Antwort.
gern
von barracuda317
7. Apr 2013 16:29
Forum: Archiv
Thema: Testexam 2 - Assignment 1
Antworten: 3
Zugriffe: 402

Re: Testexam 2 - Assignment 1

Da steht ja auch nicht, dass sie nicht erfüllbar ist, sondern: Weder allgemeingültig noch unerfüllbar.
von barracuda317
7. Apr 2013 15:08
Forum: Archiv
Thema: Exercise 4 - Aufgabe 1
Antworten: 9
Zugriffe: 937

Re: Exercise 4 - Aufgabe 1

Mit Exright können wir keine Konstanten einführen, das heißt ich muss entweder auf bestehende Konstanten zurückgreifen, die bereits angegeben sind (hier finde ich keine) In f3.key befindet sich eine vorgegebene Konstante c, die dann verwendet wird. Wo sehe ich das in der Aufgabenstellung? In der Da...
von barracuda317
7. Apr 2013 15:05
Forum: Archiv
Thema: Exercise 4 - Aufgabe 1
Antworten: 9
Zugriffe: 937

Re: Exercise 4 - Aufgabe 1

und t ist ein beliebiger term vom richtigen Typ, z.B. auch eine konstante. Wenn du dir die Lösung zu 1. e) aus der Aufgabe anschaust siehst du auch ein Beispiel dafür dass es eben doch geht. In Proof 5 wird aber der Fall nicht mit diesem Term geschlossen, sondern mit einer später eingeführten Konst...
von barracuda317
7. Apr 2013 14:56
Forum: Archiv
Thema: Exercise 4 - Aufgabe 1
Antworten: 9
Zugriffe: 937

Re: Exercise 4 - Aufgabe 1

Mit Exright können wir keine Konstanten einführen wieso nicht? Hey, wenn du beweist dass etwas existiert, kannst du ja nicht einfach sagen "sei nun c dieses Element" (sofern c noch nicht von forall-right oder exists-left eingeführt wurde). Es ist ja noch gar nicht bewiesen dass es das gibt. Mit exi...
von barracuda317
7. Apr 2013 14:47
Forum: Archiv
Thema: Exercise 4 - Aufgabe 1
Antworten: 9
Zugriffe: 937

Re: Exercise 4 - Aufgabe 1

Ankou hat geschrieben:
Mit Exright können wir keine Konstanten einführen
wieso nicht?
Weil In der Kalkülübersicht für Exright nur [x/t'] steht, und kein [x/c]
von barracuda317
7. Apr 2013 10:52
Forum: Archiv
Thema: Exercise 4 - Aufgabe 1
Antworten: 9
Zugriffe: 937

Exercise 4 - Aufgabe 1

Hallo, bei Proof 3 hakt es grad irgendwie bei mir. Die Schritte kann ich nachvollziehen, aber mir ist nicht klar, wie ich hier "ohne Punktabzug" eine Lösung angebe, denn: Mit Exright können wir keine Konstanten einführen, das heißt ich muss entweder auf bestehende Konstanten zurückgreifen, die berei...
von barracuda317
6. Apr 2013 16:26
Forum: Archiv
Thema: Übung 6, P1 und P2 - Alternative Lösung?
Antworten: 5
Zugriffe: 634

Re: Übung 6, P1 und P2 - Alternative Lösung?

Joa, 0 ist eben nicht positiv :D Ich weiß, dass die auch bei P2 zwischen "positive" und "strictly positive" unterscheiden, aber mathematisch gesehen ist dadurch die 0 immer noch keine positive Zahl :P Ja, das Problem tritt ja öfters mal auf, daher der Verweis auf den Lösungsvorschlag: Ansonsten hab...

Zur erweiterten Suche