Die Suche ergab 7 Treffer

von Alexeyan
6. Feb 2017 23:33
Forum: Archiv
Thema: Klausurvorbereitungsvorlesung
Antworten: 17
Zugriffe: 2246

Re: Klausurvorbereitungsvorlesung

Also nochmal ganz eindeutig und fürs Protokoll: Am Donnerstag findet KEINE Vorbereitungsstunde statt?
von Alexeyan
24. Jan 2017 21:11
Forum: Archiv
Thema: 24.01.2017 Aufzeichnung toter Link
Antworten: 2
Zugriffe: 272

24.01.2017 Aufzeichnung toter Link

Hi.

Der Link auf die Aufzeichnung der Vorlesung vom 24.01.2017 gibt ein Error 404 zurück.
https://www.esa.informatik.tu-darmstadt ... 170124.mp4
Anm. Ich glaube euer OpenSSL-Version ist anfällig für Heartbleed.
von Alexeyan
1. Mär 2016 16:50
Forum: Archiv
Thema: Zustandsbedeutung
Antworten: 1
Zugriffe: 151

Zustandsbedeutung

\(\sigma \prime\) = \(\sigma\)[x\0]

Was genau bedeutet das, bzw. wie wird es gelesen?

Sigma-strich entspricht Sigma mit der Bedingung, dass x den Wert 0 zugewiesen bekommt?
In den Folien wird das nicht erklärt (Oder ich habe es nicht gefunden.
von Alexeyan
1. Mär 2016 16:37
Forum: Archiv
Thema: Musterlösung 6.2 a) Fehler
Antworten: 2
Zugriffe: 134

Re: Musterlösung 6.2 a) Fehler

Ah natürlich. Das "und" ist korrekt, da ja P(b1) und P(b2) erfüllt sein müssen für die Folgerung, dass P((b1 or b2)) erfüllt ist.
Mein Fehler :)

Vielen Dank für die Aufklärung.
von Alexeyan
1. Mär 2016 15:38
Forum: Archiv
Thema: Musterlösung 6.2 a) Fehler
Antworten: 2
Zugriffe: 134

Musterlösung 6.2 a) Fehler

In der Musterlösung ist ein Fehler in der letzten Bedingung.
Es sollte meines Erachtens nach ein v(oder) sein. Passend zum "or" im rechten Teil.

MfG
Alex
von Alexeyan
1. Mär 2016 14:20
Forum: Archiv
Thema: Foliensatz 5 Folie 16 Fehler?
Antworten: 1
Zugriffe: 138

Foliensatz 5 Folie 16 Fehler?

Sollten bei dem farbig unterlegten Beispiel für Substitution nicht auch die Klammern blau sein?
Die gehören doch zur Substitution dazu, oder?

MfG
Alex
von Alexeyan
23. Jul 2015 17:33
Forum: TGdI
Thema: Schon Informationen wo man sich als Tutor melden kann?
Antworten: 2
Zugriffe: 8232

Schon Informationen wo man sich als Tutor melden kann?

Hallo.

Ich habe gehört, dass nächstes Semester eine Gast-Professorin TGDI hält und wollte fragen ob schon jemand weiß wo man sich als Tutor melden kann.

MfG
Alex

Zur erweiterten Suche