Alle Beiträge dieses Benutzers
Ergebnisse 91 — 120 von 162
Hier findet Ihr noch einige nützliche Links zum Thema PDF Erstellung.
Grundsätzlich empfehle ich, Latex zu benutzen. Die Einarbeitung ist zwar etwas
aufwändiger. Dies zahlt sich aber auf längere Sicht aus, da Ihr im Verlauf des Studiums
vermutlich nicht daran vorbei kommt.
Grundsätzlich muss jeder selbst entscheiden, welche Tools er verwendet.
Diese Liste ist nur ein Vorschlag. Sollte jemand
von
Stefan Disch
-
Systeme 1 WS 2008/09
Es geht nur um technische/organisatorische Dinge.
So wird z.B. gezeigt, wie man Abgaben im PDF Format erstellen kann.
Wenn man daran nicht teilnimmt, hat man noch keine "inhaltlichen" Themen verpasst.
Allerdings werden die besprochenen Informationen danach als bekannt vorausgesetzt.
Grüße
Stefan
von
Stefan Disch
-
Systeme 1 WS 2008/09
Im ursprünglichen Post gab es einen Fehler.
Die Übungruppe findet von 11:00 bis 12:00 statt!
Fälschlicherweise hatte ich 10:00 bis 11:00 angegeben.
Grüße
Stefan Disch
von
Stefan Disch
-
Systeme 1 WS 2008/09
Hallo,
die ersten Übungen finden bereits nächste Woche statt (KW 44).
Da noch kein Übungsblatt besprochen wird, bekommt Ihr noch
einige organisatorische Information von den Tutoren und habt
Gelegenheit, Fragen zum Ablauf zu Stellen.
Grüße
Stefan Disch
von
Stefan Disch
-
Systeme 1 WS 2008/09
Hallo,
die Anmeldung zum Übungsportal ist jetzt offen. Bitte meldet Euch bis
Dienstag (28.10.) 20:00 Uhr an.
Bitte beachtet auch meinen Hinweis zu der neuen Übungsgruppe am Montag
in einem anderen Post.
Grüße
Stefan Disch
von
Stefan Disch
-
Systeme 1 WS 2008/09
Hallo,
wir haben jetzt eine Übungsgruppe auf Montag, 11:00-12:00 Uhr verlegt.
Ich hoffe, dass wir damit allen Teilnehmern der Vorlesung gerecht werden.
Bitte tragt Euch aber bitte nach Möglichkeit in eine der Gruppen am Mittwoch ein,
damit die Montagsgruppe für Studenten frei bleibt, die am Mittwoch keine Zeit haben.
Viele Grüße
Stefan Disch
von
Stefan Disch
-
Systeme 1 WS 2008/09
Hallo,
wer die Zugangsdaten benötigt, kann bei mir im Büro vorbeischauen oder
mir eine Mail schreiben. Ich kann leider die Zugangsdaten hier nicht veröffentlichen.
Die Anmeldung zu den Übungen erfolgt über unser Übungsportal (Vorlesungshomepage).
Momentan ist die Anmeldung noch nicht aktiv, da noch nicht klar ist, ob noch
eine Übungsgruppe verschoben wird.
Wenn hierzu Fragen sind, dann
von
Stefan Disch
-
Systeme 1 WS 2008/09
Hallo,
die Termine im Vorlesungsverzeichnis stimmen leider nicht. Diese wurden ohne
unser Wissen angelegt.
Dies bedeutet, dass nur die Termine auf unserer Vorlesungseite gelten!
Wie man sich dafür anmelden kann, wird am Donnerstag in der Vorlesung erklärt.
Grüße
Stefan
von
Stefan Disch
-
Systeme 1 WS 2008/09
Hallo *,
hiermit eröffne ich das Forum zur Vorlesung Systeme I im Wintersemester 2008/09.
Das Forum kann von jedem genutzt werden, bedarf allerdings 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.
Der Vorteil gegenüber einer persönlichen Mail an mich ist de
von
Stefan Disch
-
Systeme 1 WS 2008/09
Hallo,
die vorläufigen Ergebnisse sind in das System des Prüfungsamtes eingetragen und können
online (QIS) eingesehen werden.
Zur Klausureinsicht:
* Termin: Di. 08.04.2008 von 14:00 bis 15:00 Uhr
* Ort: Raum 051-00-026 (Besprechungsraum LS Becker).
Grüße
Stefan Disch
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
am Do. 04. Oktober findet von 15:00 Uhr bis 16:00 Uhr die
Klausureinsicht statt.
Ort: Geb. 051, Raum 00-026 (Besprechungsraum LS Becker).
Grüße
Stefan
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
die Klausuren sind korrigiert und die vorläufigen Noten stehen fest.
Diese wurden bereits in das System des Prüfungsamtes eingegeben und Ihr
könnt diese dann mit Eurem Login nachschauen.
Grüße
Stefan
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
wenn man CTL benutzt, ist jeder Temporaloperator IMMER mit einem Pfadquantor verknüpft.
Sonst ist es nicht mehr CTL! Es gibt natürlich noch andere Temporallogiken,
da hat man aber auch eine andere Semantik. Diese waren nicht Gegenstand der Vorlesung!
Ausdrücke wie z.B. AG(!a OR b U a) machen deshalb keinen Sinn, da nicht angegeben ist, ob der Teilausdruck bUa nun auf allen nachfolg
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
zu 1)
Ja, da sollte man alle Abhängigkeiten angeben.
zu 2)
Man sollte auch diese notieren, evtl. mit Hinweis, dass diese kein Problem darstellen können. Ob dies so ist hängt natürlich immer etwas von der Architektur ab. z.B. könnte das Ergebnis von Zeile 4 vor dem Sprung (Zeile 3) ausgewertet werden (out-of-order execution usw.). Es gibt also Fälle, bei denen man sich auch um solch
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Liebe Studenten,
hier noch einige Hinweise zur Klausur:
1) Sollte jemand Nebenfächler oder Lehramtsstudent sein,
bzw. aus anderen Gründen nicht über unser Prüfungsamt
verwaltet werden, dann schickt mir bitte eine Email.
In der Email sollte folgendes enthalten sein:
* Name
* Matr. Nr.
* Studiengang
* Wird ein (benoteter) Schein benötigt?
Dies betri
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
grundsätzlich kann alles in der Klausur gefragt werden, was in der Vorlesung
oder in den Übungen behandelt wurde.
Allerdings wird sich (wie üblich) die Klausur an den Übungsaufgaben orientieren,
d.h. wer die Übungen geübt und verstanden hat, wird mit der Klausur keine Probleme haben.
Es können aber auch Inhalte abgefragt werden, die sich in den Übungen nicht sinnvoll behandeln lasse
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
die beiden Aussagen sind nicht äquivalent.
siehe folgendes Gegenbeispiel:
~a->a->a->...
|
~a->a->a->...
|
~a->a->a->...
|
~a->a->a->...
|
usw.
Es gibt einen unendlich langen Pfad, der nicht a erfüllt. Von jedem Zustand gibt es aber eine Verzweigung zu einem Pfad auf dem immmer a gilt.
Dieses Beispiel erfüllt AG(EF a), aber nicht
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
die Musterlösungen werden leider grundsätzlich nicht veröffentlicht.
Der Grund ist, dass manche Aufgaben in den Folgejahren wieder verwendet werden sollen. Da es momentan für die Übungsblätter Bonuspunkte gibt, wollen wir verhindern, dass Musterlösungen in den Umlauf kommen.
Für die Besprechung und Lösungshinweise ist der Übungsbetrieb gedacht.
Dort es steht es jedem frei, sich No
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
Login und Passwörter kann ich nicht auf dieser Seite veröffentlichen, da
diese dann öffentlich verfügbar wären.
Die Zugangsdaten um die Folien der aktuellen Vorlesung herunterzuladen,
kann man bei mir via Mail erfragen.
Grüße
Stefan Disch
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
am Do. 18.07. findet 1 Stunde Vorlesung und danach eine Stunde Übung
statt.
Grüße
Stefan
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
Aufzeichnungen findet man immer unter:
Die letzte Aufzeichnung von 2003 unterscheidet sich in einigen Punkten,
die meisten Themen sind aber identisch.
Grüße
Stefan Disch
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
es wird 6 Übungsblätter geben, wobei noch nicht ganz klar ist,
ob das letzte etwas kleiner wird und dafür Prof. Scholl am letzten Do. im
Semester 1 Stunde Vorlesung macht.
Grüße
Stefan
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
drdreii Wrote:
-------------------------------------------------------
> hallo, wollte mal fragen, ob beim ctl ein ausdruck
> wie $\neg (EG \neg \varphi)$ gültig ist? und ob
Eine Negation über einen gültigen Teilausdruck ist erlaubt.
So ist z.B. $\neg \varphi$ eine erlaubte Erweiterung von $\varphi$.
Dies ist in der ersten Regel auf dem Übungsblatt beschrieben, wobei
\p
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo *,
die ersten Folien sind auf der Vorlesungs-Homepage verfügbar. Es gibt
jeweils eine originale und annotierte Version im PDF Format.
Nach Möglichkeit wird die originale Version vor der Vorlesung veröffentlicht.
Grüße
Stefan Disch
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo
hiermit eröffne ich das Forum zur Vorlesung Rechnerarchitektur im SS 2007.
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.
Der Vorteil gegenüber einer persönlichen Mail an mich ist der, dass eure Frag
von
Stefan Disch
-
Rechnerarchitektur SS 2007
Hallo,
die Ergebnisse der Systeme I Klausur können über das
Portal des Prüfungsamtes eingesehen werden.
Die Studenten, die NICHT darüber verwaltet werden (Nebenfächler,...), können ihr Ergebnis bei Stefan Disch (Raum 051-02-031) erfahren.
Die Klausureinsicht findet am Di. 25.04. von 14:00 - 16:00 Uhr statt (Raum 051-01-031).
Grüße
Stefan Disch
von
Stefan Disch
-
Systeme 1 WS 2005/06
Hallo,
die Ergebnisse werden in das System des Prüfungsamtes eingegeben.
Bei Studenten, die nicht darüber verwaltet werden (Nebenfächler,...), werde ich
auf der Homepage und hier im Forum diese Woche noch bekannt geben, wann sie bei
mir Ihr Ergebnis erfahren können.
Grüße
Stefan
von
Stefan Disch
-
Systeme 1 WS 2005/06
Hallo,
ich nehme an, Du redest von der Verwaltung freier Blöcke
in Dateisystemen.
Es wird so gemacht, wie Du vorgeschlagen hast. Die Nummern werden
in freien Blöcken gespeichert. Diese Blöcke bilden aber eine verkettete Liste.
(Kap. 2.4 Folie 52).
Grüße
Stefan
von
Stefan Disch
-
Systeme 1 WS 2005/06