Die Suche ergab 47 Treffer

von JulM
15. Okt 2010 18:17
Forum: Studienorganisation
Thema: TUCan: Stundenplan
Antworten: 12
Zugriffe: 2199

Re: TUCan: Stundenplan

Also ich sehe auch noch nichts, im Stundenplan.
Ich habe mir mittlerweile einfach einen per Hand erstellt...
Dabei ist es schon über eine Woche her, das ich mich angemeldet habe!

Wie konntest du dich allerdings für Mathe 1 anmelden? Ich sehe das leider immer noch nicht....
von JulM
5. Okt 2010 17:34
Forum: Das Wesentliche
Thema: TUCaN - Start der Anmeldephase
Antworten: 12
Zugriffe: 1754

Re: TUCaN - Start der Anmeldephase

aber da muss noch einiges gemacht werden. dito. Ich finde es zwar schön, das es nun so ein einheitliches System gibt, aber was bringt es mir, wenn einige Veranstalter dann trotzdem die Übungsgruppen-Anmeldung auf andere Systeme ( Webreg/Moodle ) verlegen, so habe ich trotzdem nicht alles im Überbli...
von JulM
5. Okt 2010 17:22
Forum: Archiv
Thema: Variablen beim Programmstart übergeben - läuft nicht.
Antworten: 3
Zugriffe: 1233

Re: Variablen beim Programmstart übergeben - läuft nicht.

int a = Integer.valueOf(args[0]).intValue(); int b = Integer.valueOf(args[1]).intValue(); muss so lauten: int a = Integer.valueOf(args[0]); int b = Integer.valueOf(args[1]); Und natürlich beim Programmaufruf Argumente übergeben, ja ;) Ich glaube es hängt eher am Programmaufruf, denn trotz dem, nenn...
von JulM
28. Sep 2010 14:55
Forum: Archiv
Thema: Klausur SS10
Antworten: 155
Zugriffe: 9645

Re: Klausur SS10

Ich würde mich auch über eine PN freuen!

Vielen Dank schon mal ;)
von JulM
9. Sep 2010 20:03
Forum: Archiv
Thema: Der obligatorische "Wie wars" Thread
Antworten: 16
Zugriffe: 2199

Re: Der obligatorische "Wie wars" Thread

Also ich fand die Klausur auch so naja. Ich habe einige Zeit gebraucht, bis ich mich an die Aufgabenstellung gewöhnt hatte, da sie mich doch sehr verwirrt hatte. Auch die vielen Fragen über Komplexität haben mich doch sehr kalt erwischt und sehr überrascht haben mich die vielen Punkte, die man bei d...
von JulM
5. Sep 2010 22:50
Forum: Archiv
Thema: 5. Übungsblatt, G1
Antworten: 3
Zugriffe: 590

Re: 5. Übungsblatt, G1

tobiwan hat geschrieben: Also hast du dann \((\neg p \land \neg q) \lor x\)
Was dann in KNF, wie folgt aussieht :
\((\neg p \lor x) \land ( \neg q \lor x )\)

Jetzt steht hier auch der komplette Weg ;)
von JulM
5. Sep 2010 16:43
Forum: Archiv
Thema: Resolution/Sequenzenkalkül
Antworten: 10
Zugriffe: 1315

Re: Resolution/Sequenzenkalkül

Müsste man da nicht einfach nur mit Hilfe des Sequenzkalükls zeigen das \(\Phi \vdash \varphi\) ableitbar ist?
Denn laut Gödelsche Vollständigkeitssatz folgt aus \(\Phi \vdash \varphi \leftrightarrow \Phi \models \varphi\)
von JulM
5. Sep 2010 16:29
Forum: Archiv
Thema: Wann/Wie substituieren?
Antworten: 5
Zugriffe: 792

Re: Wann/Wie substituieren?

