Fachschaft Informatik - Benutzerbeiträge [de]

KunterBuntesSeminar-WS11

2011-12-03T14:21:55Z

78.54.29.207: /* Themen */

Das ist die Seite von dem [[KunterBuntesSeminar|KunterBuntenSeminar]] im [[Termine_WS_11/12 | Wintersemester 2011/2012]], welches das siebte Semester ist, in dem es stattfindet.

== Termine ==
Das [[KunterBuntesSeminar|KunterBunteSeminar]] findet dieses Semester wieder woechentlich statt. Es findet jeden Donnerstag im Semester von 18:30 Uhr bis 20:00 Uhr im Raum C-221 statt. Du bist herzlich eingeladen zu kommen :)

Solltest du einen neuen Termin erstellen, schreibe dein Abstract bitte in der dritten Person, so dass sich davon einfach eine E-Mail generieren lässt. Du bist außerdem dazu aufgerufen, in die erste Zeile deiner Themenseite ein [[KunterBuntesSeminar-WS11/Terminseiten-Header | solches]] Makro zu schreiben.

=== Themen ===
; 20.10.2011: 3girlich, [[Benutzer:0funke|0funke]], 7licina – Host: [[7kraemer]] - [[KunterBuntesSeminar-WS11/Leben in und mit der Uni|Leben in und mit der Uni]] (Besucher: 13)
; 27.10.2011: 6keitzel - Host: [[Benutzer:0funke|0funke]] – [[KunterBuntesSeminar-WS11/Workshop Rechnerbenutzung|Workshop Rechnerbenutzung]] (Besucher: 19)
; 03.11.2011: 6stannek, [[Benutzer:0funke|0funke]] – Host: [[Benutzer:0funke|0funke]] - [[KunterBuntesSeminar-WS11/Ubuntu-Installationsparty|Ubuntu-Installationsparty]] (Besucher: 19)
; 10.11.2011: 3girlich, 8weging - Host: [[Benutzer:0funke|0funke]] – [[KunterBuntesSeminar-WS11/Sleephacking|Sleephacking]] (Besucher: 23)
; 17.11.2011: [[4winter]] - Host: [[Benutzer:0funke|0funke]] – [[KunterBuntesSeminar-WS11/Python im Wunderland|Python im Wunderland]] (Besucher: 26)
; 24.11.2011: [[0helms]] - Host: [[Benutzer:0funke|0funke]] – [[KunterBuntesSeminar-WS11/Ernährung und Kochen für Erstsemester|Ernährung und Kochen für Erstsemester]] Raum Änderung: Dieses KBS findet in F-534 statt. (Besucher: 12)
; 01.12.2011: Viele - Host: [[Paula (9brunner)]] – [[KunterBuntesSeminar-WS11/Lightning Talks|Lightning Talks]] (Besucher: 32)
; 08.12.2011: [[Benutzer:0funke|0funke]] - Host: [[N.N.]] – [[KunterBuntesSeminar-WS11/CryptoCampagne|CryptoCampagne]] (Besucher: ?)
; 15.12.2011: [[Benutzer:0funke|0funke]], 8paetzel - Host: [[N.N.]] – [[KunterBuntesSeminar-WS11/Gesellschaftstanz für Informatiker|Gesellschaftstanz für Informatiker]] Raum Änderung: Dieses KBS findet in R-031 statt. (Besucher: ?)
; 22.12.2011: [[8pridoeh]] - Host: [[N.N.]] – [[KunterBuntesSeminar-WS11/Advanced Python|Advanced Python]] (Besucher: ?)

; 24.12.2011 bis 08.01.2012: Weihnachtsferien
; 12.01.2012: 7fietkau - Host: [[N.N.]] – [[KunterBuntesSeminar-WS11/Web-Publishing als Student|Web-Publishing als Student]] (Besucher: ?)
; 19.01.2012: bjoernb - Host: [[N.N.]] – [[KunterBuntesSeminar-WS11/Console Tools|Console Tools]] (Besucher: ?)
; 26.01.2012: [[N.N]] - Host: [[N.N.]] – [[KunterBuntesSeminar-WS11/Lightning Talks 2|Lightning Talks 2]] (Besucher: ?)
; 02.02.2012: Alle - Host: [[N.N.]] – [[KunterBuntesSeminar-WS11/Plenum|Plenum]] (Besucher: ?)

== Themenvorschläge ==

