Die Suche ergab 3 Treffer

von cmann
9. Mär 2010 13:18
Forum: Archiv
Thema: Alte Klausuren?
Antworten: 18
Zugriffe: 1869

Re: Alte Klausuren?

{l,r} gibt an, auf welcher Seite sich die Taschenlampe befindet. Das ist nöitg damit das Modell Sinn macht, wird in der Aufgabenstellung aber unterschlagen.
von cmann
12. Nov 2009 15:14
Forum: Archiv
Thema: Hausübung 3 Aufgabe 2.2 1. $ra Wert?
Antworten: 6
Zugriffe: 445

Hausübung 3 Aufgabe 2.2 1. $ra Wert?

In der Übung steht : Angenommen, die Funktion befindet sich an Speicheradresse 100_{16} und wird mittels jal function mit dem Parameter $a0 = 3 aufgerufen. Nehmen Sie außerdem an, dass $sp den Wert 4000_{16} hat. Zeichnen Sie für jeden Zustand nach Ausführung von Zeile 6 und 16 die Stackbelegung und...
von cmann
18. Jun 2008 19:47
Forum: Archiv
Thema: Herbrand-Struktur
Antworten: 4
Zugriffe: 2585

Re: Herbrand-Struktur

Hi, bei der Skolemisierung ersetzt du y durch eine Konstante z.B. c und z durch eine einstellige Funktion z.B. f Dadurch erhälst du eine erweiterte Signatur S=(c,f,R). Mit dieser kannst du dein Herbrandmodell bauen. Zur zweiten Frage: endliches Modell -> Trägermenge des Modelles ist endlich Elemente...

Zur erweiterten Suche