Fachschaft Informatik - Benutzerbeiträge [de]

FsrProtokoll20060529

2010-07-16T14:06:50Z

134.100.48.183: Kategorie:FSR-Protokoll

* Anwesend: Arne, Muelli, Felix G., Felix H., Bertram, Harzi (später), Martin B. (später).
* Abwesend: Sebastian, Tanja
* Entschuldigt: keiner
* Protokoll: Patrick, Felix H. (teilw.)
* Beginn: 14:30 Uhr
* Ende: 16:30 Uhr
* Beschlussfähigkeit: Wir sind beschlussfähig.

==TOP1: Berichte==

* KIF
** Ausgenommen einiger interessanter Dinge, war die KIF dieses Jahr mittelmäßig.
** Arbeitskreis Fachschaftsarbeit: Die anderen FSRe haben eine "Person mit Hut",
die alleinige Entscheidungsbefugnis hat. Die meisten FSRe klagen über zu
wenig Leute. Ein FSR hat ein Problem damit, dass bereits Studenten aus dem
2. Semester dort aktiv sind (nicht unser FSR *g*). Die Budgets der FSRe
unterscheiden sich zum Teil erheblich. Ein FSR hat je Student beispielsweise
12 EUR zur Verfügung (zum Vergleich: Unser FSR verfügt über ca. 1 EUR je
Student).
** Arbeitskreis Orientierungseinheit (OE): In Chemniz und Bamberg ist die OE
nur zwei Tage lang. In Magdeburg, Darmstadt ist die OE auch eine Woche lang.
Nur in unserem Department wird die OE so umfangreich vorbereitet. Bei den
anderen Unis wird die OE überwiegend vom FSR organisiert. Tutoren werden
ebenfalls vom FSR gestellt oder kurzfristig per Rundmail mobilisiert. Einige
FSRe sagen auch nur in einer der Vorlesungen der Ersties ein paar Worte. Die
Magdeburger wollen jetzt auch ein Redetraining für die Tutoren anbieten, das
aber als "Belohnung" nach der OE stattfinden soll. In Magdeburg gibt es auch
ein Mentorenprogramm, in dessen Rahmen ältere Studenten jüngere betreuen.
Das Programm soll weiter ausgebaut werden und läuft dort offenbar sehr gut.
Evt. ist es auch für uns interessant. Wir wollen Infomaterial anfordern.
Die anderen FSRe haben in der OE keine Hochschulpolitik ([[HoPo]])-Einheit.
** Hochschulpolitik ([[HoPo]]): Am 1. Juni 2006 tritt in Bayern ein Gesetz in Kraft,
das vorsieht, dass außer den Fachschaftsräten von den Studenten keine
direkten Vertreter gewählt werden. Die studentischen Vertreter für die
übrigen Gremien werden vom FSR entsandt.
** Es wurde Werwolf gespielt. Arne und Martin B. waren Werwölfe und haben
gewonnen. Herzlichen Glückwunsch!
** Martin B. wurde von der KIF einstimmig in den Studentischen Pool
(studentischer-pool.de) gewählt. Diese Organisation vermittelt studentische
Vertreter an die akkreditierenden Organisationen (z.B. ASIIN). Wir haben die
Anmeldeunterlagen an den StuGa in Bremen weitergeleitet.
** Das Universum war toll und ist zu empfehlen.
** Um auch mehr Partys zu feiern, werden die FSR-Sitzungen in Zukunft
FSR-Partys heißen und entsprechend angekündigt werden. Los geht es am
Montag in zwei Wochen.

* Räume in Haus E
** Herr Oberquelle hat sich zu Wort gemeldet. Seine WiMis werden demnächst
ausziehen. Es steht aber noch kein Termin fest. Einige Räume gehören zu SWT.
Das Organisatorische wird sich vermutlich noch etwas hinziehen. Muelli
kümmert sich federführend um das weitere.

* Physik[[/Optiz]]-Treffen
** Muelli war da. Es war ein interessantes Treffen. Um das Gesetz zu kippen,
reiche es, wenn 6 MdBs umgestimmt würden bzw. nicht an der Sitzung der
Bürgerschaft teilnähmen.

* Softwareentwicklung 2 (SE2)
** Martin B. berichtet von seinem Gespräch mit SWT: SWT hat ein
Problembewusstsein. Dort sieht man 5 Stunden als max. Arbeitszeit über die
Präsenzzeit hinaus (inkl. Vorlesungsvor- bzw. nachbereitung) als möglich an.
SWT hat unverbindlich zugesichert, in Zukunft die Abnahmen eher in
Richtung 50% als in Richtung 100% vornehmen zu wollen. Wir werden versuchen,
das Problembewusstsein auf Seiten der Studenten zu schärfen. Axel Schmolitzky
wird eine Diskussion im [[CommSy]] eröffnen. Daran sollten sich möglichst viele
Studenten beteiligen.

* FSRK-Wahl
** Wir haben wie beschlossen mit ja gestimmt. Unterschrieben haben Arne, Felix
H., Sebastian und Patrick.

