Die Suche ergab 131 Treffer

von Tillmann
30. Mai 2007 17:42
Forum: Archiv
Thema: Indirekte Rekursion?
Antworten: 5
Zugriffe: 1738

Indirekte Rekursion?

Prof. Koch hat geschrieben:Hinweis: Sie müssen dabei direkte Rekursion behandeln (eine Prozedur ruft sich selbst wieder auf), die korrekte Verarbeitung auch indirekter Rekursion ist optional (kann aber zur Aufwertung Ihrer Abgabe führen).
In welcher Form unterstützt denn Triangle indirekte Rekursion?
von Tillmann
25. Mai 2007 02:14
Forum: Archiv
Thema: 1. Hausübung - 4b)
Antworten: 6
Zugriffe: 1783

Okay, kann ich so nachvollziehen, aber die Formeln arten dann völlig aus. Ich meine, die sind schon lang, wenn man zwischendurch Überflussiges wegstreicht... und wenn man alles stehen lässt, sind dass nachher ein paar Dutzend Terme in der KNF Hmm, nö, bei mir nicht. Vielleicht arbeitest Du mit der ...
von Tillmann
24. Mai 2007 22:45
Forum: Archiv
Thema: 1. Hausübung - 4b)
Antworten: 6
Zugriffe: 1783

Re: 1. Hausübung - 4b)

Hat irgendjemand erfolgreich die Resolutionmethode angewendet, um die Aufgabe zu lösen? Ja. Ich komme beim Umwandeln in die KNF auf 1 und dann gibt's ja nicht viel zu resolvieren. Du darfst beim Normalisieren keine Variablen unter den Tisch fallen lassen, selbst wenn sie für die Semantik der Formel...
von Tillmann
12. Mai 2007 15:14
Forum: Archiv
Thema: java.util.Vector (Für Praktikum 2)?
Antworten: 10
Zugriffe: 1359

du kannst sowohl in einer arraylist als auch in einem vector jedes belibige objekt oder primitiv speichern. Nein, leider kann man in Java Collections nur Objekte und Arrays speichern, aber keine primitiven Daten wie z.B. int, bool, usw. Dieser Nachteil wird zwar in neueren Java-Versionen vom Compil...
von Tillmann
30. Apr 2007 11:06
Forum: RBG/Rechner
Thema: einige probleme an den poolrechnern
Antworten: 24
Zugriffe: 7149

Aber im Pool stehen jetzt Clients und keine reinen Terminals mehr. Vorteil: Viel schneller. Nachteil: Nicht so viel Software installiert. Aber man sollte natürlich einfach die Software von den ultras starten können per ssh o.ä.
von Tillmann
29. Apr 2007 21:51
Forum: Archiv
Thema: array mit long_größe erzeugen
Antworten: 12
Zugriffe: 1318

Das kommt drauf an, wie du das machst, ob das unschön ist oder nicht. Wenn du die Arrays int_1[] = new int[Integer.MAX_VALUE]; int_2[] = new int[Integer.MAX_VALUE]; ... int_n[] = new int[Integer.MAX_VALUE]; deklarierst und damit rumprokelst, wird das nicht nur unschön, sondern sogar sehr hässlich. ...
von Tillmann
18. Apr 2007 18:49
Forum: Allgemein
Thema: Aktuelle Zuordnungliste für Diplombereiche
Antworten: 7
Zugriffe: 2384

Wenn ich nun nur ein individuelles okay von der Studienbertung bekäme aber z.B. die Prüfung erst in 1-2 Semestern ablegen möchte und dann nichts auf der Liste zu finden ist und trotzdem auf diese beharrt wird... Dann hätte ich ja trotzdem wieder nichts verbindliches und am Ende noch einiges umsonst...
von Tillmann
18. Apr 2007 16:30
Forum: Archiv
Thema: Gruppe gesucht
Antworten: 0
Zugriffe: 1029

Gruppe gesucht

