D120.de/forum

Hallo, in meiner Masterarbeit beim Fachgebiet SecUSo entwickle ich ein Tool, das automatisch die Kategorie einer Website erkennt. Ziel des Ganzen ist es, Sicherheitswarnungen verständlicher zu machen, indem sie den Kontext (z.B. Online-Banking, Einkaufen, Informationssuche, ...) mit einbeziehen und ...

Ich habe eine Frage zur Aufgabe 3. Es geht um die SPARQL-Abfragen für "Finde alle ungeraden Zahlen" und "Finde alle Primzahlen". In der Musterlösung ist "Finde alle ungeraden Zahlen" über Verneinung der geraden Zahlen gelöst, aber kann man das nicht auch definieren als "Ungerade Zahlen sind alle Zah...

Gibt es von der Lösung für die 6 vielleicht auch einen Screenshot bzw. ein PDF? Ich bin irgendwie nicht so glücklich damit, CTE meinen Vor- und Nachnamen und meine E-Mail-Adresse mitzuteilen und zukünftig einmal im Jahr einen Newsletter zu bekommen, nur damit ich die Musterlösung sehen kann. Viele G...

Ich schätze, dass die genaue Ableitung der Funktion analytisch zu bestimmen keine Herausforderung darstellen sollte ;). Wenn wir die genaue Ableitung der Funktion analytisch bestimmen sollen, statt die eingebaute Funktion von SciLab zu verwenden, warum machen wir das Ganze dann eigentlich in SciLab...

Hallo,

egal ob nun in der 0. oder der 1. Woche, wann genau werden denn die drei Pflichtveranstaltungen stattfinden? Es ist nicht mehr so lange hin bis dahin, insofern wüsste ich langsam schon gerne einen definitiven Termin (Datum und Uhrzeit), um es einplanen zu können.

Viele Grüße
Anne

Ist die Einsicht wirklich erst nach der zweiten Teilklausur? Dann kann man aus den Fehlern der ersten Teilklausur nichts für die zweite Teilklausur lernen, das finde ich irgendwie schade. Wäre es nicht möglich, schon nach der Korrektur der ersten Teilklausur eine Einsicht anzubieten?
Viele Grüße
Anne

Wann und wo finden die Übungen am Montag und Dienstag statt? Ich habe auf der Veranstaltungswebsite keine Übersicht über alle Übungstermine gefunden.
Viele Grüße
Anne

<a, sigma> => n ist in den Folien definiert (Modul 9, Folie 8). Der Kalkül, der in Ü9 definiert wird, ist der noch fehlende Teil der alternativen Semantik: Die für Aexp und Com wurde in der Vorlesung vorgestellt, die für Bexp kommt dann in Übung 9. Die Definitionen aus den Vorlesungsfolien werden fü...

Vielen Dank an euch beide
Anne

Hallo,
wie genau berechnet sich die "mittlere Auslastung an der Garderobe"? Der Begriff "Auslastung" kommt in den Folien nicht vor, und ich bin mir nicht 100% sicher, welcher der vorkommenden Begriffe/Formeln gemeint ist.
Danke
Anne

Die Disjunktion in der ersten Formel ist quasi eine for-Schleife über alle möglichen Stein-Typen, nicht über die Positionen. Angenommen, D = {d1, d2, d3}, dann sagt die erste Formel zum Beispiel: Auf Platz (i,k) liegt ein Stein vom Typ d1 oder ein Stein vom Typ d2 oder ein Stein vom Typ d3, also: au...

Ja, kann man. Um die Korrektheit zu beweisen, muss man folgendes zeigen: Wenn die Prämissen allgemeingültig sind, dann ist auch die Konklusion allgemeingültig. Für die normalen Regeln des Sequenzenkalküls ist das bereits bewiesen, d.h. wenn deren Prämissen allgemeingültig sind, ist auch ihre Konklus...

Hallo,

da ich fast nur Leute kenne, die das Bachelorpraktikum schon gemacht haben oder erst später machen, Frage in die Runde: Wer von euch macht denn dieses Wintersemester das Bachelorpraktikum? Und habt ihr schon alle eine Gruppe?

Viele Grüße
Anne

Soweit ich weiß, gibt es darauf keine Punkte - aber frag den Assistenten, wenn du es ganz genau und 100% sicher wissen willst

Hi,
wie zeigt man, dass eine Matrix irreduzibel ist? Gibt es dafür einen einfachen Weg, oder muss ich das irgendwie über die Definition im Skript machen?
Viele Grüße & danke für Antworten
Anne