KunterBuntesSeminar-SS13/Lightning Talks

2013-07-08T23:12:39Z

78.54.70.27: /* Themenliste */

{{:KunterBuntesSeminar-SS13/Terminseiten-Header|9|10. Juli 2013}}

== Abstract ==
Heute machen wir eine Lightning-Talk-Session. Das bedeutet, dass heute nicht nur ein interessantes Thema vorgestellt wird, sondern viele. Jedes Thema hat exakt 5 Minuten Zeit. Die Themen können nach wie vor als Vortrag, Workshop, Diskussion, oder was einem noch so einfällt, präsentiert werden. Nach der Session könnt ihr dann auf die Referenten zugehen und sie mit Fragen löchern.

Das Themenspektrum ist groß und breit gefächert, auf der Wikiseite findet ihr die Liste der Themen und Vortragenden.

== Themenliste ==

;17.13;
Henning – [[KunterBuntesSeminar-SS13/Lightning Talks/Unicode and Encoding|'''Unicode and Encoding:''' Or why bytes don't have a meaning]].

;17.20:
Jessica – Code-Kata

;17.27:
Ina und Sascha – TBA.

;17.34:
Marcel – Pathfinding

;17.41:
Sören – Fakten,Fakten,Fakten - Themen, die wirklich von Bedeutung sind.

;17.48:
Marc – Robocup: Das Orange muss ins Gelbe und die Beine müssen anders rum

;17.55:
Christian – Nerdhobby ohne Strom: Rollenspiel

;18.02:
Birthe - American Football.

;18.09:
Rafael – Webchat in 5 minuten

;18.16:
Fabidabi – Polizeispass

;18.23:
[[N.N.]] – [[KunterBuntesSeminar-SS13/Lightning Talks/Thema 11|'''Thema 11:''' Foobaren mit Foobar]].

== Vortragende ==
viele

== Folien/Material ==

Vortragsfolien bitte vor dem Vortrag dem Moderator (2thoms@inf) zukommen lassen.

= Weiterführende Links =
* http://en.wikipedia.org/wiki/Lightning_Talk

[[Kategorie:KunterBuntesSeminar]]

Gedächtnisprotokoll FGI210-1

2010-02-19T18:25:06Z

78.54.70.195:

== Aufgabe 1 ==

TS1 und TS2 gegeben

1. L(TS1) und L(TS2) angeben

2. Produktautomaten TS3 konstruieren mit <math>Sync=(x,x) \forall x \in A</math>

3. L(TS3) "berechnen"

4. Gilt <math>L(TS3) = L(TS1) \cap L(TS2)</math> ? Falls ja, gilt dies sogar allgemein?

5.

== Aufgabe X1 ==

Algorithmus so ungefähr gegeben:

f(n)
{
v := 0
for i=0 to n
{
v:=v+i;
}
return v/n;
}

1. Welchen Ausdruck berechnet der Algorithmus für n>0?

2. Schätze die Zeit- und Platzkomplexität im uniformen Kostenmaß ab.
3. Schätze die Zeit- und Platzkomplexität im logarithmischen Kostenmaß ab.

== Aufgabe X2 ==

Kripke-Struktur gegeben.

Per CTL-Algorithmus soll geprüft werden, ob EGa gilt.

1. Markiere alle Zustände (+ dazugehörende Kanten), in denen a gilt

2. Markiere alle SZK und kennzeichne die nicht trivialen.

3. Falls EGa gilt, gib einen entsprechenden Pfad in an (<math>\omega</math>-regulärer Ausdruck). Wie berechnet der Algorithmus diesen Pfad?

== Aufgabe X3 ==

Per Induktion sollte gezeigt werden, dass für alle erreichbaren Markierungen in allen Plätzen m(p) > 0 gilt, unter der Vorraussetzung, dass m0(p) > 0 in allen Plätzen ist, und W~(t,p) > 0 für alle t und p gilt.

== Aufgabe X4 ==

Das Workflow-Netz von einem der Aufgabenzettel war gegeben.

1. Ist das angegebene Workflow Netz N korrekt? (mit Begründung!)

2. Gilt folgende Aussage: Ein Workflow-Netz ist korrekt gdw. sein Abschluss <math>\overline{N}</math> lebendig ist.

Außerdem gabs noch Aufgaben:
Petrinetze (Startmarkierung als Vektor von Multimengen angeben, Folgemarkierungen berechnen, ...)
Vektorielle Zeitstempel (in Graphen eintragen),
BPA (Prozessgraphen zeichnen, Ableitung im Prozessgraphenkalkül, Reduktion mit den Axiomen),
Bisimilarität, Paralleloperator und Prozessgraph in ACP

Fachschaft Informatik - Benutzerbeiträge [de]

KunterBuntesSeminar-SS13/Lightning Talks

Gedächtnisprotokoll FGI210-1