Dieses Semester sollen interessante Themen aus Bereichen, die die MaFiAsi interessieren, vorgestellt werden. Ideen fuer Seminare koennen der Themenliste entnommen werden:

* [[KunterBuntesSeminar/Themen#Themenvorschlaege|Themenvorschlaege]]

Vielleicht hast du ja Lust zu einem der Vorschlaege einen Seminartermin zu gestalten, oder hast eine andere tolle Idee? Melde dich einfach auf der Mailingliste.

== Mailingliste ==
Das KBS hat auch eine Mailingliste welche über [mailto:kbs@informatik.uni-hamburg.de kbs@informatik.uni-hamburg.de] erreicht werden kann. Auf dieser Mailingliste sind alle Interessierten willkommen.

Um auf diese Mailingliste zu kommen, musst du nur eine E-Mail an [mailto:kbs-subscribe@informatik.uni-hamburg.de kbs-subscribe@informatik.uni-hamburg.de] schreiben oder dich per [https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kbs Webinterface] anmelden.

== Vortragsaufzeichnung ==

Das KBS soll dieses Semester wieder regelmäßig aufgezeichnet und auf [http://lecture2go.uni-hamburg.de/veranstaltungen?p_p_id=gastVeranstaltungen_WAR_samplel2ggnspringportlet&p_p_lifecycle=1&p_p_state=normal&p_p_mode=view&p_p_col_id=column-1&p_p_col_count=1 Lecture2Go] veröffentlicht werden, wenn der Vortragende nichts dagegen hat. Aufgezeichnet wird das Beamer-Bild (egal ob Folien, Videos, andere Software) und der oder die Vortragenden in Bild und Ton. Das Publikum wird nicht gefilmt und ist in den Aufnahmen nicht zu sehen und lediglich evtl. sehr leise zu hören.

Wir haben alle Rechte an den Aufnahmen (sofern die Folien keine Urheberrechtsverletzungen darstellen) und können sie auf jede Art und Weise und in unseren Lieblingsformaten verteilen. Die Möglichkeit die Videos auch als OGG/Theora auf Lecture2Go zur Verfügung zu stellen wird noch geprüft. Falls du als Vortragender nicht damit einverstanden bist aufgezeichnet zu werden, dann beschränken wir uns auf den Ton und die Folien. Bitte informiere deinen Host rechtzeitig darüber.

== Materialien ==

* [[KunterBuntesSeminar/ChecklisteSeminar|Checkliste für Referenten]]
* [[KunterBuntesSeminar/Aufgaben des Hosts|Aufgaben des Hosts]]
* [[KunterBuntesSeminar/Cake in a Mug|Cake in a Mug]]
* [[KunterBuntesSeminar/Finanzen|Finanzen]]
* [[KunterBuntesSeminar/Themen#Themenvorschlaege|Themenvorschlaege]]
* [[KunterBuntesSeminar/Plakate|Offline Werbung]]
* [[KunterBuntesSeminar/KBB|Maskottchen]]

[[Kategorie:KunterBuntesSeminar]]

Gedächtnisprotokoll FGI109-1

2009-07-27T17:42:50Z

78.54.29.106: /* Teil 1: Logik */

== Teil 1: Logik ==

Aufgabe1: 1. Erläutere folgende Zeichen (Zeichen für Implikation, Ableitung mittels Modus Ponens und Folgerbarkeit war gegeben).
Erläutere den Zusammenhang zwischen folgenden zeichen:

a) Folgerbarkeit - Implikation
b) Implikation - Modus Ponens
c) Modus Ponens - Folgerbarkeit

Aufgabe2:
Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar)
In der Art: Seien F und G Formeln.
F ist Tautologie, G unerfüllbar, Ist dann F=>G gültig, kontingent, unerfüllbar?
und das für mehrere verschiedene formeln/Bedingungen! Waren 6 Formeln

3. Definiere Hornklausel, Hornformel, Literal und Implikationsschreibweise.

Aufgabe4:
Noch eine aus dem ersten Teil zum Markierungsalgorithmus:
a) Welche Eingabe nimmt der Algorithmus, welches Resultat liefert er?
Gib Eingabe und Ausgabe an und beschreibe den Algorithmus möglichst genau!
b) Begründen Sie, warum der Algorithmus immer terminiert.
c) Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert.

Aufgabe5: Resolution
folgerbarkeit einer Formel F von einer Formelmenge M zeigen (stand afaik zeigen da, d.h. es war klar, dass sie Folgerbar war..)