* Kaffeeautomat
** Muelli hat drei Angebote eingeholt und einen Antrag über 399 EUR beim
[[AstA]] gestellt. Vermutlich wird der Antrag nicht genehmigt, weil die Kosten
zu hoch sind. Angemessen wären laut Finanzreferent Kosten <100 EUR. Muelli
kümmert sich um das weitere.

* [[MafiA]]-T-Shirts
** Felix G. hat Preise eingeholt. Wir werden vermutlich nicht unter 16 EUR pro
Shirt kommen. Felix kümmert sich gerade um das Design. Becher lägen bei
12,50 EUR.

==TOP2: FSR Aktivitäten==

* Adressenliste
** Es soll eine interne Adressliste mit FSR-Kontaktdaten erstellt werden.
Felix H. kümmert sich darum. Die FSR-Mitglieder werden gebeten, ihre
Kontaktdaten an Felix zu senden.

* [[AstA]]-Aktionsplan und [[AstA]]-Treffen
** Es wäre wünschenswert, wenn Dokumente als PDF versandt würden, da auf unseren
Sparc-Workstations am Department z.B. kein Word installiert ist.
** Obwohl der [[AstA]] sich vom vorherien [[AstA]] abheben möchte, ist davon nich nicht
viel sichtbar.
** Auf dem Aktionsplan werden einige Punkte als bereits abgehandelt deklariert,
dies ist von unserer Seite aber größtenteils (außer dem Brief) überhaupt
nicht bemerkt worden.
** Zur Vorbereitung der Großdemo wäre eine Koordination mit anderen
Interessierten sinnvoll.
** Liste mit Lieblingsbands für das Konzert...?
** Um die FSRK zu unterstützen, wollen wir auf dem [[AstA]]-Treffen eine
Vollversammlung fordern. Die FSRK hat bereits über 1000 Unterschriften
gesammelt.
** Martin B. wird im Auftrag des FSR Informatik an dem Treffen teilnehmen.
Außerdem werden Arne und evt. Muelli teilnehmen. Wenn das MIN-Treffen nicht
vor dem Asta-Treffen beendet ist, bleibt Muelli auf dem MIN-Teffen.
** Die FSRK-Diskriminierung[[/Diffamierung]] (siehe Webseite des [[AstA]]) ist vehement
abzulehnen, da sie zum Teil auf falschen Tatsachen basiert! In dem Antrag
der FSRK zur Einberufung einer Vollversammlung sollen nicht, wie vom [[AstA]]
behauptet, der [[AstA]] dazu aufgefordert werden, die Kosten für den
Gebührenboykott im vergangenen Semester zu tragen. Vielmehr sollen die Kosten
für einen neu geplanten Gebührenboykott übernommen werden.

* Finanzielle Unterstützung der FSRK
** Wir haben den Gebührenboykott der FSRK im letzten Semester ideell und durch
Bereitstellung unserer Buttonmaschiene unterstützt.
** Wenn wir die FSRK durch einen gewissen Betrag (z.B. 500 EUR) aus unserer
Fachschaftskasse unterstützen sollten, werden wir - auch im Hinblick auf die
Kritik einiger VV-Teilnehmer an der finanziellen Politik der FSRK im letzten
Semester - gegenüber der FSRK betonen, dass
*** es sich bei der nachträglichen Unterstützung um eine einmalige Aktion
handelt.
*** die Flugblattkampagne etwas überproportioniert war.
*** den Finanzregularien in Zukunft entsprochen werden sollte.
*** ein Antrag auf Unterstzung der FSRK nächstes Mal vor Durchführung der
unterstützten Maßnahme bei uns eingehen muss.

* MIN-Treffen
** Wir wollen ansprechen:
*** Not-In-Our-Name-Kampagne
*** Koordination des [[AstA]]-Treffens
*** Es soll direkt ein neuer Termin für ein MIN-Treffen vereinbart werden. Die
Einladung sollte wieder über unseren MIN-Fachschafts-Verteiler erfolgen.
Unser Wunschtermin ist der 19.6., gerne auch am Informatikum.
* [[FakRat]]-Wahlkampf vorbereiten (Es gibt zwei Listen. Demokratie! Juhu!)
** Das Wahlamt hat Tobias B. bestätigt, dass noch eine weitere Liste antritt.
Dies scheint die MIN-Liste zu sein. Auf Grund der bereits in unserer
Resolution hinreichend erläuterten MIN-Problematik unterstützen wir eine
evt. Kandidatur der MIN-Liste auf keinen Fall. Statt dessen werden wir
*** eine Not-In-Our-Name-Kampagne starten.
*** Mittwoch mit den anderen FSRen besprechen.
*** unsere Liste positiv bewerben.
*** [[HoPo]]-Newsletter ist in Arbeit (Arne).
** Muelli kümmert sich um die Domain für die MIN-Studenten.

== TOP3: Sonstiges ==

* Nächste Woche findet kein FSR-Treffen statt.

== [[Termine SS 2006|Termine]] ==

