https://wiki.mafiasi.de/api.php?action=feedcontributions&feedformat=atom&user=78.54.131.0%2F24
Fachschaft Informatik - Benutzerbeiträge [de]
2026-10-17T08:24:36Z
Benutzerbeiträge
MediaWiki 1.46.2
https://wiki.mafiasi.de/index.php?title=GremienMitgliederListe&diff=9209
GremienMitgliederListe
2010-04-18T16:04:14Z
<p>78.54.131.137: /* Studiengebühren-Gruppe (SG) */</p>
<hr />
<div>* Aktualisiert am 2. November 2009<br />
* Offizielle Liste vom 2. November 2009<br />
<br />
Hier stehen die von Euch in den [[VV]]s gewählten [[Gremien]]vertreter.<br />
Wie Euch sicherlich auffällt, hat der geheimnisvolle [[N.N.]] sich für<br />
verdammt viele Ämter gemeldet. Da er die niemals alle auf einmal<br />
durchziehen kann, suchen wir Ersatz! Wer sich also für ein oder auch<br />
mehrere der Ämter berufen fühlt, kann sich beim [[Fachschaftsrat]]<br />
melden.<br />
<br />
Weblinks: [http://www.informatik.uni-hamburg.de/Info/Service/informatik/gremien.shtml Offizielle Gremienliste des Departments Informatik] (nur aus dem [[FBI]]-Netz abrufbar)<br />
<br />
<br />
= Studentische Selbstverwaltung =<br />
<br />
== [[Fachschaftsrat|FSR]] ==<br />
<br />
* Marius Stuebs <4stuebs><br />
* Sonia Weichler <4weichle><br />
* Tien Bui <8bui><br />
* Artur Hübert <8huebert><br />
* Timon Giese <7giese><br />
* Senad Licina <7licina><br />
* Tim Krämer <7kraemer><br />
* Kai Hildebrandt <6hildebr><br />
* Sebastian Schulz <7schulz><br />
* Christian Lagod <9lagod><br />
* Wilhelm Behncke <9behncke> (will nicht mehr)<br />
* Julian Stiller <9stiller><br />
* Paula Brunner <9brunner><br />
* Ole Eichhorn <9eichhor><br />
<br />
<br />
Zum [[Frauenanteil im FSR]] gibt es eine Extraseite.<br />
<br />
== [[Behindertenbeauftragter]] ==<br />
* Stefan Kramer <4kramer><br />
<br />
== AGen ==<br />
<br />
=== Admina ===<br />
* [[N.N.]]<br />
<br />
=== bits - Zeitschrift der Fachschaft ===<br />
* [[N.N.]]<br />
<br />
=== c't-Nicht-AG ===<br />
* [[N.N.]] (ganz viele davon)<br />
<br />
=== [[Fragebogen-AG]] ===<br />
<br />
* die studentischen Vertreter der [[Qualitätsmanagement-Gruppe]] <br />
<br />
=== [[Spiele-AG]] ===<br />
<br />
* Bente <9reichar>, Martin <9Noeske>, Ulrike <7Schaefe>, Jessica, Jan, ...<br />
<br />
=== [[EF-AG]] ===<br />
<br />
* [[N.N.]]<br />
<br />
=== [[Kicker-AG]] ===<br />
<br />
* Daniel Kreischer <3kreisch><br />
<br />
=== [[Foren-AG]] ===<br />
<br />
* Dennis Bliefernicht <1bliefer><br />
<br />
=== [[Jabber-AG]] ===<br />
<br />
* Arne Köhn <5koehn><br />
* Christian Beyerlein <9beyerle><br />
* Henning Pridöhl <8pridoeh><br />
<br />
=== [[KBS|KBS-Orga]] ===<br />
* Tobias Mueller <muelli><br />
* bjoernb <4bewersd><br />
<br />
=== [[STiNE++-AG]] ===<br />
<br />
* [[N.N.]]<br />
<br />
=== [[OE|OE-AG]] ===<br />
<br />
* OE-Orga <oe-orga><br />
<br />
= Akademische Selbstverwaltung =<br />
<br />
== Universitätsebene ==<br />
<br />
=== [[Widerspruchsausschuss]] ===<br />
<br />
Die studentischen Vertreter im universitätsweiten Widerspruchsausschuss sind zur Zeit nicht bekannt.<br />
<br />
== Fakultätsebene ==<br />
<br />
=== [[Fakultätsrat]] (FAR) ===<br />
<br />
Die aktuellen Vertreter stehen auf der Seite [http://www.min.uni-hamburg.de/fakultaetsrat.html] und sind unter fakrat at min-stud punkt uni-hamburg punkt de elektronisch zu erreichen.<br />
<br />
<br />
== Departmentsebene ==<br />
<br />
=== [[Widerspruchsausschuss]] ===<br />
<br />
* Martin Burmester <2burmest>, Christian Lagod <9lagod><br />
<br />
=== Delegierte für die Fakultätsfrauenkonferenz ===<br />
* Sonia Weichler <4weichle>, Paula Brunner <9brunner><br />
<br />
=== [[ErweiterterVorstand|Erweiterter Vorstand]] ===<br />
* Arne Köhn <5koehn>, André Stannek <6stannek><br />
* Tim Krämer <7kraemer>, Carsten Rehder <7rehder>: habe Interesse<br />
<br />
=== [[Bibliotheksausschuss]] ===<br />
* Jan Lueke <9lueke>, Nima Mousavi <8mousavi><br />
<br />
=== [[IT-Strategie-Kommission]] ===<br />
* Sonia Weichler <4weichle>, Jan Girlich <3girlich><br />
<br />
=== [[IKT-Ausschuss|Ausschuss für Informations- und Kommunikationstechnologien (IKT)]] ===<br />
* David Seier <8seier> (will nicht mehr), Justus Winter <4winter><br />
<br />
=== [[Promotionsausschuss]] ===<br />
* Niels Beuck <2beuck>, Martin Burmester <2burmest><br />
<br />
=== [[PrüfungsausschussBachelor| Prüfungsausschuss Bachelorstudiengang Informatik]] ===<br />
* Tim Kraemer <7kraemer>, Jessica Jobski <5jobski><br />
<br />
=== [[PrüfungsausschussBachelorSSE| Prüfungsausschuss Bachelorstudiengang SSE]] ===<br />
* Wilhelm Behncke <9behncke>, Jessica Jobski <5jobski><br />
<br />
=== [[PrüfungsausschussBachelorCIS| Prüfungsausschuss Bachelorstudiengang CIS]] ===<br />
* Michael Simon <9simon>, Tim Krämer <7kraemer><br />
<br />
=== [[PrüfungsausschussBachelorMCI| Prüfungsausschuss Bachelorstudiengang MCI]] ===<br />
* Ole Eichhorn <9eichhor>, Tim Krämer <7kraemer><br />
<br />
=== [[PrüfungsausschussMaster| Prüfungsausschuss Masterstudiengang Informatik]] ===<br />
* Tim Kraemer <7kraemer>, Jessica Jobski <5jobski><br />
<br />
=== [[PrüfungsausschussDiplom| Prüfungsausschuss Diplomstudiengang Informatik]] ===<br />
* Felix Garbe <4garbe>, Tim Kraemer <7kraemer><br />
* Marius Stuebs <4stuebs>, Jessica Jobski <5jobski><br />
<br />
=== [[PrüfungsausschussWiInf| Prüfungsausschuss Wirtschaftsinformatik]] ===<br />
Die studentischen Vertreter für diesen Prüfungsausschuss werden auf der Vollversammlung der Wirtschaftsinformatiker gewählt.<br />
<br />
=== [[Raumausschuss]] ===<br />
* Jessica Jobski <5jobski><br />
<br />
=== [[Wirtschaftsausschuss]] ===<br />
* Felix Kiehn <9kiehn>, NN<br />
* Adam Bhakrani <8bhakran>: habe Interesse<br />
<br />
=== [[Studienkommission]] ===<br />
* Arne Köhn <5koehn>, Kai Hildebrandt <6hildebr><br />
* Sebastian Schulz <7schulz>, Tim Kraemer <7kraemer><br />
* Robert Wiesner <8wiesner>, Julian Stiller <9stiller><br />
* Klaas Oostlander <8oostlan>, Wilhelm Behncke <9behncke><br />
* Adam Bhakrani <8bhakran>: habe Interesse<br />
* Clara Blümm <8bluemm> hat Interesse<br />
<br />
==== [[Qualitätsmanagement-Gruppe]] (QM) ====<br />
* Jessica Jobski <5jobski><br />
* Manuela Buchholz <8buchhol> (will nicht mehr)<br />
* Robert Wiesner <8wiesner><br />
* Adam Bhakrani <8bhakran>: habe Interesse<br />
<br />
==== [[Marketing-Gruppe]] (ÖF) ====<br />
* Klaas Oostlander <8oostlan>, NN<br />
<br />
==== [[Studiengebühren-Gruppe]] (SG) ====<br />
* Sven Stöhr <9stoehr><br />
* Sebastian Schulz <7schulz><br />
* Adam Bhakrani <8bhakran>: habe Interesse<br />
* Anja Körber <8koerber> hat Interesse<br />
<br />
=== [[Lehrplanungsbeauftragter]] ===<br />
* Jessica Jobski <5jobski>, Niels Beuck <2beuck><br />
<br />
=== [[Vermittlungsinstanz]] ===<br />
* Paula Brunner <9brunner>, Sonia Weichler <4weichle><br />
<br />
= Sonstige Gremien =<br />
<br />
== [[Graduiertenförderungsausschuss|Ausschuss zur Förderung des wissenschaftlichen Nachwuchses]] (Graduiertenförderungsausschuss)==<br />
* Marcel Morisse <3morisse>, Sonia Weichler <4weichle><br />
<br />
= Emailadressen aller Gremienvertreter =<br />
<br />
Um eine handliche Liste der hier publizierten Emailadressen zu bekommen, kann man das folgende Kommando verwenden:<br />
<br />
wget -qO - "http://www.informatik.uni-hamburg.de/Fachschaft/wiki/index.php/GremienMitgliederListe?action=raw" \<br />
| perl -ne 'while (m/<(.*?)>/g) {print "$1\n"}' \<br />
| sort | uniq | grep -v '^(.*?)$'<br />
<br />
Mit Informatik und so am Ende sieht es dann so aus:<br />
<br />
wget -qO - "http://www.informatik.uni-hamburg.de/Fachschaft/wiki/index.php/GremienMitgliederListe?action=raw" \<br />
| perl -ne 'while (m/<(.*?)>/g) {print "$1\@informatik.uni-hamburg.de\n"}' \<br />
| sort | uniq | grep -v '^(.*?)@informatik.uni-hamburg.de$'<br />
<br />
[[Kategorie:Gremium]]</div>
78.54.131.137
https://wiki.mafiasi.de/index.php?title=Ged%C3%A4chtnisprotokoll_FGI109-1&diff=7809
Gedächtnisprotokoll FGI109-1
2009-07-27T13:44:08Z
<p>78.54.131.203: Angelegt und copy/paste aus dem Forum gemacht sowie Aufgabe zum Markierungsalgorithmus eingefügt.</p>
<hr />
<div><br />
== Teil 1: Logik ==<br />
<br />
<br />
Aufgabe1: man sollte 3 "Zeichen" erklären<br />
1. implikation<br />
2. folgerbarkeit<br />
3. ableitung durch MP (keine ahnung wie es heißt :/ )<br />
<br />
Aufgabe2:<br />
Es waren verschiedene Formel gegeben und man sollte ein kreuz bei zutreffenden Antworten machen. (Kontingent, (allgemein)gültig, unerfüllbar)<br />
In der Art: Seien F und G Formeln.<br />
F ist Tautologie, G unerfüllbar, Ist dann F=>G gültig, kontingent, unerfüllbar?<br />
und das für mehrere verschiedene formeln/Bedingungen! Glaube warn 3 oder 4! <br />
<br />
Aufgabe3:<br />
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.<br />
Dann noch zwei Fragen dazu:<br />
Begründen Sie, warum der Algorithmus immer terminiert.<br />
Begründen Sie, dass der Algorithmus "unerfüllbar" nur für unerfüllbare Formeln liefert.<br />
<br />
Aufgabe4: Resolution<br />
folgerbarkeit einer Formel F von einer Formelmenge M zeigen/wiederlegen<br />
Formel ma in Implikationsschreibweise gegeben<br />
<br />
Aufgabe5: Unifikation<br />
3 Prädikatenlogische Formelmengen waren gegeben und man sollte begründen/wiederlegen warum man sie (nicht) unifizieren kann<br />
<br />
waren insgesamt 7 aufgaben im ersten teil, an die andern beiden kann ich mich grad nicht erinnern.<br />
<br />
<br />
== Teil 2: Formale Sprachen, Automaten und Komplexität ==<br />
<br />
Aufgabe:<br />
Es war ein NFA gegeben und man sollte mit Potenzautomat nen DFA dazu konstruieren.<br />
(zustände des potenzautomaten waren gegeben).<br />
<br />
[[Kategorie:Gedaechtnisprotokoll|FGI1]]</div>
78.54.131.203