Aufgabe6: Unifikation
3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann
u, v, w, x, y, z - Variablen
P - Aussagensymbol
a) P( irgendwas ) P ( irgendas ) P (Irgendwas)
b) Blub
c) P ( h ( x, f(w) ), x), P( f(y), h(z), y)
(So etwa)

Aufgabe ?7?
Ist die Menge 2^M abzählbar, wenn
  O M abzählbar ist
  O M aufzählbar ist
  O M entscheidbar ist

waren insgesamt 7 aufgaben im ersten teil, die andere weiß ich grad nicht..

== Teil 2: Formale Sprachen, Automaten und Komplexität ==
1. Alphabet gegeben (a, b). Gib jeweils geforderte Sprache sowie alle Wörter der Länge 3 über Alphabet-Stern an, die nicht enthalten sind!
a) Alle Wörter, in denen kein a vor einem b steht

b) Alle Wörter, in denen ab oder ba, aber nicht beide enthalten sind

(Die Aufgabe war glaub ich umfangreicher..)

2. Kellerautomat gegeben - gib an, welche Sprache aktzeptiert wird.

3. Aussagen über formale Sprache, NPSpace, NSpace, Entscheidbarkeit

4.
a) Definiere Entscheidbarkeit
b) Wieder Aussagen und Fragen

5. Deterministischer Automat gegeben - erstelle nichtdeterministischen (Zustände q0 und q1, q1 Endzustand, q0

Anfangszustand, a-Pfeil von q0 nach q1 und von q0 nach q0, b-Pfeil von q1 nach q0, das wars glaub ich..)

6. Wie würdest du vorgehen, wenn du testen willst, ob ein Problem NP-vollständig ist?

[[Kategorie:Gedaechtnisprotokoll|FGI1]]

Gedächtnisprotokoll FGI109-1

2009-07-27T17:40:41Z

78.54.29.106: /* Teil 1: Logik */

== Teil 1: Logik ==

Aufgabe1: 1. Erläutere folgende Zeichen (Zeichen für Implikation, Ableitung mittels Modus Ponens und Folgerbarkeit war gegeben).
Erläutere den Zusammenhang zwischen folgenden zeichen:

a) Folgerbarkeit - Implikation
b) Implikation - Modus Ponens
c) Modus Ponens - Folgerbarkeit

Aufgabe2:
Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar)
In der Art: Seien F und G Formeln.
F ist Tautologie, G unerfüllbar, Ist dann F=>G gültig, kontingent, unerfüllbar?
und das für mehrere verschiedene formeln/Bedingungen! Waren 6 Formeln

3. Definiere Hornklausel, Hornformel, Literal und Dingsda.

Aufgabe4:
Noch eine aus dem ersten Teil zum Markierungsalgorithmus:
a) Welche Eingabe nimmt der Algorithmus, welches Resultat liefert er?
Gib Eingabe und Ausgabe an und beschreibe den Algorithmus möglichst genau!
b) Begründen Sie, warum der Algorithmus immer terminiert.
c) Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert.

Aufgabe5: Resolution
folgerbarkeit einer Formel F von einer Formelmenge M zeigen (stand afaik zeigen da, d.h. es war klar, dass sie Folgerbar war..)

Aufgabe6: Unifikation
3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann
u, v, w, x, y, z - Variablen
P - Aussagensymbol
a) P( irgendwas ) P ( irgendas ) P (Irgendwas)
b) Blub
c) P ( h ( x, f(w) ), x), P( f(y), h(z), y)
(So etwa)

Aufgabe ?7?
Ist die Menge 2^M abzählbar, wenn
  O M abzählbar ist
  O M aufzählbar ist
  O M entscheidbar ist

waren insgesamt 7 aufgaben im ersten teil, die andere weiß ich grad nicht..

== Teil 2: Formale Sprachen, Automaten und Komplexität ==
1. Alphabet gegeben (a, b). Gib jeweils geforderte Sprache sowie alle Wörter der Länge 3 über Alphabet-Stern an, die nicht enthalten sind!
a) Alle Wörter, in denen kein a vor einem b steht

b) Alle Wörter, in denen ab oder ba, aber nicht beide enthalten sind

(Die Aufgabe war glaub ich umfangreicher..)

2. Kellerautomat gegeben - gib an, welche Sprache aktzeptiert wird.

3. Aussagen über formale Sprache, NPSpace, NSpace, Entscheidbarkeit

4.
a) Definiere Entscheidbarkeit
b) Wieder Aussagen und Fragen

