Die Suche ergab 77 Treffer

von bashFish
6. Nov 2009 20:32
Forum: Archiv
Thema: Abgabeplattform
Antworten: 5
Zugriffe: 507

Re: Abgabeplattform

... also warum genau :roll: ?
Spann uns nicht auf die Folter :o
von bashFish
5. Nov 2009 12:48
Forum: Archiv
Thema: Verifun Methodiken
Antworten: 3
Zugriffe: 532

Re: Verifun Methodiken

Denn leider kommt es immer wieder vor, dass Verifun bei einem Beweis/Falsifikation hängen bleibt und nicht mehr zu einem Ende kommt, dann könnt ihr nicht mehr speichern. Du hast jederzeit die "Proof Control" offen! Dort kannst du im Reiter ganz links die aktuellen Aktionen einsehen. Wenn du auf ein...
von bashFish
5. Nov 2009 01:25
Forum: Archiv
Thema: Praktikum 1.3.a)
Antworten: 10
Zugriffe: 853

Re: Praktikum 1.3.a)

Ahja! Was mir heut auch oefters aufgefallen ist: Wenn man sich (warum auch immer) fuer das Generalisieren entscheidet, den Beweisbaum durchgeht, und eigentlich nur eine Inklusion findet (also es aendern sich hoechstens Praemissen/ Hypothesen), dann ist der Fall auch wieder offensichtlich, wo eine Be...
von bashFish
4. Nov 2009 22:20
Forum: Archiv
Thema: Verifun Methodiken
Antworten: 3
Zugriffe: 532

Verifun Methodiken

Vlt. koennten sich ja die Verifun-Gequaelten dazu ermuntern lassen, eine Art "Best-Practices" zu schreiben (oder in Form von Beitraegen in diesem Topic zu sammeln), die man untereinander kommunizieren und vlt sogar ans naechste Semester weitergeben kann? Euer Vorgehen zu einem Erfolgserlebnis ist hi...
von bashFish
4. Nov 2009 22:04
Forum: Archiv
Thema: Praktikum 1.3.a)
Antworten: 10
Zugriffe: 853

Re: Praktikum 1.3.a)

was fehlt denn bei \oplus und \le an lemmatas? mir fehlt absolut nichts mehr ein, außer vllt was mit length bei \oplus Ihr braucht so etwas wie Kommutativität bei \oplus , dass zeigt, dass es egal ist, wie die Einfügereihenfolge ist. Ebenso kann Reflexivität von \le helfen. Ich bezweifle, dass das ...
von bashFish
2. Nov 2009 16:17
Forum: Archiv
Thema: Praktikum 1
Antworten: 3
Zugriffe: 316

Re: Praktikum 1

von bashFish
2. Nov 2009 16:16
Forum: Archiv
Thema: Praktikum 1
Antworten: 3
Zugriffe: 316

Re: Praktikum 1

Holla, )><))~> Ihr duerft nichts von dem vorgegebenen Material aendern, was nicht explizit gefordert wird! Sehr wohl aber duerft ihr beliebig viel neues Zeugs hinzufuegen, wenn ihr der Meinung seid, dass es euch weiterbringt! Fuer die 1c) wird in der Aufgabenstellung eine Generalisierung vorgeschlag...
von bashFish
15. Sep 2009 18:17
Forum: Archiv
Thema: Klausurergebnisse... (Bonus inkl.)
Antworten: 134
Zugriffe: 6497

Re: Klausurergebnisse...

--
von bashFish
4. Aug 2009 21:39
Forum: Archiv
Thema: Bonus
Antworten: 5
Zugriffe: 434

Re: Bonus

Jo, sry... Klausur muss bestanden werden... War schon muede (konnte Aufmerksamkeit nur bis zum 2. "," bringen, und hab dann mit dem "?" abgeschlossen o0 whatever~)
von bashFish
4. Aug 2009 20:21
Forum: Archiv
Thema: Bonus
Antworten: 5
Zugriffe: 434

Re: Bonus

Dem ist so (zumindest das hatte der Assistent sicher in der Sprechstunde gesagt)
von bashFish
4. Aug 2009 19:59
Forum: Archiv
Thema: Bonus
Antworten: 5
Zugriffe: 434

Bonus

Steht denn mitlerweile fest, wie der Bonus aussieht? Am Anfang wurde ja mal gesagt, dass die Punkte in Klausurpunkte umgerechnet werden? Wird das denn dann linear interpoliert? Also 12*6 := 1.0 Bonus? Aus der Hoersalsprechstunde hab ich irgendwie so ein leichtes "1.0 ist Limit" entnommen... greets
von bashFish
4. Aug 2009 19:57
Forum: Archiv
Thema: Generalized Documents
Antworten: 5
Zugriffe: 464

Generalized Documents

Hat wer ne gescheite Quelle dazu gefunden oder lernt ihr alle nur die Folien :/
(bzw lernt ihr das ueberhaupt ^^?)
von bashFish
22. Jul 2009 20:43
Forum: Archiv
Thema: Hörsaal-Sprechstunde
Antworten: 2
Zugriffe: 248

Re: Hörsaal-Sprechstunde

... und wo?
von bashFish
18. Jul 2009 14:43
Forum: Archiv
Thema: Klausur HCS SS09
Antworten: 14
Zugriffe: 2534

Re: Klausur HCS SS09

Wann war nochmal die Sprechstunde vor der Klausur ? 31.7. ?
Ist das die einzige?


Kommen denn das Thema vom Fellner gestern auch drann? Gibt irgendwie noch keine Folien dazu :/

ty, greets
von bashFish
9. Jul 2009 10:37
Forum: Archiv
Thema: Anmeldung zum Bachelorpraktikum WS 09/10 bis 17.7.09
Antworten: 3
Zugriffe: 995

Re: Anmeldung zum Bachelorpraktikum WS 09/10 bis 17.7.09

müssen es denn zwingend 4er Teams sein?

Gehen auch 3 oder 5? (aufgehen wird es doch bestimmt net :roll: ?)
Ist denn am 17. schon endgültig schluss, oder kann man noch gruppen wechseln?



greets

Zur erweiterten Suche