{| class="wikitable"
! $tag $date $time !! !! $Ort
|-
| Mittwoch 31.05 || Min & asta-treffen || geomatikum & Asta
|-
| Mittwoch 31.05 || Erste Lesung || Buergerschaft
|-
| Montag 12.06 14h || [[FsrProtokoll12062006|FSR Treffen]]
|-
| Mittwoch 28.06 || Letzte Lesung || Buergerschaft
|-
| Mittwoch 05.07 || Sommerfest || IKum
|-
| Mo 18.09. - Do 21.09. || OE-NWE || Stelle
|-
| Freitag 14.07 || Letzter VL Tag
|}

[[Kategorie:FSR-Protokoll]]

P1-WS04-MusterLoesung03.txt

2010-07-16T14:02:39Z

134.100.48.183:

{{Vorlage:Veraltet}}

<pre>
Aufgabenblatt 3

P1 [[WiSe]] 04/05

Özgür Özcep

Aufgabe 1 (Grundbegriffe)

------------------------

Fakten: elementare Klauseln, die genau eine Grundstruktur enthalten.

Fakten dienen der Simulation relationaler DB's in Prolog. Fakten sind

die Elemente von Prädikaten der Logikprogrammierung. Mit ihnen wird

extensionales Wissen spezifiziert, d.h. mit Fakten definiert man

Eigenschaften eines Objektes bzw. Beziehungen zwischen Objekten durch

explizites Auflisten. Fakten können formal als Regeln (s.u.) ohne

Körper[[/Rumpf]] verstanden werden.

Regel: Komplexe Klausel der Form A :- B, die aus einem Kopf und einem

Körper besteht.

Regeln führen eine deduktive Komponente in relationale Datenbanken

ein: Ist das im Körper ausgedrückte Wissen bereits erschlossen worden,

so darf auf das im Kopf ausgedrückte Wissen geschlossen werden. Unter

einen anderen Perspektive formuliert: Um das im Kopf ausgedrückte Ziel

zu erfüllen muss das im Rumpf ausgedrückte Ziel erfüllen. Regeln

ermöglichen kompaktes Hinzufügen von intensionalem Wissen.

Anfrage oder Ziel: am Systemprompt eingegebene (elementare) Klausel.

Sie stellt eine Aufforderung dar, das in ihr angegebene Wissen auf

Konsistenz mit der Datenbasis zu überprüfen. Auch der Körper einer

Klausel ist als ein (komplexes) Ziel zu verstehen. Formal können

Anfragen[[/Ziele]] als Regeln ohne Kopf verstanden werden.

Aufgabe 2 (komplexe Anfragen)

-----------------------------

a)

?- mutter_von(X,Y),mutter_von(X,Z).

X ist Mutter von Y und X ist Mutter von Z, d.h. Y und Z haben dieselbe

Mutter und sind damit (Halb-)Geschwister; oder Y und Z bezeichnen

dieselbe Person. (Dieser Fall wird im folgenden ausgeklammert.)

?- mutter_von(A,X),mutter_von(A,B),mutter_von(B,Y), mutter_von(B,Z).

(1) A ist Mutter von X und

(2) A ist Mutter B und

(3) B ist Mutter von Y und

(4) B ist Mutter von Z

Bildlich:

A

/ \

X B

/ \

Y Z

Wie in a) folgt aus (1),(2):

(5) X und B sind (Halb-)Geschwister

und aus (3) und (4):

(6) Y und Z sind Halbgeschwister

Ausserdem gilt:

(7) X ist Onkel oder Tante von Y und Z

(8) A ist Grossmutter von Y und Z.

?-vater_von(B,X),vater_von(C,Y),vater_von(C,Z),vater_von(A,B),vater_von(A,C).

(1) B ist Vater von X

(2) C ist Vater von Y

(3) C ist Vater von Z

(4) A ist Vater von B

(5) A ist Vater von C.

Bildlich:

A

/ \

B C

| / \

X Y Z

Aus der obigen Darstellung ergeben sich folgende Verwandschaftsverhältnisse:

(6) B und C sind (Halb-)Geschwister

(7) Y und Z sind (Halb-)Geschwister

(8) X, Y und Z sind Enkelkinder von A; genauer:

A ist Grossvater von X und Y und Z

(9) X ist Cousin von Y und Z et vice versa

(10) B ist Onkel von Y und Z.

(11) C ist Onkel von X.

b)

% mutter_von( Mutter , Kind ).

% 'Mutter' und 'Kind' sind Argumentpositionen (Platzhalter, Variablen),

% so dass 'Mutter' die Mutter von 'Kind' ist.

:- dynamic mutter_von/2. % ermöglicht dynamische Veränderung

mutter_von( marie , hans ).

mutter_von( marie , helga ).

mutter_von( julia , otto ).

mutter_von( barbara , klaus ).

mutter_von( barbara , andrea ).

mutter_von( charlotte , barbara ).

mutter_von( charlotte , magdalena ).

mutter_von( helga , jana ).

mutter_von( helga , frida ).

mutter_von( frida , johannes ).

% vater_von( Vater , Kind ).

% 'Vater' und 'Kind' sind Argumentpositionen (Platzhalter, Variablen),

% so da"s 'Vater' der Vater von 'Kind' ist.

:- dynamic vater_von/2. % ermöglicht dynamische Veränderung

