Fachschaft Informatik - Benutzerbeiträge [de]

Gedächtnisprotokoll FGI109-1

2009-07-27T23:05:51Z

80.171.195.118: /* Aufgabe 7(?) */

== 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.
G ist Tautologie und F=>G gültig. Was kann F dann sein: gültig, kontingent, unerfüllbar?
und das für mehrere verschiedene formeln/Bedingungen! Waren 6 Formeln

== Aufgabe 3 ==
Definiere Hornklausel, Hornformel, Literal und Implikationsschreibweise.

== Aufgabe 4 ==
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.

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

== Aufgabe 6: 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(?) - ne, das muss auch irgendwo im 2. Teil gewesen sein. Jeder Teil hatte 6 Aufgaben. ==
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

c) Konstruiere einen DFA (mit allen Angaben) zur Sprache L = {w aus {a,b}* | Es gibt eine natürliche Zahl n für die gilt: |w|a = 2n}

== 2. ==
Kellerautomat gegeben

a) Gib alle Wörter bis zur Länge 4 an, die mit Endzustand akzeptiert werden.

b) Gib alle Wörter bis zur Länge 4 an, die mit leerem Keller akzeptiert werden.

c) Gib ein Wort w aus L mit |w| >= 2 inkl. der Konfiguration an, das mit leerem Keller akzeptiert wird.

d) Gib ein Wort w aus L mit |w| >= 2 inkl. der Konfiguration an, das mit Endzustand akzeptiert wird

== 3. Aussagen über formale Sprache, PSpace, NSpace, Entscheidbarkeit ==

b) PSpace ist Teilmenge von Cs ist Teilmenge von NSpace. Ja oder nein?

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

== 5. ==
Deterministischer Automat gegeben - erstelle Potenzautomat
(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]]

Cipher5

2009-07-09T10:33:26Z

80.171.195.63: /* Teilnehmer */

= Was ist ein CTF??! =
Lies hier: [[CTF|Capture The Flag]].

= Termin =

Der Cipher5 findet am 9. Juli 2009 statt. Da es nicht so lang hin ist, werden wir die nächsten CInsects-Treffen Vorbereitungen treffen.
Der Wettbewerb beginnt um 18 Uhr und dauert bis 1 Uhr nachts.
Wir treffen uns allerdings schon früher.

{| class="wikitable"
''' Veranstaltungen am Informatikum '''
|-
!'''Datum'''!! '''Uhrzeit''' || '''Raum''' !! '''Programm'''
|-
| Do, 18.6.2009 || 18:00 Uhr || D-114 || Muelli macht "Hackers Triathlon"
|-
| Do, 25.6.2009 || 18:00 Uhr || D-114 || ausgefallen
|-
| Do, 02.7.2009 || 18:00 Uhr || D-114 || Aufgabenverteilung, Schlachtpläne
|-
| Mo, 06.7.2009 || 14:00 Uhr || F-635 || Es kommen mindestens: D.,chriz, björn ,marius,tim,henning etw. später,lars um 16Uhr,
|-
| Di, 07.7.2009 || 12:00 Uhr || F-635 || Björn und Joern kümmern sich um eine zusätzliche Netzwerkkarte, einen Rechner und die IP-Adresse
|-
| Mi, 08.7.2009 || 12:00 Uhr || F-635 || Letzte Vorbereitungen. Ab 14 Uhr Einweisung in die Tools, Skripte und Schlachtpläne
|-
| Do, 09.7.2009 || 14:00 Uhr || F-635 || Hey ho, es geht los. Arrr!
|-
|}

= Falls Du Bedenken hast =

Niemand ist zu schlecht, um mitzumachen. Der Hauptgrund, an einem CTF mitzumachen, sollte sein, zu lernen. Durch die Spielerische herangehensweise an sicherheitsbezogene Aspekte selbstgeschriebener Dienste, lernt man vor allem, seine eigenen Anwendungen besser zu schreiben, so dass kein böser fremder Hacker in Deine Rechner eindringen kann.
Viele Studierende wie auch im Berufsleben stehende Programmierer kennen viele der Lücken nicht, durch die sie ihre Systeme Tag für Tag in Gefahr bringen. Für diese Problematik wollen wir sensibilisieren.

