Die Suche ergab 103 Treffer

von quanz
9. Okt 2009 14:56
Forum: Archiv
Thema: Wann kommen die Ergebnisse?
Antworten: 107
Zugriffe: 5389

Re: Wann kommen die Ergebnisse?

Bitte auch an mich,

Danke!

// Edit
Erledigt
von quanz
7. Okt 2009 19:46
Forum: Archiv
Thema: Klausurergebnisse
Antworten: 57
Zugriffe: 3258

Re: Klausurergebnisse

Danke!

// Edit
Hat sich erledigt
von quanz
7. Okt 2009 17:22
Forum: Archiv
Thema: Wann gibts Ergebnisse :)
Antworten: 76
Zugriffe: 7937

Re: Wann gibts Ergebnisse :)

4 Wochen ist afaik Limit. Was genau meinst du damit? Gibt es da eine gesetzliche Grundlage? Das ist natürlich keine gesetzliche Grundlage. Zumindest wäre mir das neu. Außerdem bleibt noch zu sagen, dass es euch nichts bringen wird, weiterhin hier im Forum zu fragen, wann die Ergebnisse raus sind. I...
von quanz
6. Okt 2009 19:44
Forum: Archiv
Thema: FGdI 2 Ergebnisse
Antworten: 97
Zugriffe: 3978

FGdI 2 Ergebnisse

Die Ergebnisse der beiden Formale Grundlagen 2 Klausuren (sowohl vom 4.9. als auch vom 30.9.) haengen in Schaukasten neben S215/201 aus (die Ergebnisse sind inklusive Bonus). Klausureinsicht findet am 12. Oktober in S215/201 statt: fuer Studenten mit Nachnamen A-L von 18:00 bis 19:00 und fuer Stude...
von quanz
30. Sep 2009 19:03
Forum: Archiv
Thema: Wann gibts Ergebnisse :)
Antworten: 76
Zugriffe: 7937

Re: Wann gibts Ergebnisse :)

Nur Geduld!!!
Die Korrekturen sind im vollen Gange und recht weit fortgeschritten. Ganz so lang wie in anderen Veranstaltungen wird's sicher nicht dauern.
von quanz
30. Sep 2009 13:15
Forum: Archiv
Thema: 4 Fragen - Ich brauche dringend Hilfe
Antworten: 8
Zugriffe: 1455

Re: 4 Fragen - Ich brauche dringend Hilfe

\(\varphi^H = \exists x (Px \rightarrow Pa \wedge Pb) = \exists x (\neg Px \vee (Pa \wedge Pb))\)
\(t_1 = a, t_2 = b\)

Disjunktion:
\((\neg Pa \vee (Pa \wedge Pb)) \vee ((\neg Pb \vee (Pa \wedge Pb)))\)
\(= \neg Pa \vee (Pa \wedge Pb) \vee \neg Pb \vee (Pa \wedge Pb)\)

Ist also immer wahr!
von quanz
30. Sep 2009 11:49
Forum: Archiv
Thema: 4 Fragen - Ich brauche dringend Hilfe
Antworten: 8
Zugriffe: 1455

Re: 4 Fragen - Ich brauche dringend Hilfe

Tautologische Herbranddisjunktion - Wie wird das eigentlich gemacht? Es steht etwas darüber im Forum, aber ich habe es nicht verstanden. Das ist schon gut im Forum erklärt, anders kann ich es auch nicht. Es geht darum zu zeigen, dass die Aussage war ist, egal bei welcher Belegung. Grundinstanzresol...
von quanz
15. Sep 2009 15:14
Forum: Archiv
Thema: Klausurergebnisse... (Bonus inkl.)
Antworten: 134
Zugriffe: 5636

Re: Klausurergebnisse...

Hat sich erledigt,

Danke
von quanz
7. Sep 2009 18:41
Forum: Archiv
Thema: Wie war's?
Antworten: 17
Zugriffe: 1727

Re: Wie war's?

Also ich habe die Aufgabe so verstanden: Zeige Dozenten mit dem höchsten Gehalt an, aber nur 10 STück =) Demnach mein Statement SELECT TOP 10 Name, Vorname, Gehalt FROM Dozenten ORDER BY Gehalt DESC Ich weiß jetzt allerdings nicht ob das Standard Sql-Syntax ist. Ich denke , dass TOP kein Standart S...
von quanz
25. Aug 2009 18:29
Forum: Archiv
Thema: Klausurergebnisse
Antworten: 7
Zugriffe: 544

Re: Klausurergebnisse

hat sich erledigt
von quanz
20. Aug 2009 22:04
Forum: Archiv
Thema: Klausurergebnisse
Antworten: 7
Zugriffe: 544

Re: Klausurergebnisse

Noch zwei kurze Fragen? 1) Werden die Ergebnisse eventuell auch im Webreg veröffentlicht? Es ist noch ein Slot frei (SE-Übungen des letzten Semesters) 2) Wird der Bonus aus dem letzten Semester berücksichtigt? Wäre schaden drum wenn nicht; konnte nämlich aus persönlichen Gründen das letzte Mal nicht...
von quanz
6. Aug 2009 22:48
Forum: Archiv
Thema: Bresenham
Antworten: 6
Zugriffe: 464

Re: Bresenham

eine frage, muss man bresenham NUR für die steigung zwischen 0 und 45 Grad wissen, oder auch mehr??? hatten das mal in gdi3 im letzten semester gemacht, würd aber jetzt auf anhieb nicht sofort wissen, wie es geht:) Es sollte am Anfang \Delta x > \Delta y getestet werden. Das besagt das nach jeden S...
von quanz
15. Jul 2009 09:59
Forum: Archiv
Thema: H 3.2
Antworten: 9
Zugriffe: 405

Re: H 3.2

Und wie soll ich das bitte in eine Klausel packen? Eine Klausel ist nach Definition ja eine endliche Menge von Literalen, wobei Literale atomare oder negiert atomare Formeln sind... (\neg \phi \lor \neg \psi) \land (\phi \lor \psi) ist aber doch keine atomare Formel... :? Die Definition ist schon r...
von quanz
14. Jul 2009 23:47
Forum: Archiv
Thema: H 3.2
Antworten: 9
Zugriffe: 405

Re: H 3.2

Danke für deine Antwort. (a+b)*(c+d) = a*c + a*d + b*c + b*d Das löst das Problem aber leider nicht. Bezogen auf mein Problem steht dann da: X \lor (\neg \phi \land \neg \psi) \lor (\phi \land \psi) Daraus kriege ich aber immer noch keine Klausel, da in meiner Disjunktion Konjunktionen vorkommen......
von quanz
14. Jul 2009 22:15
Forum: Archiv
Thema: H 3.2
Antworten: 9
Zugriffe: 405

Re: H 3.2

Ich hab da noch ein ganz anderes Problem... Was macht ihr denn bei der Resolution aus dem \leftrightarrow ? Klar kann man \phi \leftrightarrow \psi auflösen als (\phi \rightarrow \psi) \land (\psi \rightarrow \phi) , nur daraus wird dann (\neg \phi \lor \psi) \land (\neg \psi \lor \phi) und mit dem...

Zur erweiterten Suche