vater_von( otto , hans ).

vater_von( otto , helga ).

vater_von( gerd , otto ).

vater_von( johannes , klaus ).

vater_von( johannes , andrea).

vater_von( walter , barbara ).

vater_von( walter , magdalena ).

vater_von( ebbe , frida ).

vater_von( kaj , jana ).

vater_von( jan , johannes ).

% und nun brauchen wir noch das Geschlecht

% (zur Definition des Onkelprädikats):

weiblich(julia).

weiblich(marie).

weiblich(helga).

weiblich(frida).

weiblich(jana).

weiblich(charlotte).

weiblich(magdalena).

weiblich(barbara).

weiblich(andrea).

maennlich(gerd).

maennlich(otto).

maennlich(hans).

maennlich(ebbe).

maennlich(kaj).

maennlich(jan).

maennlich(walter).

maennlich(johannes).

maennlich(klaus).

% elternteil_von( Elternteil, Person ):

% 'Elternteil' und 'Person' sind Argumentpositionen, so dass

% 'Elterntei' ein Elternteil von 'Person' ist.

elternteil_von(E,P) :- vater_von(E,P).

elternteil_von(E,P) :- mutter_von(E,P).

% grossvater_von( Grossvater , Enkelkind )

% 'Grossvater' und 'Enkelkind' sind Argumentpositionen, so dass

% 'Grossvater' ein Grossvater von 'Enkelkind' ist.

grossvater_von(Grossvater , Person) :-

vater_von(Grossvater,Z),

elternteil_von(Z,Person).

% onkel_von

% Hier ist das Prädikatsschema uneindeutig:

% Die intendierte Bedeutung "Onkel" wird durch den zweiten

% Argumentsnamen 'Urenkel' gestört. Wir korrigieren das zu:

% onkel_von(Onkel, Person)

% 'Onkel' und 'Person' sind Argumentpositionen, so dass

% 'Onkel' ein Onkel von 'Person' ist.

% Ausserdem wird der Onkelbegriff so weit gefasst, dass auch Stiefonkel

% unter das Prädikat onkel_von fallen.

onkel_von(Onkel,Person) :-

maennlich(Onkel),

elternteil_von(X,Onkel),

elternteil_von(X,Geschwister),

Onkel \= Geschwister, % Das Geschwister sollte

% nicht der Onkel selbst sein

elternteil_von(Geschwister,Person).

% ---- Beispielanfragen ----

Yes

?- grossvater_von(otto,X). % Wer sind die Enkelkinder von otto?

X = jana ;

X = frida ;

No

?- grossvater_von(walter,Enkel). % Die Enkelkinder von walter?

Enkel = klaus ;

Enkel = andrea ;

No

?- grossvater_von(X,jana). % Wer sind die Grossväter von jana?

X = otto ;

No % Über den anderen Grossvater gibt es keine Auskunft in der DB

?- onkel_von(Onkel,Person). % Wer ist der Onkel von Wem?

Onkel = hans

Person = jana ;

Onkel = hans

Person = frida ;

Onkel = hans

Person = jana ;

Onkel = hans

Person = frida ;

No

% die redundante Information rührt von der Tatsache her,

% dass Prolog einmal die Vaterlinie

% und zum anderen die Mutterlinie testet.

?- halt.

Aufgabe 3 (komplexe Anfragen II)

--------------------------------

a)

Yes

?- consult('HAEUSER1.pl').

% HAEUSER1.pl compiled 0.00 sec, 1,320 bytes

Yes

?- listing.

% Foreign: rl_read_init_file/1

bew(1, 1, mueller, meier, 450000, '97.01.01').

bew(2, 3, schulze, schneider, 560000, '88.12.13').

bew(3, 3, schneider, mueller, 615000, '96.12.01').

bew(4, 5, bund, piepenbrink, 3500000, '91.06.01').

% Foreign: rl_add_history/1

obj(1, efh, gaertnerstr, 15, 1965).

obj(2, efh, bahnhofsstr, 27, 1943).

obj(3, efh, bahnhofsstr, 29, 1955).

obj(4, mfh, bahnhofsstr, 28, 1991).

obj(5, bahnhof, bahnhofsstr, 30, 1901).

obj(6, kaufhaus, bahnhofsstr, 26, 1997).

obj(7, efh, gaertnerstr, 17, 1982).

Yes

% i.) In welchen Strassen gibt es Einfamilienhäuser

?- obj(_,efh,Strassenname,_,_).

Strassenname = gaertnerstr ;

Strassenname = bahnhofsstr ;

Strassenname = bahnhofsstr ;

Strassenname = gaertnerstr ;

No

% i.') Dieselbe Anfrage mit dem findall-Prädikat

?- findall(Strassenname,obj(_,efh,Strassenname,_,_),L).

Strassenname = _G159

L = [gaertnerstr, bahnhofsstr, bahnhofsstr, gaertnerstr] ;

No

% ii.) Welche Häuser sind in den letzten Zehn Jahren gebaut worden?

?- obj(Objektnummer,_,_,_,X), X > 1993, X < 2005.

Objektnummer = 6