Nicht zu vergessen ist allerdings auch der Spaß, mit einer großen Gruppe ein Spiel zu spielen FTW!

= Anmeldung =

Wenn Du mitmachen möchtest, musst Du drei Schritte ausführen:
* trage Dich in die folgende Liste ein
* subscribe Dich in unsere Announce-Liste:
** leere Email an cinsects-announce-subscribe@informatik.uni-hamburg.de
* Komm zu den Treffen der CInsects, immer Donnerstag 18 Uhr in D-114.

== Teilnehmer ==

{| class="wikitable"
''' Veranstaltungen am Informatikum '''
|-
!'''Wer'''!! '''Kommentar'''
|-
|| Marius || Sehr gut. Arrr! Endlich wieder CTF!
|-
|| Lars ||
|-
|| bjoernb || erst spaeter, da Operating (nein, ich kann das nicht schon wieder verschieben)
|-
|| henning || nur bis max. 23 uhr (ich mach bis 22:15, dann übernimmt björn)
|-
|| dtk ||
|-
|| chriz ||
|-
|| Marvin ||
|}

Cipher5

2009-07-09T10:33:10Z

80.171.195.63: /* Teilnehmer */

Diplomarbeit

2008-07-31T20:43:44Z

80.171.195.205: Tippfehler korrigiert

Die '''Diplomarbeit''' ist der krönende Abschluss des Diplomstudiengangs.

== Was macht eine Diplomarbeit aus? ==

== Wie finde ich ein Thema? ==

Keine Ahnung, aber vermutlich nicht auf den Webseiten des Fachbereichs. Die sind dafür nicht ausgelegt, und eine Datenbank mit angebotenen Themen scheint es auch nicht zu geben. Da hilft es nur, die Mitarbeiter direkt zu fragen.

* ASI: [http://asi-www.informatik.uni-hamburg.de/arbeiten/index_d.html Laufende, Abgeschlossene]
* IMVE: [http://swt-www.informatik.uni-hamburg.de/publications/studdipl.php Laufende, Abgeschlossene]
* ITG: [http://www.informatik.uni-hamburg.de/ITG/lehre.shtml Abgeschlossene]
* KOGS: [http://kogs-www.informatik.uni-hamburg.de/bachelor-diplomarbeiten.htm Angebote]
* NatS: [http://nats-www.informatik.uni-hamburg.de/view/Main/ThemenvorschlaegeDiplomarbeiten Angebote]
* SVS: [http://www.informatik.uni-hamburg.de/SVS/personnel/index.php quer verstreut über die Mitarbeiterseiten]
* SWT: [http://swt-www.informatik.uni-hamburg.de/publications/studdipl.php Laufende, Abgeschlossene]
* TAMS: [http://tams-www.informatik.uni-hamburg.de/theses/index.php Work in progress]
* TGI: ???
* TIS: ???
* TKRN: [http://www.informatik.uni-hamburg.de/tkrn/diplomarbeiten.html Namen der Leute, die Diplomarbeiten abgeschlossen haben; sehr hilfreich ;)]
* VSIS: [http://vsis-www.informatik.uni-hamburg.de/publications/index.php/master/Laufende Laufende]
* WSV: [http://www.informatik.uni-hamburg.de/WSV/teaching/test7.php?choice=Lehre&active=true Under Construction]

== Wie schreibe ich eine Diplomarbeit? ==

== Was für Fehler sollte ich nicht machen? ==

== Verschiedenes ==

Jeweils im Wintersemester findet ein ''Seminar Diplomarbeiten'' statt (siehe [[Stundenplan]]), in dem die formalen Anforderungen, inhaltliche Aspekte und häufig auftretende Fehler besprochen werden. Zusätzlich werden zahlreiche Betreuer und Betreute eingeladen, die von ihren Erfahrungen berichten.

[[Kategorie: Hauptstudium]]