<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel>
        <title>LRA+ABS Forum - Rechnerarchitektur SS 2007</title>
        <description></description>
        <link>https://ira.informatik.uni-freiburg.de/phorum/list.php?42</link>
        <lastBuildDate>Tue, 17 Dec 2024 10:32:29 +0100</lastBuildDate>
        <generator>Phorum 5.2.23</generator>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2478,2478#msg-2478</guid>
            <title>Ergebnisse und Klausureinsicht der Klausur WS 07/08 (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2478,2478#msg-2478</link>
            <description><![CDATA[ Hallo,<br />
<br />
die vorläufigen Ergebnisse sind in das System des Prüfungsamtes eingetragen und können<br />
online (QIS) eingesehen werden.<br />
<br />
Zur Klausureinsicht:<br />
 * Termin: Di. 08.04.2008 von 14:00 bis 15:00 Uhr<br />
 * Ort: Raum 051-00-026 (Besprechungsraum LS Becker). <br />
<br />
Grüße<br />
 Stefan Disch]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Mon, 31 Mar 2008 11:00:43 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2365,2365#msg-2365</guid>
            <title>Klausureinsicht (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2365,2365#msg-2365</link>
            <description><![CDATA[ Hallo,<br />
<br />
am Do. 04. Oktober findet von 15:00 Uhr bis 16:00 Uhr die<br />
Klausureinsicht statt.<br />
Ort: Geb. 051, Raum 00-026 (Besprechungsraum LS Becker).<br />
<br />
Grüße<br />
Stefan]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Wed, 26 Sep 2007 16:02:38 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2364,2364#msg-2364</guid>
            <title>Ergebnis der Klausur (2 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2364,2364#msg-2364</link>
            <description><![CDATA[ Hallo,<br />
<br />
die Klausuren sind korrigiert und die vorläufigen Noten stehen fest.<br />
Diese wurden bereits in das System des Prüfungsamtes eingegeben und Ihr<br />
könnt diese dann mit Eurem Login nachschauen.<br />
<br />
Grüße<br />
 Stefan]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Thu, 27 Sep 2007 12:34:11 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2352,2352#msg-2352</guid>
            <title>Frage zu CTL (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2352,2352#msg-2352</link>
            <description><![CDATA[ Aufgaben-Quelle<br />
Becker 2006 / Anwesenheistaufgaben-Blatt 2<br />
[<a href="http://ira.informatik.uni-freiburg.de/src/teach_download.php"  rel="nofollow">ira.informatik.uni-freiburg.de</a>]<br />
Passwort ist das selbe wie dieses Jahr..<br />
<br />
Aufgabe 2<br />
Allgemein :<br />
Müssen die Formeln von jedem Zustand aus gelten, oder müssen sie immer vom Startzustand aus gelten (b)?<br />
<br />
2i) <br />
Da es einen unendlichen Pfad mit b-c-b-c-b-c... gibt, gilt diese Formel eigentilch nicht, ist das richtig? Zwar kann man von b zu a und von c - d, jedoch betrachten wir eben nur den Fall, man springe im Zyklus b-c hin und her. Und da die Aussage ja für ALLE Pfade gelten muss, ist sie falsch?<br />
<br />
Vielen Dank<br />
<br />
Eugen]]></description>
            <dc:creator>mayere</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Fri, 21 Sep 2007 13:37:33 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2350,2350#msg-2350</guid>
            <title>frage zu pipelining aufgaben (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2350,2350#msg-2350</link>
            <description><![CDATA[ hallo, <br />
hab da mal zwei fragen zu pipelining aufgaben bzw. den korrekten antworten:<br />
<br />
1) wenn man alle datenabhängigkeiten(RAW, WAR, WAW) in einem programm feststellen soll, soll man dann wirklich alle hinschreiben, d.h. auch die befehle, die weit voneinander liegen und im grunde nichts schief gehen kann?<br />
<br />
2) soll man abhängigkeiten, die augrund von unbedingten sprüngen verhindert werden trotzdem hinschreiben bsp. ÜB7 aufgabe 2, befehl 4 ?<br />
<br />
3) angenommen man hat folgendes programm:<br />
  1: a=b+c<br />
  2: jump to 4<br />
  3: z = a+b<br />
  4: ...<br />
<br />
jetzt soll man NOPs einfügen um abhängigkeiten zu vermeiden. RAW(1,3).<br />
muss man NOPs nach 1 einfügen, obwohl 3 nie ausgeführt wird? wenn ja, kann man darauf verzichten, weil man weiss, dass nops nach 2 ausgeführt werden?]]></description>
            <dc:creator>drdreii</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Fri, 21 Sep 2007 10:17:04 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2349,2349#msg-2349</guid>
            <title>Hinweise zur Klausur (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2349,2349#msg-2349</link>
            <description><![CDATA[ Liebe Studenten,<br />
<br />
hier noch einige Hinweise zur Klausur:<br />
<br />
1) Sollte jemand Nebenfächler oder Lehramtsstudent sein,<br />
   bzw. aus anderen Gründen nicht über unser Prüfungsamt<br />
   verwaltet werden, dann schickt mir bitte eine Email.<br />
<br />
   In der Email sollte folgendes enthalten sein:<br />
     * Name<br />
     * Matr. Nr.<br />
     * Studiengang<br />
     * Wird ein (benoteter) Schein benötigt?<br />
<br />
   Dies betrifft alle Studenten, die sich nicht über unser <br />
   Prüfungsamt zur Klausur anmelden müssen.<br />
<br />
2) Korrektur<br />
   Die Klausur wird noch am Mo./Di. korrigiert. Sobald die vorläufigen<br />
   Noten feststehen, werde ich diese in das System des Prüfungsamtes eingeben<br />
   und Ihr könnt diese dann online einsehen.<br />
<br />
2) Klausureinsicht<br />
   Der genaue Termin wird noch hier im Forum bekanntgegeben.<br />
<br />
<br />
<br />
Viel Erfolg<br />
 Stefan Disch]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Thu, 20 Sep 2007 17:35:04 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2343,2343#msg-2343</guid>
            <title>Bestimmung der Spalten bei Dekomposition im OBDD (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2343,2343#msg-2343</link>
            <description><![CDATA[ Wie bestimmt man eigentilch die Spalten in einem OBDD?<br />
Die Zeilen sind ja klar, die Anzahl der verb. Knoten der 2 Partitionen, aber wie sieht es mit den Spalten aus?<br />
<br />
Danke]]></description>
            <dc:creator>mayere</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Wed, 19 Sep 2007 11:49:15 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2340,2340#msg-2340</guid>
            <title>CTL - ÜB2, Aufgabe 2d. Komische Lösung? (6 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2340,2340#msg-2340</link>
            <description><![CDATA[ Ich habe eine kleine Frage zur CTL.<br />
<br />
ÜB2, Aufgabe 2d):<br />
<br />
(! = NOT)<br />
Musterlösung : !E(!bUa)<br />
Wieso heisst die Lösung nicht A(bUa) ?<br />
<br />
Was ist falsch an :<br />
<br />
AG(a-&gt;bUa) bzw ganz korrekt nach CTL : AG(!a OR !bU!a)<br />
<br />
Vielen Danke]]></description>
            <dc:creator>mayere</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Sat, 22 Sep 2007 23:25:23 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2339,2339#msg-2339</guid>
            <title>Routing : Lee - optimal? (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2339,2339#msg-2339</link>
            <description><![CDATA[ Auf den Vorlesungsfolien steht ( Kap5, Folie 36 ) :<br />
<br />
&quot;- garantier kürzeste Verdrahtungslänge.&quot;<br />
<br />
Somit wäre Routing nach Lee optimal.<br />
<br />
In den Übungsaufgaben hatten wir jedoch beweisen müssen ( ÜB4, Aufgabe 4), dass es Fälle gibt, bei denen das Verfahren nicht optimal arbeitet.<br />
<br />
Was ist nun richtig?<br />
<br />
Danke]]></description>
            <dc:creator>mayere</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Tue, 18 Sep 2007 15:51:06 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2335,2335#msg-2335</guid>
            <title>Frage zu Substitution (das mit den Hypercubes) (7 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2335,2335#msg-2335</link>
            <description><![CDATA[ Also irgendwie werd ich nicht schlau draus... hab das Verstehen, warum das so geht wies zu gehn scheint aber mittlerweile aufgegeben, daher fänd ichs cool, wenn mir jemand bestätigt, dass ich den Algorithmus aus den Folien richtig abgeleitet habe:<br />
<br />
1. bestimme ON(f)<br />
2. bestimme DC(g), also die Stellen im Hypercube, bei denen das Ergebnis der Fkt. g != der letzten Position _ (x1,x2,x3,_) ist<br />
<br />
3. finde Minimale Überdeckung (Primimplikanten?) wobei <br />
  -die Elemente aus ON(f), die auch in DC(g) sind nicht betrachtet werden müssen, aber dürfen (um z.B. einen kleineren Implikanten zu finden)<br />
  -nicht alle Elemente der Menge DC(g) überdeckt werden müssen <br />
  -auf jeden Fall alle Elemente von ON(f), die nicht in DC(g) sind überdeckt werden müssen<br />
<br />
Ausserdem fänd ichs gut, wenn jemand, der in der ÜG mitgeschrieben hat oder das selbst gerechnet hat, die Lösungen der Aufgabe 1c vom Blatt 3 posten könnte - meine eigenen Mitschriebe sind irgendwie inkonsistent...<br />
<br />
Und schließlich noch: Wenn sowas in der Klausur drankommen sollte, bekommen wie Hypercube Vordrücke? Und welche Farben darf man benutzen beim Malen?<br />
<br />
<br />
viele Grüße,<br />
Dosn]]></description>
            <dc:creator>dosn</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Sun, 23 Sep 2007 13:08:43 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2334,2334#msg-2334</guid>
            <title>ÜB 7, Aufg.2-4 (3 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2334,2334#msg-2334</link>
            <description><![CDATA[ hab jetzt nun die restlichen Aufgaben des Blattes 7 gemacht:<br />
<br />
Frage: Soll man die Abhängigkeiten mit 4 angeben, obwohl 4 nie ausgeführt wird?<br />
Aufg.2 RAW:  1-&gt;0, 1-&gt;6, (0-&gt;4),(2-&gt;4),(4-&gt;6)<br />
       WAR:  1-&gt;2, (1-&gt;4)<br />
       WAW:  0-&gt;2, (1-&gt;4)<br />
<br />
Aufg.3 a) ist wahrscheinlich klar, oder?<br />
       b) (T)(N)(T) T (N)(T) T T (N)(T) T T T (N)(T) T T T T (N) <br />
          Fehler in Klammern!<br />
         -&gt;10 Fehler<br />
       c) (T)(N)(T)(T)(N) T T T (N) T T T T (N) T T T T T (N) <br />
         -&gt;8 Fehler -&gt; Verbesserung!<br />
<br />
Aufg.4 Höherwertige Bits adressieren einen größeren Bereich im Befehlsspeicher<br />
       -&gt; alle Sprungvorhersagen eines Bereichs würden den selben Hashindex haben<br />
       -&gt; alle Sprünge eines Programms würden dann z.B. an der selben Stelle in                                 der Tabelle gespeichert werden, was zu keinem sinnvollen Vorhersagen führen würde<br />
<br />
<br />
Bitte um Korrektur bzw. Bestätigung! Danke!]]></description>
            <dc:creator>drdreii</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Sat, 22 Sep 2007 16:59:37 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2333,2333#msg-2333</guid>
            <title>ÜB 7 ,  aufg.1 (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2333,2333#msg-2333</link>
            <description><![CDATA[ hallo, hab mal die aufgabe 1 von üb 7 gemacht, und wollt fragen, ob ich die aufgabe so richtig verstanden habe:<br />
<br />
a) Festplatte: 8 MB/s -&gt;5% =  0,4 MB/s<br />
   32 Byte pro Transfer an CPU -&gt; 0,4 MB/32 Byte =  13107,2 Interrupts/s<br />
-&gt; 13107,2*1000 Zyklen/s für Datentransfer <br />
-&gt; 13107200/800000000 = 0,016 = 1,6% der CPU Zeit<br />
<br />
b) 0,4 MB/16 KB = 25,6<br />
-&gt; 25,6*2000 = 51200<br />
-&gt; 51200/800000000 = 0,000064 = 0,0064% der CPU Zeit<br />
<br />
Könnt vielleicht jmd bescheid sagen, ob er/sie das gleiche hat,bzw. was ich falsch verstanden habe!]]></description>
            <dc:creator>drdreii</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Tue, 18 Sep 2007 19:38:07 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2330,2330#msg-2330</guid>
            <title>Klausurthemen (2 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2330,2330#msg-2330</link>
            <description><![CDATA[ Hallo, ich hätte zwei kleine Fragen:<br />
<br />
Können wir davon ausgehen, dass die Themen, die in den Übunsaufgaben betrachten worden sind, sind auch genau die Themen die für die Klausur relevant sind?<br />
<br />
Oder besteht vielleicht die möglichkeit eine Themenliste zu bekommen mit den Schwerpunkte die man für die Klausur lernen soll?]]></description>
            <dc:creator>Sergio A. Feo Arenis</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Mon, 10 Sep 2007 17:34:47 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2326,2326#msg-2326</guid>
            <title>CTL (2 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2326,2326#msg-2326</link>
            <description><![CDATA[ hallo,<br />
<br />
wollte mal fragen, ob es seien kann dass folgende aussagen im prinzip das selbe ausdrücken:<br />
<br />
AG( AF a ) und AG( EF a )<br />
<br />
das heißt, von jedem zustand in dem berechnungsbaum ist ein zustand erreichbar, indem a gilt, und das unendlich oft.]]></description>
            <dc:creator>drdreii</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Fri, 07 Sep 2007 15:55:49 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2324,2324#msg-2324</guid>
            <title>Lösungen Übungsblätter (2 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2324,2324#msg-2324</link>
            <description><![CDATA[ Hallo,<br />
<br />
ich frage mich ob es möglich wäre, die Lösungen der Übungsblätter für die Vorlesungsteilnehmer freizugben. Es geht hier schlichtweg darum, dass man die ÜB somit auch zum üben auf die Klausur nutzen kann und so seine Ergebnisse kontrollieren kann.<br />
<br />
Man kann die Lösungen ja nicht mehr dafür nutzen, bei der Übungsblattabgabe zu &quot;bescheissen&quot;.<br />
<br />
Vielen Danke<br />
<br />
Eugen]]></description>
            <dc:creator>mayere</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Fri, 07 Sep 2007 13:49:56 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2322,2322#msg-2322</guid>
            <title>Was ist das Passwod von Vorlesungen Downloaded (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2322,2322#msg-2322</link>
            <description><![CDATA[ Hallo,<br />
<br />
ich will die Vorlesungen herunterladen, ich hab aber gefunden, dass ich Benutzer name und Password brauche !!!!<br />
mit welchem Password kann ich downloaden ?!<br />
wie kann ich dieses Password bekommen ?!!!!!<br />
<br />
<br />
Viele Grüße<br />
Wael]]></description>
            <dc:creator>waelsy</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Mon, 13 Aug 2007 14:04:27 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2315,2315#msg-2315</guid>
            <title>Do. 18.07.: Vorlesung + Übung (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2315,2315#msg-2315</link>
            <description><![CDATA[ Hallo,<br />
<br />
am Do. 18.07. findet 1 Stunde Vorlesung und danach eine Stunde Übung<br />
statt.<br />
<br />
Grüße<br />
 Stefan]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Wed, 18 Jul 2007 19:11:25 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2314,2314#msg-2314</guid>
            <title>Help me Please!Dringend! (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2314,2314#msg-2314</link>
            <description><![CDATA[ MOV	SI, 0<br />
	MOV	CX, MAX<br />
ZYKL:	MOV	AX, VEKTOR1+SI<br />
	ADD	AX,VEKTOR2+SI<br />
	MOV	VEKTOR3+SI,AX<br />
	ADD	SI, 2<br />
	LOOP	ZYKL<br />
 kann mir jemand erklären was bedeutet das ganze.zeile nach zeile.<br />
danke im voraus!<br />
mfg]]></description>
            <dc:creator>DoktorA</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Wed, 18 Jul 2007 18:48:40 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2305,2305#msg-2305</guid>
            <title>Aufzeichnungen der Vorlesung (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2305,2305#msg-2305</link>
            <description><![CDATA[ Hi,<br />
<br />
wollte mal fragen, ob/wo man die Aufzeichnungen vom letzten Jahr bekommt, da dieses JAhr ja leider nicht aufgenommen wird...<br />
<br />
hab den Link gefunden, der geht aber nicht<br />
<br />
[<a href="http://porta.informatik.uni-freiburg.de/lectures/Rechnerarchitektur/03-ss/Vorlesungsaufzeichnung/recordings.html"  rel="nofollow">porta.informatik.uni-freiburg.de</a>]<br />
<br />
<br />
viele Grüße,<br />
Dominic]]></description>
            <dc:creator>dosn</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Wed, 04 Jul 2007 10:11:05 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2293,2293#msg-2293</guid>
            <title>Übungsblatt 4 online (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2293,2293#msg-2293</link>
            <description><![CDATA[ Viel Erfolg<br />
 Stefan]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Tue, 19 Jun 2007 14:55:58 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2290,2290#msg-2290</guid>
            <title>Anzahl der Übungsblätter (2 replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2290,2290#msg-2290</link>
            <description><![CDATA[ Ist es eigentlich schon klar wie viele Übungsblätter es insgesamt geben wird?]]></description>
            <dc:creator>Jenny</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Tue, 19 Jun 2007 14:55:19 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2258,2258#msg-2258</guid>
            <title>Übungsblatt 3 online (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2258,2258#msg-2258</link>
            <description><![CDATA[ Hallo,<br />
<br />
das neue Übungsblatt (Nr. 3) ist verfügbar.<br />
<br />
Viel Erfolg<br />
 Stefan]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Tue, 05 Jun 2007 14:39:42 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2245,2245#msg-2245</guid>
            <title>Fragen zum CTL (1 reply)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2245,2245#msg-2245</link>
            <description><![CDATA[ hallo, wollte mal fragen, ob beim ctl ein ausdruck wie [tex] $\neg (EG \neg \varphi)$ [/tex] gültig ist? und ob man wie in aussagelogischen ausdrücken sagen kann, dass z.B. A x = nicht (E nicht x)?]]></description>
            <dc:creator>drdreii</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Wed, 16 May 2007 09:36:42 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2216,2216#msg-2216</guid>
            <title>Vorlesungsfolien (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2216,2216#msg-2216</link>
            <description><![CDATA[ Hallo *,<br />
<br />
die ersten Folien sind auf der Vorlesungs-Homepage verfügbar. Es gibt<br />
jeweils eine originale und annotierte Version im PDF Format.<br />
Nach Möglichkeit wird die originale Version vor der Vorlesung veröffentlicht.<br />
<br />
Grüße<br />
Stefan Disch]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Tue, 24 Apr 2007 09:09:21 +0200</pubDate>
        </item>
        <item>
            <guid>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2210,2210#msg-2210</guid>
            <title>RA Forum (no replies)</title>
            <link>https://ira.informatik.uni-freiburg.de/phorum/read.php?42,2210,2210#msg-2210</link>
            <description><![CDATA[ Hallo<br />
<br />
hiermit eröffne ich das Forum zur Vorlesung Rechnerarchitektur im SS 2007.<br />
<br />
Das Forum kann von jedem genutzt werden und bedarf einer Anmeldung. Es ist dazu gedacht, Fragen zu stellen und Informationen auszutauschen; weiter versuche ich bei Unklarheiten in der Vorlesung oder in den Übungsaufgaben zu helfen.<br />
<br />
Der Vorteil gegenüber einer persönlichen Mail an mich ist der, dass eure Fragen bestimmt auch für viele andere interessant sind.<br />
<br />
Das Forum ist natürlich _nicht_ dazu gedacht, Lösungen von Übungsblättern oder ähnliches zu dieser oder anderen Vorlesungen zu verbreiten.<br />
<br />
Weiter prüfe ich Beiträge regelmäßig nach bestem Wissen und Gewissen auf Verstöße gegen geltendes Recht. Ich behalte es mir grundsätzlich vor, Beiträge nach eigenem Ermessen zu löschen. Gelöscht werden beispielsweise: Beiträge, die nichts mit dem Thema des Forums zu tun haben bzw. zu stark davon abweichen, persönliche Auseinandersetzungen, durch die Poster oder Drittpersonen angegriffen werden und Werbe- bzw. gewerbliche Beiträge.<br />
<br />
Grüße<br />
Stefan Disch]]></description>
            <dc:creator>Stefan Disch</dc:creator>
            <category>Rechnerarchitektur SS 2007</category>
            <pubDate>Thu, 12 Apr 2007 16:17:18 +0200</pubDate>
        </item>
    </channel>
</rss>