X = 1997 ;

No

% ii'.)

?- findall(haus(Objektnummer,Strassenname,Hausnummer),(obj(Objektnummer,_,Strassenname,Hausnummer,X),X > 1993, X < 2005),L).

Objektnummer = _G157

Strassenname = _G158

Hausnummer = _G159

X = _G165

L = [haus(6, bahnhofsstr, 26)] ;

No

% iii.) Auf welchen Grundstücken stehen keine Einfamilienhäuser?

?- obj(_,Objekttyp,Strassenname,Hausnummer,_),Objekttyp \= efh.

Objekttyp = mfh

Strassenname = bahnhofsstr

Hausnummer = 28 ;

Objekttyp = bahnhof

Strassenname = bahnhofsstr

Hausnummer = 30 ;

Objekttyp = kaufhaus

Strassenname = bahnhofsstr

Hausnummer = 26 ;

No

% iii'.)

?- findall(grundstueck(Strassenname,Hausnummer),(obj(_,Objekttyp,Strassenname,Hausnummer,_),Objekttyp \=efh),L).

Strassenname = _G157

Hausnummer = _G158

Objekttyp = _G161

L = [grundstueck(bahnhofsstr, 28), grundstueck(bahnhofsstr, 30), grundstueck(bahnhofsstr, 26)] ;

No

% iv.) Welches Haus wurde mit Gewinn weiterverkauft?

% Ausgespart wurden Ketten und Zyklen

?- bew(_,Objektnummer,_,Name,Betrag1,Datum1), bew(_,Objektnummer,Name,_,Betrag2,Datum2),Betrag2 > Betrag1,Datum2 @> Datum1, obj(Objektnummer,_,Strassenname,Hausnummer,_).

Objektnummer = 3

Name = schneider

Betrag1 = 560000

Datum1 = '88.12.13'

Betrag2 = 615000

Datum2 = '96.12.01'

Strassenname = bahnhofsstr

Hausnummer = 29 ;

No

No

b)

Durch Verwendung der anonymen Variablen '_' kann die Ausgabe unterdrückt

werden.

Auch kann eine Regel verwendet werden, um Variablen innerhalb

der Regel zu verstecken.

c)

Für diese Aufgabe modifizieren wir zunächst die Datenbasis, so dass

wir nicht mit dem "[[Y2K]]-Problem" zu kämpfen haben: Bsp.: aus der

Datumsangabe '97.01.01' mache '1997.01.01'.

% --- Datenbasis [[HAEUSER1_NEU]].pl ----

% obj(Objektnummer, Objekttyp, Strassenname, Hausnummer, Baujahr).

obj(1,efh,gaertnerstr,15,1965).

obj(2,efh,bahnhofsstr,27,1943).

obj(3,efh,bahnhofsstr,29,1955).

obj(4,mfh,bahnhofsstr,28,1991).

obj(5,bahnhof,bahnhofsstr,30,1901).

obj(6,kaufhaus,bahnhofsstr,26,1997).

obj(7,efh,gaertnerstr,17,1982).

% Modifiziert: 'Verkaufsdatum'! Bsp.: '97.01.01' --> '1997.01.01'

% bew(Vorgangsnr, Objektnr, Verkaeufer, Kaeufer, Preis, Verkaufsdatum)

:- dynamic bew/6.

bew(1,1,mueller,meier,450000,'1997.01.01').

bew(2,3,schulze,schneider,560000,'1988.12.13').

bew(3,3,schneider,mueller,615000,'1996.12.01').

bew(4,5,bund,piepenbrink,3500000,'1991.06.01').

% Neu eingefügt

bew(5,7,schiller,goethe,560000,'2002.12.13').

bew(6,7,goethe,herder,615000,'2002.12.14').

bew(8,5,piepenbrink,schmidt,50000,'2002.12.23').

bew(9,6,jonas,schmidt,500000,'2002.12.23').

bew(10,5,schmidt,meier,350000,'2003.04.12').

bew(11,3,schneider,schmidt,210000,'2003.01.02').

bew(12,1,meier,schmidt,400000,'2003.04.12').

bew(13,3,schmidt,hose,360000,'2003.02.30').

bew(14,1,schmidt,bund,580000,'2003.07.08').

bew(15,2,schneider,meier,210000,'2003.01.02').

bew(16,2,meier,schmidt,400000,'2003.08.06').

% neueigentuemer(Eigentuemer,Objektnummer).

% Eigentuemer hat Objekt mit Objektnummer nach 31.12.2001

% erworben und nicht weiterverkauft

neueigentuemer(Eig,[[ObjNr]]) :-

bew(_,[[ObjNr]],_,Eig,_,Datum),

Datum @> '2001.12.31',

\+((bew(_,[[ObjNr]],Eig,_,_,Datum2),Datum2 @>= Datum)).

% ---- Protokoll -----

?- consult('[[HAEUSER1_NEU]].PL').

% [[HAEUSER1_NEU]].PL compiled 0.00 sec, 4,176 bytes

Yes

% Liste zunächst die Neueigentümer auf

?- neueigentuemer(Eig,[[ObjNr]]).