5. Deterministischer Automat gegeben - erstelle nichtdeterministischen (Zustände q0 und q1, q1 Endzustand, q0

Anfangszustand, a-Pfeil von q0 nach q1 und von q0 nach q0, b-Pfeil von q1 nach q0, das wars glaub ich..)

6. Wie würdest du vorgehen, wenn du testen willst, ob ein Problem NP-vollständig ist?

[[Kategorie:Gedaechtnisprotokoll|FGI1]]

Gedächtnisprotokoll FGI109-1

2009-07-27T17:28:00Z

78.54.29.106: /* Teil 1: Logik */

== Teil 1: Logik ==

Aufgabe1: 1. Erläutere folgende Zeichen (Zeichen für Implikation, Ableitung mittels Modus Ponens und Folgerbarkeit war gegeben).
Erläutere den Zusammenhang zwischen folgenden zeichen:

a) Folgerbarkeit - Implikation
b) Implikation - Modus Ponens
c) Modus Ponens - Folgerbarkeit

Aufgabe2:
Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar)
In der Art: Seien F und G Formeln.
F ist Tautologie, G unerfüllbar, Ist dann F=>G gültig, kontingent, unerfüllbar?
und das für mehrere verschiedene formeln/Bedingungen! Waren 6 Formeln

3. Definiere Hornklausel, Hornformel, Literal und Dingsda.

Aufgabe4:
Noch eine aus dem ersten Teil zum Markierungsalgorithmus:
a) Welche Eingabe nimmt der Algorithmus, welches Resultat liefert er?
Gib Eingabe und Ausgabe an und beschreibe den Algorithmus möglichst genau!
b) Begründen Sie, warum der Algorithmus immer terminiert.
c) Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert.

Aufgabe5: Resolution
folgerbarkeit einer Formel F von einer Formelmenge M zeigen (stand afaik zeigen da, d.h. es war klar, dass sie Folgerbar war..)

Aufgabe6: Unifikation
3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann
u, v, w, x, y, z - Variablen
P - Aussagensymbol
a) P( irgendwas ) P ( irgendas ) P (Irgendwas)
b) Blub
c) P ( h ( x, f(w) ), x), P( f(y), h(z), y)
(So etwa)

waren insgesamt 7 aufgaben im ersten teil, die andere weiß ich grad nicht..

== Teil 2: Formale Sprachen, Automaten und Komplexität ==
1. Alphabet gegeben (a, b). Gib jeweils geforderte Sprache sowie alle Wörter der Länge 3 über Alphabet-Stern an, die nicht enthalten sind!
a) Alle Wörter, in denen kein a vor einem b steht

b) Alle Wörter, in denen ab oder ba, aber nicht beide enthalten sind

(Die Aufgabe war glaub ich umfangreicher..)

2. Kellerautomat gegeben - gib an, welche Sprache aktzeptiert wird.

3. Aussagen über formale Sprache, NPSpace, NSpace, Entscheidbarkeit

4.
a) Definiere Entscheidbarkeit
b) Wieder Aussagen und Fragen

5. Deterministischer Automat gegeben - erstelle nichtdeterministischen (Zustände q0 und q1, q1 Endzustand, q0

Anfangszustand, a-Pfeil von q0 nach q1 und von q0 nach q0, b-Pfeil von q1 nach q0, das wars glaub ich..)

6. Wie würdest du vorgehen, wenn du testen willst, ob ein Problem NP-vollständig ist?

[[Kategorie:Gedaechtnisprotokoll|FGI1]]

Gedächtnisprotokoll FGI109-1

2009-07-27T17:23:35Z

78.54.29.106: /* Teil 2: Formale Sprachen, Automaten und Komplexität */

== Teil 1: Logik ==

Aufgabe1: man sollte 3 "Zeichen" erklären
1. implikation
2. folgerbarkeit
3. ableitung durch MP (keine ahnung wie es heißt :/ )

Aufgabe2:
Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar)
In der Art: Seien F und G Formeln.
F ist Tautologie, G unerfüllbar, Ist dann F=>G gültig, kontingent, unerfüllbar?
und das für mehrere verschiedene formeln/Bedingungen! Glaube warn 3 oder 4!

