Die Suche ergab 128 Treffer

von hstr
28. Okt 2011 14:49
Forum: Archiv
Thema: Übungsblatt 2 H1
Antworten: 2
Zugriffe: 198

Übungsblatt 2 H1

Hallo,
ist bei dem rechten Assembler-Programm in der letzten Zeile absichtlich kein $ Zeichen vor der 1?
von hstr
27. Okt 2011 09:58
Forum: Archiv
Thema: yasm
Antworten: 15
Zugriffe: 1918

Re: yasm

zimpfer hat geschrieben:Welche Datei hast du assembliert? Das Beispiel von Seite 50 aus dem 4. Foliensatz?

Dann hast du es wahrscheinlich direkt kopiert aus der PDF und es ist ein Leerzeichen in intout zwischen dem "\" und dem "n" ganz hinten, welches nicht da sein soll...
Genau das war der Fehler, vielen Dank!
von hstr
27. Okt 2011 08:32
Forum: Archiv
Thema: yasm
Antworten: 15
Zugriffe: 1918

Re: yasm

Hi,
also ich hab es jetzt mit den Befehlen aus Praktikum1.pdf
yasm -f elf -p gas Datei.asm
gcc -melf_i386 -o Datei Datei.o
./Datei
geschafft das die Datei durch yasm und gcc läuft, aber wenn ich ./Datei aufrufe
passiert gar nichts, es sollte aber doch irgendwas per intout ausgegeben werden?
von hstr
26. Okt 2011 19:16
Forum: Archiv
Thema: yasm
Antworten: 15
Zugriffe: 1918

yasm

Hi, ich hab eben versucht das Beispielprogramm aus Vorlesung_4.pdf (Seite 50) per SSH auf clientssh1.rbg.informatik.tu-darmstadt.de und clientssh3.rbg.informatik.tu-darmstadt.de zum laufen zu bringen. Aber wenn ich "yasm dateiname" eingebe, erhalte ich folgenden Fehler: test1:1: warning: no non-loca...
von hstr
14. Okt 2011 17:13
Forum: Archiv
Thema: Anmeldung zu den Übungsgruppen
Antworten: 14
Zugriffe: 1516

Re: Anmeldung zu den Übungsgruppen

Alles klar, Danke!
von hstr
14. Okt 2011 13:55
Forum: Archiv
Thema: Anmeldung zu den Übungsgruppen
Antworten: 14
Zugriffe: 1516

Re: Anmeldung zu den Übungsgruppen

Hallo,
was hat es denn mit den jeweils 2 Vorlesungen am Donnerstag auf sich?
Kann man sich eine davon aussuchen oder wie läuft das ab? :?:
von hstr
14. Okt 2011 12:13
Forum: Archiv
Thema: Anmeldung für Mathe 1
Antworten: 14
Zugriffe: 2205

Re: Anmeldung für Mathe 1

Hallo,
ist es bei euch auch so, dass die Auswahl der Übungsgruppe unter "Mein aktueller Anmeldestatus" in TuCan auch noch auf "Schwebende Anemldung" steht?
(Die Modulanmeldung ganz unten ist akzeptiert)
von hstr
1. Sep 2011 09:22
Forum: Archiv
Thema: Zeit für Prüfungen
Antworten: 2
Zugriffe: 747

Zeit für Prüfungen

Hi, wieviel Zeit haben wir eigentlich für die Lösung der Klausuren FGDI1 und FGDI2?
In Tucan steht bei FGDI1 von 08:00-10:00 und bei FGDI2 von 10:30-12:00.
In EVS steht bei FGDI1 von 8h00-9h30 und bei FGDI2 von 10h30-12h00.
Was ist denn jetzt richtig? Hat man für FGDI2 wirklich weniger Zeit? :?:
von hstr
28. Aug 2011 12:19
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 3948

Re: Herbrandmodell und Skolemisierung

Es wird nirgends ausgeschlossen, dass Rcc nicht gelten darf => es ist für diese Formelzusammenstellung (E4.4) egal ob Rcc gilt oder nicht, weil darüber keine Aussage getroffen wird. Dein Ziel ist es lediglich die dort stehende Formel wahr zu bekommen. Die einfachste (und maximalste) Lösung ist R = ...
von hstr
28. Aug 2011 11:59
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 3948

Re: Herbrandmodell und Skolemisierung

Überleg dir wie du am einfachsten die vierte Formel wahrmachen kannst. Doch genau dann, wenn die Konklusion immer wahr ist, d.h. wenn für alle x,y gilt Rxy (also auch Rcc). Danke, das hab ich jetzt verstanden, aber ich hab gleich ein neues Problem. Bei der Aufgabe E4.4.)b.)ii.) von ex04 SS09 wird w...
von hstr
28. Aug 2011 11:24
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 3948

Re: Herbrandmodell und Skolemisierung

Es muss immer eine Konstante in deiner Trägermenge sein und wenn du jetzt den Allquantor benutzt, dann gelten die dahinter stehenden Aussagen für ALLE Elemente aus deiner Trägermenge, also auch die Konstante c. Ja das weiß ich, aber wie kannst du aus den 5 Formeln oben ablesen das Rcc gilt? (Ich me...
von hstr
28. Aug 2011 10:58
Forum: Archiv
Thema: Herbrandmodell und Skolemisierung
Antworten: 23
Zugriffe: 3948

Re: Herbrandmodell und Skolemisierung

Als Beispiel H1 (b) von Übungsblatt 5: (1) \forall xRxf(x) (2) \forall xLxg(x) (3) Pc (4) \forall x \forall y (Lxy\rightarrow Rxy) (5) \forall x \forall y ((Px\wedge Rxy)\rightarrow Py Lösung: Sei T_0 := \{c\} \ und T_{n+1} := \{f(t); g(t): t\in T_n\} . Dann ist T := \bigcup\ _{n \in \mathbb N} \ T...
von hstr
24. Aug 2011 16:08
Forum: Archiv
Thema: Relevante klausurthemen
Antworten: 14
Zugriffe: 2240

Re: Relevante klausurthemen

"In den Sprechstunden kam die Frage auf, ob Grundinstanzen Resolutionen in der Klausur drankommen können. Wir werden in den Klausuren nur Aufgaben zu Themen stellen, die in der Vorlesung und/oder in den Übungen behandelt wurden. D.h. insbesondere, dass wir _keine_ Aufgaben zu Grundinstanzen Resoluti...
von hstr
24. Aug 2011 12:04
Forum: Archiv
Thema: Übungsblatt 2 - Resolutionsverfahren
Antworten: 3
Zugriffe: 1012

Re: Übungsblatt 2 - Resolutionsverfahren

Hallo, ich habe noch zwei Ergänzungsfragen. 1. Zu Übungsblatt 2, G2, a) Müsste bei Res ^2(K) nicht auch noch \{q, \neg q, p, \neg p, \neg r\} (aus \{q, \neg q, \neg r\} und \{p, \neg p, \neg r\} ) stehen, oder habe ich etwas falsch verstanden? Ich glaube nicht, da die beiden Klauseln \{q, \neg q, \...
von hstr
23. Aug 2011 13:25
Forum: Archiv
Thema: Relevante klausurthemen
Antworten: 14
Zugriffe: 2240

Re: Relevante klausurthemen

Okay, kann ja sowieso beides drankommen :D

Zur erweiterten Suche