Eig = herder

[[ObjNr]] = 7 ;

Eig = schmidt

[[ObjNr]] = 6 ;

Eig = meier

[[ObjNr]] = 5 ;

Eig = hose

[[ObjNr]] = 3 ;

Eig = bund

[[ObjNr]] = 1 ;

Eig = schmidt

[[ObjNr]] = 2 ;

No

% Neueigentümer in der Gärtnerstrasse?

?- neueigentuemer(Eig,[[ObjNr]]),obj([[ObjNr]],_,gaertnerstr,_,_).

Eig = herder

[[ObjNr]] = 7 ;

Eig = bund

[[ObjNr]] = 1 ;

No

% Neueigentümer mit benachbarten Immobilien?

?- neueigentuemer(Eig,Obj1),

neueigentuemer(Eig,Obj2),

Obj1 \= Obj2,

obj(Obj1,_,Strasse,Num1,_),

obj(Obj2,_,Strasse,Num2,_),

((Num1 =:=Num2-2);

(Num2 =:=Num1-2)).

No % Keine vorhanden.

% Füge einen solchen Eigentümer ein:

?- assert(bew(17,1,bund,herder,580000,'2004.07.08')).

Yes

?- neueigentuemer(Eig,Obj1),

neueigentuemer(Eig,Obj2),

Obj1 \= Obj2,

obj(Obj1,_,Strasse,Num1,_),

obj(Obj2,_,Strasse,Num2,_),

((Num1 =:=Num2-2);

(Num2 =:=Num1-2)).

Eig = herder

Obj1 = 7

Obj2 = 1

Strasse = gaertnerstr

Num1 = 17

Num2 = 15

Yes

?- halt.

</pre>

FsrProtokoll20081020

2010-07-16T14:01:23Z

134.100.48.183: Kategorie:FSR-Protokoll

= Trivia =
* Anwesend: Björn, Niels, Tobias W., Sonia, Justus, Jan G., Flo, Jan, Tim K, Jesicca, Christian, Sebastian, Robert, Anja, Patrick, Muelli, Emma, Senad, Timon, Christopher, Mieke, Tri, Marius, Tobias Z.
* Abwesend: der Rest
* Beginn: 16:05
* Ende: 17:00
* Protokollant: Sebastian
* Verlammlungsleiter: Patrick
* Beschlussfähig: #t

= Berichte =

== Mensa Essen ==
* Qualität des Mensa-Essens. [[Bewertung_der_Mensa_Stellingen]]
* Wir haben auf der Wiki-Seite haben eine Umfrage gemacht.
* Viele viele Menschen bericht FSR-Party, wie lecker das Essen schmeckt.
* Wir fassen die Wiki-Seite zusammen und gestalten einen kleinen Brief einen kleinen Brief
* Sonia macht das :-)

== Lehrevaluation SoSe 2008 ==
* Ergebnisse sind drausen
* Aber zu spät. Sind leider nicht so ausführlich.
* Herr Möller hat wundervolles Feedback bekommen.
* Workloaderhebung sollte mal von Jan gemacht.
* Wir bekommen frühzeitiger eine Liste, damit mir mehr Studis motivieren können, Fragebögen zu verteilen.

== Seminare im HS ==
* Es gibt anscheinend zu wenig Seminare im HS
* Wir sollten das überprüfen

== DM ==
* Es gibt viel zu viele Leute, die DM wiederholen müssen.
* Es wird die Prüfung anders, deshalb '''sollten''' alle zur Übung gehen
* Es gibt keine Kofferklausur mehr
* Man muss ein Buch kaufen.
* Wir wollen zusätzliche Tutorien für Wiederholer.
* Und wir wollen wissen, wie die Klausur genau aussieht und welche Inhalte in dem Modul bearbeiten werden sollen.
* Wir finden das garnicht gut!
* Wir werden das Thema mit Jan ansprechen

== SG ==
* Sie fand nicht statt.
* Wir sollen uns Gedanken, was wir von StudG kaufen wollen
* Wann kaufen wir die Sofas? Arne weiß bescheid, wo wir die kaufen können. Arne soll sich drum kümmern.

== FAR ==
* Patrick berichtet aus dem FAR

== [[KunterBuntesSeminar]] ==
* Super Sache
* Wir sind gespannt, wie das wird!
* Wir unterstützen das [[KunterBuntesSeminar]]!!

= Beratungsrunde :-) =
== VV ==
* '''Die VV ist am 3. 11. 2008 in D-125'''

=== VV Themen ===
* Wollen wir DM Bücher für alle?
* Was wollen wir noch kaufen von Studiengebühren?

=== ToDos für die VV ===
* Plakate [7kraemer]
* Gremien abchecken, wer weiter macht [7schulz]
* Werbemails für die VV verschicken [7schulz]
* Folien updaten [7schulz]
* Finanzbericht [7schulz]
* Resolution für bzw. gegen STiNE [5fey]
* Patrick verabschieden [2burmest]
* Kaffe und Keckse besorgen [onthefly]
* Protokollant finden [5jobski] :-)