Aufgabe3:
Noch eine aus dem ersten Teil zum Markierungsalgorithmus: Welche Eingabe nimmt der Algorithmus, welches Resultat liefert er? Dann den Ablauf des Algorithmus aufschreiben. Ich denke hier wäre Pseudocode und ein Diagramm wie es auch im Skript war gefragt gewesen.
Dann noch zwei Fragen dazu:
Begründen Sie, warum der Algorithmus immer terminiert.
Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert.

Aufgabe4: Resolution
folgerbarkeit einer Formel F von einer Formelmenge M zeigen/wiederlegen
Formel ma in Implikationsschreibweise gegeben

Aufgabe5: Unifikation
3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann

waren insgesamt 7 aufgaben im ersten teil, an die andern beiden kann ich mich grad nicht erinnern.

== Teil 2: Formale Sprachen, Automaten und Komplexität ==
1. Alphabet gegeben (a, b). Gib jeweils geforderte Sprache sowie alle Wörter der Länge 3 über Alphabet-Stern an, die nicht enthalten sind!
a) Alle Wörter, in denen kein a vor einem b steht

b) Alle Wörter, in denen ab oder ba, aber nicht beide enthalten sind

(Die Aufgabe war glaub ich umfangreicher..)

2. Kellerautomat gegeben - gib an, welche Sprache aktzeptiert wird.

3. Aussagen über formale Sprache, NPSpace, NSpace, Entscheidbarkeit

4.
a) Definiere Entscheidbarkeit
b) Wieder Aussagen und Fragen

5. Deterministischer Automat gegeben - erstelle nichtdeterministischen (Zustände q0 und q1, q1 Endzustand, q0

Anfangszustand, a-Pfeil von q0 nach q1 und von q0 nach q0, b-Pfeil von q1 nach q0, das wars glaub ich..)

6. Wie würdest du vorgehen, wenn du testen willst, ob ein Problem NP-vollständig ist?

[[Kategorie:Gedaechtnisprotokoll|FGI1]]

Gedächtnisprotokoll FGI109-1

2009-07-27T17:23:18Z

78.54.29.106: /* Teil 2: Formale Sprachen, Automaten und Komplexität */

== Teil 1: Logik ==

Aufgabe1: man sollte 3 "Zeichen" erklären
1. implikation
2. folgerbarkeit
3. ableitung durch MP (keine ahnung wie es heißt :/ )

Aufgabe2:
Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar)
In der Art: Seien F und G Formeln.
F ist Tautologie, G unerfüllbar, Ist dann F=>G gültig, kontingent, unerfüllbar?
und das für mehrere verschiedene formeln/Bedingungen! Glaube warn 3 oder 4!

Aufgabe3:
Noch eine aus dem ersten Teil zum Markierungsalgorithmus: Welche Eingabe nimmt der Algorithmus, welches Resultat liefert er? Dann den Ablauf des Algorithmus aufschreiben. Ich denke hier wäre Pseudocode und ein Diagramm wie es auch im Skript war gefragt gewesen.
Dann noch zwei Fragen dazu:
Begründen Sie, warum der Algorithmus immer terminiert.
Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert.

Aufgabe4: Resolution
folgerbarkeit einer Formel F von einer Formelmenge M zeigen/wiederlegen
Formel ma in Implikationsschreibweise gegeben

Aufgabe5: Unifikation
3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann

waren insgesamt 7 aufgaben im ersten teil, an die andern beiden kann ich mich grad nicht erinnern.

== Teil 2: Formale Sprachen, Automaten und Komplexität ==
1. Alphabet gegeben (a, b). Gib jeweils geforderte Sprache sowie alle Wörter der Länge 3 über Alphabet-Stern an, die nicht

enthalten sind!
a) Alle Wörter, in denen kein a vor einem b steht

b) Alle Wörter, in denen ab oder ba, aber nicht beide enthalten sind

(Die Aufgabe war glaub ich umfangreicher..)

2. Kellerautomat gegeben - gib an, welche Sprache aktzeptiert wird.

3. Aussagen über formale Sprache, NPSpace, NSpace, Entscheidbarkeit

4.
a) Definiere Entscheidbarkeit
b) Wieder Aussagen und Fragen

5. Deterministischer Automat gegeben - erstelle nichtdeterministischen (Zustände q0 und q1, q1 Endzustand, q0

Anfangszustand, a-Pfeil von q0 nach q1 und von q0 nach q0, b-Pfeil von q1 nach q0, das wars glaub ich..)

6. Wie würdest du vorgehen, wenn du testen willst, ob ein Problem NP-vollständig ist?

[[Kategorie:Gedaechtnisprotokoll|FGI1]]