Um deine Frage zu beantworten: Innerhalb der Klauselmenge kannst du die Klauseln einzeln substituieren, wie du willst. Innerhalb einer einzelnen Klausel muss diese Substituierung aber konsistent sein, da ja die gesamte Klausel jeweils allquantifiziert ist. Danke, das war mir doch noch ein wenig unk...
von JulM
5. Sep 2010 14:49
Forum: Archiv
Thema: Wann/Wie substituieren?
Antworten: 5
Zugriffe: 792

Re: Wann/Wie substituieren?

Ich nehme an, mit substituieren meinst du das Einsetzen von Konstanten für die Variablen? Dann ist die Antwort schlicht, dass in der Musterlösung das verallgemeinerte Resolutionsverfahren verwendet wurde, anstatt der GI-Resolution. Konkrete Grundinstanzen sind da nicht nötig. Siehe FO-Skript Seite ...
von JulM
5. Sep 2010 14:11
Forum: Archiv
Thema: Wann/Wie substituieren?
Antworten: 5
Zugriffe: 792

Wann/Wie substituieren?

Hi, Ich bin gerade noch dabei mir das Resolutionskalkül für FO-Formeln anzuschauen/Aufgaben durchrechnen. Jetzt habe ich gerade die Aufgabe G1 der 5.Übung bearbeitet und dabei sind mir zwei Dinge aufgefallen, die ich noch nicht ganz verstehe leider. Und zwar geht es um die Substitution, ich hatte si...
von JulM
2. Sep 2010 12:02
Forum: Archiv
Thema: Prüfungsregel
Antworten: 5
Zugriffe: 1089

Re: Prüfungsregel

Also ich habe hier zwar viele alte Klausuren rumliegen, bei denen steht, dass man eine Aufgabe weglassen kann/soll/muss. Aber letztes WS, war das nicht der Fall. Ich weiß nicht, ob dort vielleicht nachher noch eine Aufgabe als Bonus gewertet wurde, aber trotzdem würde ich mich nicht darauf verlassen...
von JulM
16. Apr 2010 19:38
Forum: Archiv
Thema: Mikrofon
Antworten: 29
Zugriffe: 2439

Re: Mikrofon

Ich hab dem Prof. Dr. Streicher mal das Formular zum beantragen von dem Transponder sowie die Bedienungsanleitung für das System ausgedruckt und werde Ihm diese einfach in der nächsten Vorlesung in die Hand drücken. ;) P.S.: In der ersten Reihe gings sobald alle im Saal still waren ^^ Habe ich es v...
von JulM
13. Apr 2010 13:25
Forum: Archiv
Thema: Mikrofon
Antworten: 29
Zugriffe: 2439

Re: Mikrofon

In der vorletzten Reihe konnte man sehen, wie er die Lippen bewegt hat, aber es kam kein Laut an... Ich saß auch ziemlich weit hinten und habe kaum ein Wort verstanden, selbst als es dann zwischenzeitlich mal ruhig war. Was ich übrigens auch nicht wirklich vorbildlich finde, dass wenn man schon in ...
von JulM
12. Apr 2010 16:13
Forum: Archiv
Thema: BEginn der Übungen
Antworten: 16
Zugriffe: 1630

Re: BEginn der Übungen

[ Denn ich saß heute vergebens 20 Minuten im Übungsraum und es kam kein Tutor... Herrlich die Organisation in der TU..... Naja ist ja nicht der Organisation zu Danken, sondern eher den mangelnden Informationen der Mathe-Verantwortlichen. Aber lieber saß ich für umsonst in der Uni als die erste Übun...
von JulM
12. Apr 2010 14:58
Forum: Archiv
Thema: BEginn der Übungen
Antworten: 16
Zugriffe: 1630

Re: BEginn der Übungen

Wie siehts denn aus mit den Hausübungen? Gibts jetzt auch noch ein Bonussystem? Wenn ja wie viel? Also ich glaube dazu kann dir hier noch keiner was genaueres sagen, da davon ja noch nichts von offizieller Seite bekannt ist. Also wohl frühestens morgen nach der Vorlesung. Übrigens zum Topic: Hat de...

Zur erweiterten Suche