== Öffnungszeiten ==
* Patrick und Sebastian werden sich mit Ritter treffen.
* Es wäre cool, wenn das Ikum bis 22h offen hätte
* Gespräch mit Jan von Soosten vorbereiten

= Antrag =
* Patrick beantrag, nach §2 der Satzung, Mitglied der Fachschaft zu bleiben. '''Einstimmig bei einer Enthaltung'''

= Nächste FSR-Party =
* Mo. 27. Okt. 2008 um 15h
* Wegen des [[KunterBuntesSeminar-WS08|KunterBuntenSeminars]], werden alle folgende Themen vertagt
** Drucker/FS-Server/RZ
** [http://kif.fsinf.de/wiki/KIF365:Hauptseite 36,5. KIF und 63. KoMa in Paderborn]
** Weihnachtsfeier
*** Plakate
*** Crypto-Kampagne
*** Einladungen (Cryptochef, Zertifizierungsstellen, ...)
** OE-Finanzkram

= Todo =
* VV vorbereiten [s. oben]
* Planer/Ritter einladen [5fey]
* Weihnachtsfeier vorbereiten
* Jabber-Accout Password Reset [9beyerle]
* Email Jantzten: STiNE ist nicht die richtige Plattform für Übungsblätter [muelli]
* Mensa Umfrage zusammenfassen [Sonia]
* Sofas kaufen [5koehn]

[[Kategorie:FSR-Protokoll]]

FsrProtokoll20080107

2010-07-16T14:01:07Z

134.100.48.183: Kategorie:FSR-Protokoll

= Trivia =
* Anwesend: Marius, Sebastian, Arne, Patrick, Christine, Helga, Emma (verbraucht am meisten Kaffee von allen Teilnehmern), Till, Björn, Dimitri, Andre, Hans-Peter, unser Neuzugang: Erich, Muelli
* Entschuldigt: Felix G.
* Abwesend: noch einige wenige FSRler und zahlreiche Fachschaftler
* Protokoll: leider wieder Patrick
* Beschlussfähig: #t
* Beginn: 14:24 Uhr
* Ende: 15:16 Uhr
* Verlammlungsleitung: Arne, später Sebastian (nicht das wir das bräuchten, aber es waren heute wirklich wieder so große Unmengen an Leuten da ;)

= Berichte =

* AD: Patrick hat Herrn Rarey noch nicht telefonisch erreicht und im Büro war er auch nicht.
* Lehreevaluation: Marius wird sich um die Organisation kümmern und trifft sich darum mit Jan.
* RZ: Sebastian war vor Weihnachten bei Herrn Friesland. Friesland bespricht es mit seinen Leuten. Sebastian geht diese Woche nochmals vorbei, um den aktuellen Status zu erfragen.
* Helga ist unser neuer freundlicher Jabber-Bot. Arne hat ihn aufgesetzt. Er ist von der RWTH Aachen. Über Helga können die Gruppen verwaltet werden. Nur der FSR kann Gruppen erstellen und Moderatoren für die Gruppe ernennen, die alle Rechte für die Gruppe haben. Arne verlinkt die Webseite mit der Helga-Anleitung auf jabber.mafiasi.de und schreibt ein Blog-Posting darüber.
* VV vor Weihnachten: Andre war da und es war nicht so toll. Die Leute haben geweint, dass der Boykott nicht zustande gekommen ist. 420 Leute boykottieren noch mit Extra.
* Wachdienst-Problematik: Arne: Der Vorstand hat beschlossen: Wenn kein Wachdienst da ist, dürfen sich keine Leute auf dem Campus aufhalten. Das bedeutet für uns: Nicht Grillen und keine Weihnachtsfeiern mehr. Es gibt aber Gespräche mit der Uni darüber, um zu sehen, wie das Problem gelöst werden kann.
* VoIP: Der AStA findet gut was wir beschlossen haben und hilft uns bei der Umsetzung.
* KASAP: Der AStA übernimmt die Kosten solange er noch an der Macht ist.
* Erich: Emma geht grade nicht, aber Erich steht unten to serve you!

= StuPa-Wahl =

* Vom 14. bis zum 18. ist Urnenwahl. Wir müssen uns um die Besetzung der Urne kümmern.

= Post =

* 2x Hacking
* Hochschulsport schickt uns Plakate, die schon überall im c.t. rumhängen

= TODO =

* Pförtner sagen, dass keine StuPa-Wahlzettel in die AS-Wahl-Urne hineingehören (und umgekehrt) [Arne]
* Mail an StuPa-Präsidium: Urne direkt beim Pförtner abliefern und nicht im c.t. [Patrick]
* Waffel-Zutaten kaufen und Utensilien in eine handliche Kiste packen [Andrej, Hans-Peter]
* DIN-A4-Zettel: "Jetzt wählen im Foyer von Haus D" über StuPa-Wahlplakate kleben [Sebastian]
*
* Wiki-Seite fertig machen und an MafiA mailen [Patrick]
* AD-Leute aktivieren und Telefongespräch mit Rarey organisieren [Patrick]
* Kühlschrank-Spende einwerben [Kjell]
* Flyer-Foo von FSR Chemie abholen [Patrick, Martin]
* Aufraeumen
* Fahrt zur Games Konvention organisieren [Sascha]
* Planet, Jabber und Forum an alle rumschicken (mit Hetzner Werbung? Ja!)
* Zum Juli 2008 Schnupperstudium mit Schirmer diskutieren
* Thirts entwerfen und drucken [Felix G.]
* RZ ansprechen wegen Server [Sebastian, Hans-Peter]
* RZ ansprechen wegen VoIP im Mafia-Raum um Kosten zu sparen [Sebastian, Hans-Peter]
* FSR-Verzeichnis Schreibrechte für 2007er mit Reinhard klären [Sebastian, Hans-Peter]
* Online-Umfrage zu AD an den Jahrgang 2006 schicken: PHP-Skript mit Datenbankanbindung [Sebastian]
* Umfrage: Welches Semester, wann biste fertig? Master? Hier in Hamburg? [Sebastian]
* Gesprächstermin mit Rarey wegen AD -> nach Umfrage
* Gesprächsergebnis mit Frau Zaplata zusammenfassen [Kjell]
* Smartcards bestellen [Björn, Marius schickt ein Email an Björn]
* Feuermelderhinweiß auf Waffeleisen etc. [Muelli aus bestimmten Gründen]
* Geschirrspüler für 99 EUR anschaffen und installieren [Andrej]

== Erledigt ==

* Vorstand zur Wachdienst-Problematik befragen [Arne, Marius sagt Arne nochmal Bescheid]
* Schlüssel für Schrank und Kasse vervielfältigen lassen [Arne]
* Herrn Soltau am Dienstag über neuen Code informieren [Christine, Arne]
* FSR-Policy schreiben und ausdrucken, Mail an fsr@ [Patrick]
* Boykott nach Rechnung fragen [Sebastian]
* VoIP-Umstellung mit AStA besprechen, Antrag für Telefon stellen [Martin, Patrick]
* VoIP-Umstellung mit AStA besprechen, Antrag für Telefon stellen [Martin, Patrick]
* KASAP-Finanzen mit AStA [Martin, Patrick]

== Legende ==

Der in eckigen Klammern stehende Name hinter dem TODO bedeutet, dass diese Person sich darum kümmert, dass der TODO von der Liste verschwindet.

= Glossar =

* Dediziert: Extra dafür und für nichts anderes.

[[Kategorie:FSR-Protokoll]]

KunterBuntesSeminar-WS10

2010-07-16T10:34:06Z

134.100.48.183: /* Themen */ Fehlerquelle beseitigt

Das ist die Seite von dem [[KunterBuntesSeminar|KunterBuntenSeminar]] im [[Termine_WS_10/11|Wintersemester 2010]], welches das fünfte Semester ist, in dem es stattfindet.

== Termine ==
Das [[KunterBuntesSeminar|KunterBunteSeminar]] findet jeden '''Donnerstag''' um '''17:00 Uhr - 19:00 Uhr''', in '''t.b.d.''' 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.

=== Themen ===
; 21.10.2010: 4stuebs, 7licina, 3girlich - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Leben in und mit der Uni|Leben in und mit der Uni]] (Besucher: )
; 28.10.2010: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Workshop Rechnerbenutzung|Workshop Rechnerbenutzung]] (Besucher: )
; 04.11.2010: [[3girlich]], [[5katz]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Ubuntu-Installationsparty|Ubuntu-Installationsparty]] (Besucher: )
; 11.11.2010: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Vortragstechniken|Vortragstechniken]] (Besucher: )
; 18.11.2010: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Thema 5|Thema 5]] (Besucher: )
; 25.11.2010: [[5katz]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/IPv6|IPv6]] (Besucher: )
; 02.12.2010: Lighting Talks - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Lightning Talks|Lightning Talks]] (Besucher: )
; 09.12.2010: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/CryptoCampagne|CryptoCampagne]] (Besucher: )
; 16.12.2010: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Thema 9|Thema 9]] (Besucher: )
; 06.01.2011: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Thema 10|Thema 10]] (Besucher: )
; 13.01.2011: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Thema 11|Thema 11]] (Besucher: )
; 20.01.2011: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Thema 12|Thema 12]] (Besucher: )
; 27.01.2011: [[N.N.]] - Host: [[N.N.]] - [[KunterBuntesSeminar-WS10/Thema 13|Thema 13]] (Besucher: )
; 03.02.2011: alle - Host: alle - [[KunterBuntesSeminar-WS10/Plenum|Plenum]] (Besucher: )

== Themenvorschlaege ==

Der Schwerpunkt soll dieses Semester zuerst auf OE-Themen liegen, da sich das KBS als verlängerte OE sieht. Im Verlauf sollen dann breitere Themen behandelt werden.

Generelle Ideensammlung [[KunterBuntesSeminar/Ideen|Ideen]]

== Materialien ==
* [[KunterBuntesSeminar/ChecklisteSeminar|Checkliste für Referenten]]
* [[KunterBuntesSeminar/Aufgaben des Hosts|Aufgaben des Hosts]]

[[Kategorie:KunterBuntesSeminar]]