Ich möchte gerne am praktischen Teil der Vorlesung teilnehmen und suche dazu noch Mitstreiter. Vielleicht kann ich noch zu einer Zweiergruppe dazustoßen oder wir bilden zu dritt eine neue Gruppe? Zu meiner Person: Ich studiere Diplom-Informatik im 10. Semester. Ich habe mich in meinen Hauptstudium b...
von Tillmann
1. Apr 2007 01:32
Forum: Archiv
Thema: Klausurergebnisse
Antworten: 48
Zugriffe: 11665

kahler hat geschrieben:Dann schau hier nach.
Zentrale Studienberatung hat geschrieben:Die Exmatrikulationsfrist läuft im Wintersemester jeweils am 31.3. [...] ab.
Zu spät.
von Tillmann
22. Mär 2007 23:27
Forum: Archiv
Thema: Theorien von Algebren und Quotientenalgebren
Antworten: 5
Zugriffe: 1300

Ja, ihr habt Recht, die Negationen machen alles kaputt. In \mathcal A gibt es viele verschiedene Elemente, die alle unterschieden werden. Manche dieser Unterschiede verschwinden nun, wenn wir zu \mathcal A /_\approx übergehen. Ich dachte irgendwie, das Verschwinden von Unterschieden könnte nur dazu ...
von Tillmann
22. Mär 2007 20:14
Forum: Archiv
Thema: Theorien von Algebren und Quotientenalgebren
Antworten: 5
Zugriffe: 1300

Denn man verlangt ja im Grunde weniger von den Formeln, wenn man Quotientenalgebren benutzt. Das sehe ich auch so, denn für alle Kongruenzrelationen \approx ist die Funktion h\,:\,\,\mathcal A \to 2^{\mathcal A},\,\,x \mapsto [x]_\approx ein Homomorphismus von (\mathcal A,\, \alpha) nach (\mathcal ...
von Tillmann
22. Mär 2007 16:16
Forum: Offtopic
Thema: Transponder
Antworten: 30
Zugriffe: 4723

das einzige was man tun kann ist massiv aufklärung betreiben Das sehe ich auch so. Vielleicht genügt es ja? Mit Leuten freundlich zu reden zeigt manchmal ganz erstaunliche Resultate! Ansonsten gelingt es vielleicht auch, das Beantragen eines Transponders soweit zu vereinfachen, daß es just-in-time ...
von Tillmann
22. Mär 2007 15:46
Forum: Archiv
Thema: Quotientenalgebra vs Quotiententermalgebre
Antworten: 3
Zugriffe: 1430

Wenn ich mich nicht irre, dann ist die Quotiententermalgebra eine spezielle Quotientenalgebra, die sich eben auf die Termalgebra als Grundlage bezieht. Eine Quotientenalgebra kann aber allgemein von jeder Algebra mithilfe einer Kongruenzrelation gebildet werden. Sehe ich auch so. Die Kongruenzrelat...
von Tillmann
21. Mär 2007 21:36
Forum: Archiv
Thema: Erzeugte Algebren
Antworten: 3
Zugriffe: 1326

Re: Erzeugte Algebren

Definition 2 Eine Teilsignatur erhält man einfach, wie man es sich intuitiv denken würde, indem man nur einen Teil einer Signatur behält und den Rest weg schmeißt. Also z.B. wenn man 2 Funktionssymbole succ und pred hat und pred einfach weglässt!? Ja. Definition 3 Erzeugt ist eine Algebra doch einf...
von Tillmann
21. Mär 2007 20:56
Forum: Archiv
Thema: universelle Formel
Antworten: 2
Zugriffe: 1115

Re: universelle Formel

Eine kleine Frage bezüglich der kap2 Def 9 (S 15) Ist eine Formel die gar keine Quantoren hat auch universell? (Also sie darf ja keine Existenz Quantoren haben, aber muss sie Allquantoren haben?) Alle quantorfreien Formeln sind universell. 1. Begründung: Sonst müßte da "mit n > 0" oder ähnliches st...

Zur erweiterten Suche