Exkurs: Beweisen mit Tableau. Tableau-Methodik. Tableau-Erweiterungsregeln. Tableau-Beweis: Beispiel (1)
|
|
- Paul Hansl Möller
- vor 6 Jahren
- Abrufe
Transkript
1 Tableau-Methodik Exkus: Beweisen mit Tableau Este Algoithmus (fü ALC) [Schmidt-Schauß Smolka, 1991]. Eweiteungen fü: Zahlenestiktion [Baade, 1991] Tansitive Relationen [Sattle, 1996] Konkete Bildbeeiche, z. B. Zahlen [Baade Hanschke, 1991]... Inzwischen existieen hoch-optimiete Tableau-Algoithmen fü eine Reihe von bescheibungslogischen Spachen, die sich auch im Vegleich mit klassischen Beweisen gut schlagen (vgl. mit TABLEAUX/TANCS 99 Benchmak). Idee: Man entscheidet die Unefüllbakeit eines Begiffs C, indem man systematisch vesucht ein Modell von C zu konstuieen. Ist dies efolgeich, ist C efüllba, sonst nicht. Semantische Tableau egeben ein Beweisvefahen, mit dem ähnlich wie mit de Resolution eine Fomel daduch bewiesen wid, dass ihe Negation als widespüchlich abgeleitet wid (poof by efutation). Es wid ein Baum konstuiet, in dem jede Knoten mit eine Fomel makiet ist. Ein Pfad von de Wuzel zu einem Blatt stellt die Konjunktion alle Fomeln de Knoten entlang des Pfads da; eine Vezweigung stellt eine Disjunktion da. De Baum wid aufgebaut duch sukzessive Anwendung de Tableau-Eweiteungsegeln. Ein Pfad in einem Tableau ist abgeschlossen, wenn entlang des Pfads sowohl X wie X fü eine Fomel X aufteten, ode wenn F (false) auftitt (X muss nicht atoma sein). Ein Tableau heißt abgeschlossen, wenn alle seine Pfade abgeschlossen sind. Auswahl de Regeln bei de Eweiteung sind z. T. nichtdeteministisch. Tableau-Beweis fü eine Fomel X ist ein abgeschlossenes Tableau fü X. SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm Tableau-Eweiteungsegeln Tableau-Beweis: Beispiel (1) Fü Aussagenlogik: X X W F F W Aussagenlogische Tableau-Beweis fü (P (Q R)) ((P Q) (P R)): (1) `(P (Q R)) ((P Q) (P R)) (α aus 1) Fü konjunktive Fomeln ( α-regeln ): α α 1 α 2 X Y X Y Fü disjunktive Fomeln ( β-regeln ): β β 1 β 2 X Y X Y (X Y) X Y (X Y) X Y (X Y) X Y X Y X Y (2) (P (Q R)) (α aus 1) (3) `(P Q) (P R) (α aus 3) (4) (P Q) (α aus 3) (5) (P R) (α aus 5) SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm 2-168
2 Tableau-Beweis: Beispiel (2) Tableau-Vefahen fü Pädikatenlogik (α aus 5) (6) P (α aus 5) (7) R (β aus 2) (8) P (9) (Q R) (β aus 9) (10) Q (11) R (β aus 4) (12) P (13) Q Tableau-Eweiteungsegeln fü Pädikatenlogik: Eweiteungsegeln wie fü Aussagenlogik in den Regeln stehen X Y dann fü beliebige (pädikatenlogische) Fomeln Zusätzlich die folgenden Regeln fü die Behandlung quantifiziete Fomeln: γ γ[t] δ δ[c] γ ist eine univesell quantifiziete Fomel, δ eine existentiell quantifiziete Fomel. γ[t] δ[c] egeben sich aus den folgenden Tabellen: γ γ[t] x.φ Φ[x := t] x.φ Φ[x := t] δ δ[c] x.φ Φ[x := c] x.φ Φ[x := c] Hiebei sind t ein Gtem (ode allgemeine: ein Tem, de keine Vaiablen enthält, die in Φ geben sind) c eine neue Konstante. SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm Tableau-Regeln mit Vaiablen Tableau-Vefahen: Eigenschaften Statt geeignete Instanzen de γ- δ-regeln zu eaten, können auch feie Vaiablen Skolem-Funktionen in de Eweiteung benutzt weden. Tableau-Eweiteungsegeln mit Skolem-Funktionen feien Vaiablen γ γ[v] δ δ[f(v 1,.., v n)] Hiebei sind v eine neue Vaiable, f eine neue Skolem-Funktion, v 1,..., v n alle bishe in dem beteffenden Zweig des Tableaus eingefühten feien Vaiablen. Tableau-Substitutionsegel: T sei ein Tableau fü eine Menge S von geschlossenen Fomeln, σ eine Substitution, die fei fü T (d. h. fei fü alle Fomeln in T ) ist; dann ist σ(t) (d. h. jede Fomel X in T duch σ(x) esetzt) auch eine Tableau fü S. Eine elementa Substitution {x t} ist fei fü eine Fomel P, wenn x in P nicht im Bindungsbeeich eine Vaiablen y vokommt, die auch in t vokommt. Eine Substitution σ ist fei fü eine Fomel P, wenn jede ihe Elementa-Substitutionen fei fü P ist. Sätze übe das Tableau-Vefahen: 1. Efüllbakeit wid duch die Tableau-Regeln ehalten: wenn die Wuzel-Fomel eines Tableaus efüllba ist, dann gibt es mindestens einen Pfad im Tableau, de efüllba ist. 2. Eine Tableau-Fomel G ist unefüllba genau dann, wenn ein geschlossenes Tableau fü G existiet. (Koektheit Widelegungsvollständigkeit des Vefahens) Das Vefahen kann auf unefüllbae Mengen von Fomeln eweitet weden. Tableau-Vefahen weden zunehmend auch fü maschinelles Beweisen heangezogen, als Altenative zu Resolution. Wegen de elativ einfachen Modifiebakeit de Dekompositionsegeln weden Tableau-Vefahen insbesondee auch fü andee Logiken (wie intuitionistische Logik, Modal-Logiken) entwickelt. Seit einige Zeit gibt es soga eine eigene Tagungseihe speziell fü Beweisen mit Tableaus. SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm 2-172
3 Tableau-Vefahen Resolution Gemeinsamkeiten: Beweis duch Widelegung ausgehend von de zu beweisenden (bzw. zu widelegenden) Fomel Steueung duch Auswahl-Stategien Unteschiede: Resolution setzt Tansfomation de Fomeln in Klauselfom voaus; Tableau-Vefahen nimmt in gewisse Weise eine Tansfomation wähend de Konstuktion des Tableau vo, d. h. Tanfomation ist Teil de Regeln. Resolution efodet Reduktion auf leee Klausel fü efolgeichen Beweis; Tableau-Vefahen kann (im Pinzip) efolgeich stoppen, ohne dass die Fomel vollständig auf Atome eduziet ist. Es ist im allgemeinen einfache, aus einem nicht weite eduziebaen Tableau ein Modell ( damit ein Gegenbeispiel) abzulesen, als aus einem fehlgeschlagenen Resolutionsbeweis. Tableau-Methode in Bescheibungslogiken: (einf. Bsp. 1) TBox: T C D E Fagestellung: Reduktionen: =.A.B =.E = A B C T D 1. Auffalten:.A.B.(A B) 2. Reduktion auf Unefüllbakeit:.A.B (.(A B)) unefüllba? 3. Negationsnomalfom (Negationen nach innen schieben): F =.A.B.( A B) 4. Vesuch, ein Modell fü F zu konstuieen: SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm Tableau-Methode: allg. Vogehensweise (einf. Bsp. 2) Tableau-Methode: allg. Vogehensweise (einf. Bsp. 3) 1. Annahme: Es existiet ein Element a in de Intepetation des Begiffs F, d. h. a (.A.B.( A B)) I 2. Dann muss dieses a auch in de Intepetation alle Konjunkte liegen: a (.A) I a (.B) I a (.( A B) I 3. Dann muss es auch Elemente b c geben, so dass (a, b) I (a, c) I b A I c B I b ( A B) I c ( A B) I (a, b) I b A I b ( A B) I b : {A} (a, c) I a : {.A,.B,.( A B)} c B I c ( A B) I c : {B} SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm 2-176
4 Tableau-Methode: allg. Vogehensweise (einf. Bsp. 3) Tableau-Methode: allg. Vogehensweise (einf. Bsp. 4) (a, b) I b A I b ( A B) I (a, c) I c B I c ( A B) I Es ist ein Modell fü F gefen (dei Individuen a, b c existieen ohne Widespuch). Die Subsumtionsbeziehung gilt nicht! a : {.A,.B,.( A B)} b : {A, ( A B)} b : {A, B} c : {B, ( A B)} c : {B, A} Eweiteung des Beispiels: (Hinzunahme eine Kadinalitätseinschänkung) TBox: T C =.A.B ( 1 ) D E =.E = A B Fagestellung: C T D Negationsnomalfom:.A.B ( 1 ).( A B) SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm Tableau-Methode: allg. Vogehensweise (einf. Bsp. 5) Kadinalitätseinschänkung füht zu Veschmelzung de Relationsfülle (Relationsfülleeinschänkung bzgl. A fällt notwendigeweise mit dem Fülle bzgl. de Einschänkung B zusammen). a : {.A,.B, ( 1 ),.( A B)} Tableau-Methode: allg. Vogehensweise (einf. Bsp. 5) Kadinalitätseinschänkung füht zu Veschmelzung de Relationsfülle (Relationsfülleeinschänkung bzgl. A fällt notwendigeweise mit dem Fülle bzgl. de Einschänkung B zusammen). a : {.A,.B, ( 1 ),.( A B)} Gleichsetzung de Individuen b = c : {A, B, ( A B)} b = c : {A, B, ( A B)} Altenative 1: b = c : {A} Widespuch Altenative 2: b = c : {B} Widespuch Widespuch in allen Fällen: D. h. die Subsumtionsbeziehung gilt! SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm 2-180
5 Tableau-Vefahen fü Bescheibungslogiken Tableau-Methodik in Bescheibungslogiken: allg. Vogehensweise Um einen optimalen (spich effizienten) Tableau-Algoithmus fü Bescheibungslogiken zu ehalten, weden: Tableau-Regeln nicht blind angewendet Redante Veifikationen vemieden bzw. zwischengespeichet. Abstaktion: Beispiel:.C. In eine geg. Intepetation I gibt es ein a mit a (.C) I. Aus de fomalen Semantik des -Konstuktos folgt, dass es ein b geben muss, so dass (a, b) I b C I. Dies gilt fü alle Intepetationen, so dass von Intepetationen abstahiet weden kann. In eine geneischen Intepetation abeiten wi fotan mit geneischen Elementen (x, y, z,...). Notation: Das geneische Element x liegt in de geneischen Intepetation de Konzeptbescheibung.C, geschieben: x : {.C}. Allgemeine Vogehensweise um ein Modell fü ein Konzept C zu finden: Auffalten Reduktion auf Unefüllbakeit Negationsnomalfom Das Modell wid duch einen Baum T abgebildet. Knoten in Ts entspechen Individuen im Modell. Restiktionen bzgl. Knoten dücken sich in Einschänkungen bzgl. Individuen aus. Kanten weden mit Relationsnamen in T annotiet. Stat vom Wuzelknoten {C} Anwendung von Expansionsegeln, bis Expansion vollständig (Baum stellt ein gültiges Modell da) Widespuch beweist, dass kein Modell existiet Nichtdeteministische Expansion (z. B. bei C D). Blocking sichet die Temination (bei zyklischen Spachen). SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm Tableau-Vefahen fü Bescheibungslogiken: Baum Tableau-Vefahen fü Bescheibungslogiken: Regeln (1) Tableau-Regeln bauen eine Baum auf (semantisch wid eine geneische ABox ezeugt): Knoten epäsentieen geneische Elemente de geneischen Intepetation. Diese weden mit den Untebegiffen annotiet. Kanten epäsentieen Relations-Nachfolge zwischen Elementen de geneischen Intepetation. Initialisieung des Baums mit einem Wuzelknoten (geneisches Element x): x : {C} De Baum enthält einen Widespuch, wenn fü einen Knoten im Baum gilt: {A, A} {...} ode {( m ), ( n )} {...} fü n < m Und-Regel ( ): Enthält ein Knoten eine Konjunktion C D, dann füge C D zum Knoten hinzu (falls nicht schon dot). [x : {C D, C, D}] Semantik: Ein geneisches Individuum x muss sowohl in de Intepetation von C als auch D sein. Ode-Regel ( ): Enthält ein Knoten eine Disjunktion C D wede C noch D, dann ezeuge zwei altenative Knoten mit einmal C einmal D. [x : {C D, E} mit E {C, D}] Semantik: Ein geneisches Individuum x muss entwede in de Intepetation von C ode D sein. Exist.-Qualif.-Regel ( ): Enthält ein Knoten eine existentielle Quantifikation.C, dann ezeuge eine neue Kante einen neuen Knoten fü ein neues geneischen Individuum y mit (x, y) ein; als Einschänkung fü den neuen Knoten gilt {C} (alles falls nicht schon vohanden). [y : {C} x y (Kante von x nach y mit Bezeichnung ).] Semantik: Es muss fü x bzgl. de Relation ein geneisches Individuum y geben, das in C liegt. SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm 2-184
6 Tableau-Vefahen fü Bescheibungslogiken: Regeln (2) Univ.-Qualif.-Regel ( ): Enthält ein Knoten eine univeselle Quantifikation de At.C es existiet eine Kante zu y, dann füge die Einschänkung C zu y hinzu. [y : {C}] Semantik: Hinzunahme de Restiktion C fü alle Fülle von. Minimum-Regel ( ): Enthält ein Knoten eine Kadinalitätseinschänkung ( n ) es existieen nicht mindestens n gen. Individuen y 1,..., y n mit (x, y i ) fü (1 i n) y i y j fü (1 i < j n), dann füge solche Individuen hinzu. Semantik: Es müssen mindestens n unteschiedliche geneische Individuen als Fülle von existieen. Maximum-Regel ( ): Enthält ein Knoten eine Kadinalitätseinschänkung ( n ) es existieen n + 1 paaweise veschiedene gen. Individuen y 1,..., y n+1 mit (x, y i ) fü alle (1 i n + 1), abe fü ein Paa i j ist y i y j nicht im Tableau enthalten, dann veschmelze ein y i mit einem y j duch systematisches Esetzen von y i duch y j. Semantik: Es düfen maximal n unteschiedliche geneische Individuen als Fülle von existieen. Tableau-Vefahen fü Bescheibungslogiken: Regeln (3) Die Regeln sind nicht-deteministische Regeln. D. h. sie können einen Baum in unteschiedliche Weise expandieen. Alle andeen Regeln sind deteministische Regeln. Die Regeln weden als geneieende Regeln bezeichnet, da sie neue geneische Individuen ezeugen. Alle andeen Regeln bezeichnet man als nicht-geneieende Regeln. Eine Regel kann nu dann angewendet weden, wenn das entspechende Konstukt im Knoten vohanden ist. SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm Tableau-Vefahen fü Bescheibungslogiken: Einfaches Beispiel Tableau als Constaint-System Fagestellung: Sind hat-kind.mann hat-kind. Mann disjunkt? Reduktion: Ist (( hat-kind.mann) ( hat-kind. Mann)) unefüllba? -Regel -Regel x : {( hat-kind.mann) ( hat-kind. Mann)} x : {( hat-kind.mann)} x : {( hat-kind. Mann)} Ein Constaint ist ein syntaktisches Objekt de At x : C ode x z, mit C ein Begiff in NNF, eine atomaen Relation x, y Vaiablen. Sei I eine Intepetation. Eine I-Belegung α ist eine Funktion, die jede Vaiable auf ein Objekt des Univesums D abbildet. Ein Constaint c = x : C (ode c = x z) wid von eine I-Belegung α efüllt, falls α(c) C I (ode (α(x), α(z)) I ). -Regel -Regel -Regel y : { Mann} y : {Mann} x hat-kind y Ein System von Constaints S ist eine nicht-leee, endliche Menge von Constaints. Eine I-Belegung α efüllt S, falls α jedes Constaint in S efüllt. S ist efüllba, falls es I α gibt, so dass α S efüllt. Theoem. Ein ALC-Begiff C in NNF ist efüllba, gdw. das System x : C efüllba ist. SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm 2-188
7 Tableau-Vefahen: Theoeme Theoem (Invaianz). Seien S T Constaint-Systeme: 1. Falls T aus S duch Anwendung eine deteministischen Regel gewonnen wude, dann ist S efüllba, gdw. T efüllba ist. 2. Falls T aus S duch Anwendung eine nicht-deteministischen Regel gewonnen wude, dann ist S efüllba, falls T efüllba ist. Weitehin gilt, dass falls eine nicht-deteministische Regel auf S anwendba ist, dann kann sie so angewendet weden, dass S efüllba ist, gdw. T efüllba ist. Theoem (Teminieung). Sei C ein ALC-Begiff in NNF. Dann gibt es keine unendlichen Ketten von Tansfomationsschitten ausgehend von x : {C}. Ein Constaint-System ist abgeschlossen, falls keine weiteen Tansfomationsegeln angewendet weden können. Theoem (Abgeschlossenheit). Ein abgeschlossenes Constaint-System ist efüllba, gdw. es keinen elementaen Widespuch, d. h. Paa de Fom x : A x : A wobei A atoma, enthält. Tableau-Vefahen zu Bescheibungslogiken: Eigenschaften Aufg nicht-deteministische Regeln können exponentiell viele geschlossene Constaint-Systeme entstehen. Selbst ein einzelnes Constaint-System kann exponentielle Göße haben. Beispiel:.A.B.(.A.B.(.A.B.(...) )) Ezeugt 2 n viele Vaiablen bei eine Veschachtelungstiefe von n. De Speicheplatzbedaf kann jedoch polynomiell begenzt weden, indem jeweils nu eine Vaiable fü ein.c ezeugt wid Tiefenexpansion angewendet wid: Pfade in einem Tableau sind voneinande unabhängig Ein Widespuch in einem Pfad hängt nu von Regeln/Knoten in diesem Pfad ab Ein Pfad hat lediglich polynomielle Tiefe SS07, T. Liebig, Uni Ulm SS07, T. Liebig, Uni Ulm Tableau-Vefahen: Spacheweiteungen De Tableau-Algoithmus kann um folgende Konstukte eweitet weden (PSpace): ALC mit qualifizieende Kadinalitätseinschänkung (( n C) ( n C)) ALC mit invesen Relationen (z. B. hat-kind ) ALC mit Relationskonjunktion ( ( s).c ( s).c) TBox mit azyklischen abgeleiteten Konzeptdefinitionen A = C Nomales Auffalten kann jedoch zu exponentiellem Aufblähen fühen. Auffalten nach Bedaf (lazy unfolding) elaubt Konsistenzübepüfung in PSpace. Poblematische sind: TBox mit GCI s C i D i. Zu jedem Knoten muss C i D i hinzugefügt weden. Tansitive Abschluss von Relationen. Z. B..C füht zu C in allen -Nachfolgen Zyklische TBoxen ( Temininieungspoblem) SS07, T. Liebig, Uni Ulm 2-191
Statische Magnetfelder
Statische Magnetfelde Bewegte Ladungen ezeugen Magnetfelde. Im Magnetfeld efäht eine bewegte Ladung eine Kaft. Elektische Felde weden von uhenden und bewegten Ladungen gleichemaßen ezeugt. Die Kaft duch
MehrMusterlösung Klausur Mathematik (Wintersemester 2012/13) 1
Mustelösung Klausu Mathematik Wintesemeste / Aufgabe : 8 Punkte Fü die Nahfage Dp nah einem Podukt als Funktion seines Peises p sollen folgende Szenaien modelliet weden:. Wenn de Peis um einen Euo steigt,
MehrSoftware Engineering Projekt
FHZ > FACHHOCHSCHULE ZENTRALSCHWEIZ HTA > HOCHSCHULE FÜR TECHNIK+ARCHITEKTUR LUZERN Softwae Engineeing Pojekt Softwae Requiements Specification SRS Vesion 1.0 Patick Bündle, Pascal Mengelt, Andy Wyss,
MehrStereo-Rekonstruktion. Stereo-Rekonstruktion. Geometrie der Stereo-Rekonstruktion. Geometrie der Stereo-Rekonstruktion
Steeo-Rekonstuktion Geometie de Steeo-Rekonstuktion Steeo-Kalibieung Steeo-Rekonstuktion Steeo-Rekonstuktion Kameakalibieung kann dazu vewendet weden, um aus einem Bild Weltkoodinaten zu ekonstuieen, falls
MehrElektrostatik. Arbeit und potenzielle Energie
Elektostatik. Ladungen Phänomenologie. Eigenschaften von Ladungen 3. Käfte zwischen Ladungen, quantitativ 4. Elektisches Feld 5. De Satz von Gauß 6. Potenzial und Potenzialdiffeenz i. Abeit im elektischen
MehrAnhang V zur Vorlesung Kryptologie: Hashfunktionen
Anhang V zu Volesung Kyptologie: Hashfunktionen von Pete Hellekalek Fakultät fü Mathematik, Univesität Wien, und Fachbeeich Mathematik, Univesität Salzbug Tel: +43-0)662-8044-5310 Fax: +43-0)662-8044-137
MehrWEKA FACHMEDIEN GmbH. Technische Spezifikationen für die Anlieferung von Online-Werbemitteln
WEKA FACHMEDIEN GmbH Technische Spezifikationen fü die Anliefeung von Online-Webemitteln Jonathan Deutekom, 01.07.2012 Webefomen Webefom Beite x Höhe Fullsize Banne 468 x 60 Leadeboad 728 x 90 Rectangle
MehrInhalt der Vorlesung A1
PHYSIK A S 03/4 Inhalt de Volesung A. Einfühung Methode de Physik Physikalische Gößen Übesicht übe die vogesehenen Theenbeeiche. Teilchen A. Einzelne Teilchen Bescheibung von Teilchenbewegung Kineatik:
MehrBerechnung der vorhandenen Masse von Biogas in Biogasanlagen zur Prüfung der Anwendung der StörfallV
Beechnung de vohandenen Masse von Biogas in Biogasanlagen zu Püfung de Anwendung de StöfallV 1. Gundlagen Zu Püfung de Anwendbakeit de StöfallV auf Betiebsbeeiche, die Biogasanlagen enthalten, muss das
Mehr8.2 Nominaler Zinssatz und die Geldnachfrage
8.2 Nominale Zinssatz und die Geldnachfage Die Geldnachfage ist die Menge an monetäen Vemögensweten welche die Leute in ihen Potfolios halten wollen Die Geldnachfage hängt vom ewateten Etag, Risiko und
MehrF63 Gitterenergie von festem Argon
1 F63 Gitteenegie von festem Agon 1. Einleitung Die Sublimationsenthalpie von festem Agon kann aus de Dampfduckkuve bestimmt weden. Dazu vewendet man die Clausius-Clapeyon-Gleichung. Wenn außedem noch
MehrÜbung zur Einführung in die VWL / Makroökonomie. Teil 7: Das IS-LM-Modell
Begische Univesität Wuppetal FB B Schumpete School of Economics and Management Makoökonomische Theoie und Politik Übung zu Einfühung in die VWL / Makoökonomie Teil 7: Das IS-LM-Modell Thomas Domeatzki
Mehr1 Filter mit NIC. a12. abgeschlossen gilt für die Eingangsimpedanz Z 1. Werden diese Zweitore nach Bild 0-1 mit der Impedanz Z 2
Aktive Filte basieend auf LCStuktuen Mit Hilfe von Impedanzkonveten können passive LCFilte als Aktivfilte aufgebaut weden. Hiebei weden die Induktivitäten mit geeigneten Schaltungen aktiv ealisiet. Diese
MehrÜber eine ziemlich allgemeine Zahlenfolge und eine ziemlich allgemeine Funktion
Übe eine ziemlich allgemeine Zahlenfolge und eine ziemlich allgemeine Funktion Beat Jaggi, beat.jaggi@phben.ch Abstact Ausgehend von einem veallgemeineten Mittelwet wid eine Zahlenfolge definiet, die eine
MehrV10 : Elektronenspinresonanz
V10 : Elektonenspinesonanz Vesuchsaufbau: Kontollaum des Tandemgebäudes Beteue SS 2008 - Robet Lahmann 09131/85-27147, Raum TG223 Robet.Lahmann@physik.uni-elangen.de - Rezo Shanidze (Vetetung) 09131/85-27091,
MehrFür den Endkunden: Produkt- und Preissuche
Fü den Endkunden: Podukt- und Peissuche Ducke Mit finde.ch bietet PoSelle AG eine eigene, umfassende Podukt- und Peissuchmaschine fü die Beeiche IT und Elektonik. Diese basiet auf de umfassenden Datenbank
MehrComputer-Graphik II. Kompexität des Ray-Tracings. G. Zachmann Clausthal University, Germany cg.in.tu-clausthal.de
lausthal ompute-aphik II Komplexität des Ray-Tacings. Zachmann lausthal Univesity, emany cg.in.tu-clausthal.de Die theoetische Komplexität des Ray-Tacings Definition: das abstakte Ray-Tacing Poblem (ARTP)
MehrDer eigentliche Druck
147 De eigentliche Duck 5 Kamea: Konica Minolta Maxxum 7D Ist das Bild gut vobeeitet und teten keine Pobleme auf, so ist das Ducken mit den heutigen fü Fine-At geeigneten Tintenducken ein Vegnügen. Leide
Mehr34. Elektromagnetische Wellen
Elektizitätslehe Elektomagnetische Wellen 3. Elektomagnetische Wellen 3.. Die MXWELLschen Gleichungen Die MXWELLschen Gleichungen sind die Diffeentialgleichungen, die die gesamte Elektodynamik bestimmen.
MehrEinführung in die Finanzmathematik - Grundlagen der Zins- und Rentenrechnung -
Einfühung in die Finanzmathematik - Gundlagen de ins- und Rentenechnung - Gliedeung eil I: insechnung - Ökonomische Gundlagen Einfache Vezinsung - Jähliche, einfache Vezinsung - Untejähliche, einfache
MehrVersuch M04 - Auswuchten rotierender Wellen
FACHHOCHSCHULE OSNABRÜCK Messtechnik Paktikum Vesuch M 04 Fakultät I&I Pof. D. R. Schmidt Labo fü Mechanik und Messtechnik 13.09.2006 Vesuch M04 - Auswuchten otieende Wellen 1 Zusammenfassung 2 1.1 Lenziele
MehrKomplexe Widerstände
Paktikum Gundlagen de Elektotechnik Vesuch: Komplexe Widestände Vesuchsanleitung 0. Allgemeines Eine sinnvolle Teilnahme am Paktikum ist nu duch eine gute Vobeeitung auf dem jeweiligen Stoffgebiet möglich.
MehrVergleich von stochastischen Optimierungsstrategien mit Hilfe der Monte-Carlo-Simulation
UNIVERSITÄT SIEGEN FACHBEREICH - MASCHINENTECHNIK INSTITUT FÜR SYSTEMTECHNIK Lehstuhl fü Simulationstechnik und Infomatik im Maschinenbau Pof. D. Wolfgang Wiechet STUDIENARBEIT ST Vegleich von stochastischen
MehrMustertexte. Auftrag nach 11 BDSG. Gegenstand Auftrag nach 11 BDSG 2009
Mustetexte Auftag nach 11 BDSG Gegenstand Auftag nach 11 BDSG 2009 Soweit die DMC ode eine ihe Efüllungsgehilfen als Datenschutzbeauftagte i.s. des 4f Abs. 2 Satz 3 BDSG bestellt und tätig ist, beziehen
MehrDie Schrödingergleichung für das Elektron im Wasserstoffatom lautet Op2 e2 Or. mit
4 Stak-Effekt Als Anwendung de Stöungstheoie behandeln wi ein Wassestoffatom in einem elektischen Feld. Fü den nichtentateten Gundzustand des Atoms füht dies zum quadatischen Stak-Effekt, fü die entateten
MehrLösungshinweise und Bewertungskriterien
27. Bundeswettbeweb Infomatik, 1. Runde Lösungshinweise und Bewetungskiteien Allgemeines Zuest soll an diese Stelle gesagt sein, dass wi uns seh daübe gefeut haben, dass einmal meh so viele Leute sich
MehrKOMPONENTENTAUSCH. Elmar Zeller Dipl. Ing (FH), MBA Quality-Engineering
KOMPONENTENTAUSCH Komponententausch Beim Komponententausch weden nacheinande einzelne Komponenten zweie Einheiten vetauscht und ih Einfluss auf das Qualitätsmekmal untesucht. Ziele und Anwendungsbeeiche:
MehrRendite gesucht! Union Investment Wir optimieren Risikobudgets. r r. e i. 29. Euro
01-U4-JB-2009-Umschlag-Y:01-U4-JB-2008-Umschlag-A 11.03.2010 9:51 Uh Seite 1 JAHRBUCH 2010 29. Euo s unte o f n I Meh sikoi e i d www..de e manag Union Investment Wi optimieen Risikobudgets Union Investment
Mehr( ) ( ) 5. Massenausgleich. 5.1 Kräfte und Momente eines Einzylindermotors. 5.1.1 Kräfte und Momente durch den Gasdruck
Pof. D.-Ing. Victo Gheoghiu Kolbenmaschinen 88 5. Massenausgleich 5. Käfte und Momente eines Einzylindemotos 5.. Käfte und Momente duch den Gasduck S N De Gasduck beitet sich in alle Richtungen aus und
MehrMakroökonomie 1. Prof. Volker Wieland Professur für Geldtheorie und -politik J.W. Goethe-Universität Frankfurt. Gliederung
Makoökonomie 1 Pof. Volke Wieland Pofessu fü Geldtheoie und -politik J.W. Goethe-Univesität Fankfut Pof.Volke Wieland - Makoökonomie 1 Mundell-Fleming / 1 Gliedeung 1. Einfühung 2. Makoökonomische Analyse
MehrUnterlagen Fernstudium - 3. Konsultation 15.12.2007
Untelagen Fenstudium - 3. Konsultation 5.2.2007 Inhaltsveeichnis Infomationen u Püfung 2 2 Aufgabe 7. Umstömte Keisylinde mit Auftieb 3 3 Aufgabe 8. Komplexes Potential und Konfome Abbildung 0 Infomationen
MehrFußball. Ernst-Ludwig von Thadden. 1. Arbeitsmarktökonomik: Ringvorlesung Universität Mannheim, 21. März 2007
Fußball Enst-Ludwig von Thadden Ringvolesung Univesität Mannheim, 21. Mäz 2007 1. Abeitsmaktökonomik: 1 Ausgangsbeobachtung: Fußballspiele sind Angestellte wie andee Leute auch. Deshalb sollte de Makt
Mehr8. Transmissionsmechanismen: Der Zinskanal und Tobins q. Pflichtlektüre:
z Pof. D. Johann Gaf Lambsdoff Univesität Passau WS 2007/08 Pflichtlektüe: Engelen, C. und J. Gaf Lambsdoff (2006), Das Keynesianische Konsensmodell, Passaue Diskussionspapiee N. V-47-06, S. 1-7. 8. Tansmissionsmechanismen:
MehrP. Knoll, Vorlesung: Raman- und Infrarot-Spektroskopie, 2std. SS 2004 Seite 1. VORLESUNG und UE. P. Knoll. Vorbesprechung
P. Knoll, Volesung: Raman- und Infaot-Spektoskopie, std. SS 4 Seite 1 VORLESUNG und UE P. Knoll RAMAN- UND INFRAROT-SPEKTROSKOPIE LVA: 437783 (VO) std., 4377 (UE) std. Vobespechung Ot: HS411, Univesität
MehrShift-Invarianz, periodische Funktionen, diskreter Logarithmus, hi
Shift-Invaianz, peiodische Funktionen, diskete Logaithmus, hidden-subgoup-poblem Infomation und Codieung 2 SS 200 22. Juni 200 Shift-Invaianz de Fouie-Tansfomation f (y) = 2π f (x) e iyx dx Ist (T z f
MehrAufgabenerstellung und Bewertung von Klausuren und Prüfungen für den Erwerb der. Fachhochschulreife
MATHEMATIK Aufgabenestellung und Bewetung von Klausuen und Püfungen fü den Eweb de Fachhochschuleife in beuflichen Bildungsgängen im Rahmen duale ode vollqualifizieende Bildungsgänge, in de Beufsobeschule
MehrDeutsch Bayern Abiturprüfung 2014: Aufgabe 1: Erschließen eines literarischen Textes
Deutsch Bayen Abitupüfung 2014: Aufgabe 1: Eschließen eines liteaischen Textes a) Eschließen und intepetieen Sie das Gedicht Tanspaenz in Blau (Text A) von Dus Günbein. Nutzen Sie dazu auch Text B! b)
MehrUnfallversicherungsschutz für Kinder in Tagespflege
Unfallvesicheungsschutz fü Kinde in Tagespflege Infomationen fü Tagesmütte und -väte Unfallvesicheungsschutz fü Kinde in Tagespflege Inhalt Einleitung 3 Was ist die gesetzliche Unfallvesicheung? 4 Gesetzliche
Mehr2 Prinzip der Faser-Chip-Kopplung
Pinzip de Fase-Chip-Kopplung 7 Pinzip de Fase-Chip-Kopplung Dieses Kapitel behandelt den theoetischen Hintegund, de fü das Veständnis de im Rahmen diese Abeit duchgefühten Untesuchungen de Fase-Chip- Kopplung
MehrGrundbildung Nachholbildung Kauffrau/Kaufmann
Gundbildung Nachholbildung Kauffau/Kaufmann mit eidg. Fähigkeitszeugnis Inhaltsvezeichnis Ih Kusstat ist zu 100 % gaantiet. 1. Nachholbildung fü Ewachsene 4 2. Zulassungsbedingungen und Voaussetzungen
MehrRollenrichtprozess und Peripherie
Rollenichtpozess und Peipheie Macus Paech Die Hestellung von qualitativ hochwetigen Dahtpodukten efodet definiete Eigenschaften des Dahtes, die duch einen Richtvogang eingestellt weden können. Um den Richtpozess
MehrEinführung in die Theoretische Physik
Einfühung in die Theoetische Physik De elektische Stom Wesen und Wikungen Teil : Gundlagen Siegfied Pety Fassung vom 19. Janua 013 n h a l t : 1 Einleitung Stomstäke und Stomdichte 3 3 Das Ohmsche Gesetz
MehrLaborpraktikum Sensorik. Versuch. Füllstandssensoren PM 1
Otto-von-Gueicke-Univesität Magdebug Fakultät fü Elektotechnik und Infomationstechnik Institut fü Miko- und Sensosysteme (IMOS) Labopaktikum Sensoik Vesuch Füllstandssensoen PM 1 Institut fü Miko- und
MehrTestnormal. Mikroprozessorgesteuerter Universal-Simulator für fast alle gängigen Prozessgrössen im Auto- Mobilbereich und Maschinenbau
Testnomal Mikopozessogesteuete Univesal-Simulato fü fast alle gängigen Pozessgössen im Auto- Mobilbeeich und Maschinenbau Inhalt 1. Einsatzmöglichkeiten 2. Allgemeines 2.1. Einstellbae Sensoaten 2.2. Tastatu
MehrMZI-BDE. Betriebsdaten-Erfassung (BDE) für Handwerks-, Kleinbetriebe und Mittelstand. Erfassungsmodul: MZI-BDE
! " # $ % &! '( ) * ( +, -. ( +0/ 1 2 3 2 4%576 8 9 : ; < = 8 > : 8? @ A B C B DEC FC C%C G Efassungsmodul: Fei paametisiebae Obefläche. Einfach anzuwenden. Schnell einsatzbeeit. Auch fü Femdspachen geeignet.
MehrBeispiel. Bsp.: Betrachte Schlussweise in: (3) folgt aus (1) und (2), siehe z.b. Resolutionsregel. was ist mit folgender Schlußweise:
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 5.4 Prädikatenlogik mit Gleichheit Resolution 192 Beispiel Bsp.: Betrachte Schlussweise in: 1 Wenn es regnet, dann wird die Straße nass. R N
MehrSeminarvortrag: Schwarze Löcher und Neutronensterne
Seminavotag: Schwaze Löche und Neutonenstene Loenz Stäheli 30.06.2003 Inhaltsvezeichnis 1 Schwazschild-Metik 2 1.1 1. Folgeung: Peiheldehung.................... 4 2 Entwicklungsstufen eines kugelsymmetischen
MehrErfüllbarkeit und Allgemeingültigkeit
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 3.3 Aussagenlogik Erfüllbarkeit 44 Erfüllbarkeit und Allgemeingültigkeit Def.: eine Formel ϕ heißt erfüllbar, wennesein I gibt, so dass I = ϕ
MehrKinematik und Dynamik der Rotation - Der starre Körper (Analogie zwischen Translation und Rotation eine Selbstlerneinheit)
Kinematik und Dynamik de Rotation - De stae Köpe (Analogie zwischen Tanslation und Rotation eine Selbstleneinheit) 1. Kinematische Gößen de Rotation / Bahn- und Winkelgößen A: De ebene Winkel Bei eine
MehrPrüfung zum Erwerb der Mittleren Reife in Mathematik, Mecklenburg-Vorpommern Prüfung 2011: Aufgaben
Püfung zum Eweb de Mittleen Reife in Mathematik, Mecklenbug-Vopommen Püfung 2011: Aufgaben Abeitsblatt (Pflichtaufgabe 1) Dieses Abeitsblatt ist vollständig und ohne Zuhilfenahme von Tafelwek und Taschenechne
MehrAbiturprüfung 2015 Grundkurs Biologie (Hessen) A1: Ökologie und Stoffwechselphysiologie
Abitupüfung 2015 Gundkus Biologie (Hessen) A1: Ökologie und Stoffwechselphysiologie Veteidigungsstategien von Pflanzen BE 1 Benennen Sie die esten dei Tophieebenen innehalb eines Ökosystems und bescheiben
Mehr3.1 Elektrostatische Felder symmetrischer Ladungsverteilungen
3 Elektostatik Das in de letzten Volesung vogestellte Helmholtz-Theoem stellt eine fomale Lösung de Maxwell- Gleichungen da. Im Folgenden weden wi altenative Methoden kennenlenen (bzw. wiedeholen), die
Mehr6. Das Energiebändermodell für Elektronen
6. Das Enegiebändemodell fü Eletonen Modell des feien Eletonengases ann nicht eläen: - Unteschied Metall - Isolato (Metall: ρ 10-11 Ωcm, Isolato: ρ 10 Ωcm), Halbleite? - positive Hall-Konstante - nichtsphäische
MehrERDGASENTSPANNUNGSANLAGE OBERBUCHSITEN UT WISI ENIM AD MINIM VENIAM,QUIS NOSTRUD EXERCI TATION.
ERDGASENTSPANNUNGSANLAGE OBERBUCHSITEN UT WISI ENIM AD MINIM VENIAM,QUIS NOSTRUD EXERCI TATION. DIE GASVERBUND MITTELLAND AG Die Gasvebund Mittelland AG (GVM) ist mit und 33 Pozent des nationalen Edgasabsatzes
MehrHerrn N. SALIE danke ich für interessante Diskussionen.
nen wi, daß das metische Feld im allgemeinen nicht konsevativ ist. Lediglich in dem Fall eines statischen metischen Feldes ( «.,4 = 0) existiet Enegieehaltung: Die bisheigen enegetischen Betachtungen basieen
MehrVersuch M21 - Oberflächenspannung
Enst-Moitz-Andt Univesität Geifswald Institut fü Physik Vesuch M1 - Obeflächensannung Name: Mitabeite: Guennumme: lfd. Numme: Datum: 1. Aufgabenstellung 1.1. Vesuchsziel Bestimmen Sie die Obeflächensannung
MehrEine Funktion beschreibt eine Tätigkeit oder eine klar umrissene Aufgabe innerhalb eines größeren Zusammenhangs.
Unte de Statik eines Systems wid die stabile Stuktu eines Systems vestanden. Eine Stuktu gibt die Anodnung de Teile eines Ganzen zueinande an (siehe»pinzip de Stuktuieung«, S. 34). Eine statische Stuktu
MehrErnst-Moritz-Arndt-Universität Greifswald / Institut für Physik Physikalisches Grundpraktikum
Enst-Moitz-Andt-Univesität Geifswald / Institut fü Physik Physikalisches Gundpaktikum Paktikum fü Physike Vesuch E7: Magnetische Hysteese Name: Vesuchsguppe: Datum: Mitabeite de Vesuchsguppe: lfd. Vesuchs-N:
MehrTechnische Fachhochschule Berlin University of Applied Sciences
Technische Fachhochschule Belin Univesity of Applied Sciences TFH Belin Fachbeeich III Bauingenieu- und Geoinfomationswesen Luxembuge St. 10 13353 Belin Pof. D. Jügen Schweikat Telefon: 030) 45 04-2038/2613
MehrClojure. magazin. Java Mag. Quo vadis Clojure 1.6. Zugriff auf relationale Datenbanken. Polyglotte Entwicklung mit Clojure und Java
De Tod de Java Application Seve: Sind sie noch zeitgemäß? 55 Java Mag Deutschland 9,80 Östeeich 10,80 Schweiz sf 19,50 Luxembug 11,15 7.2014 magazin Java Achitektuen Web Agile RoboVM SeviceMix ios-apps
Mehr4.1 Lagrange-Gleichungen, Integrale der Bewegung, Bahnkurven
Das Zwei-Köe-Poblem 9 Woche_Skitoc, /5 agange-gleichngen, Integale e Bewegng, Bahnkven Betachtet ween wei Pnktmassen m n m an en Oten (t n (t, ie übe ein abstansabhängiges Potenial U( miteinane wechselwiken
MehrBestimmung der massebezogenen Aktivität von Radionukliden
Bestiung de assebezogenen ktivität von Radionukliden ÄQUIVL/MSSKT Beabeite:. Wiechen H. Rühle K. Vogl ISS 1865-8725 Bestiung de assebezogenen ktivität von Radionukliden ÄQUIVL/MSSKT-01 Die auf die Masse
MehrWichtige Begriffe dieser Vorlesung:
Wichtige Begiffe diese Volesung: Impuls Abeit, Enegie, kinetische Enegie Ehaltungssätze: - Impulsehaltung - Enegieehaltung Die Newtonschen Gundgesetze 1. Newtonsches Axiom (Tägheitspinzip) Ein Köpe, de
MehrSchaltwerke. e = 0 z. e = 0 1 z. z neu. z = z = z???? z(t + ) = z neu = z(t) Schaltnetze und Schaltwerke
Schaltweke Schaltnete und Schaltweke Schaltnete dienen u Becheibung deen, wa innehalb eine Poeotakt abläuft. Die akteit de Poeo mu imme etwa göße ein al die Signallaufeit de Schaltnete. Damit wid ichegetellt,
MehrDr. Jürgen Faik: Vorlesungsskriptum Betriebswirtschaftslehre
D. Jügen Faik E-Mail: jfaik@web.de D. Jügen Faik: Volesungsskiptum Betiebswitschaftslehe PLEASE DO NOT QUOTE!!! Fankfut am Main im Septembe 004 Gliedeung 1. Gundlagen und Begiff de BWL 1.0 Zum Begiff des
MehrInvestition und Finanzierung
Investition und Finanzieung Studiengang B.A. Business Administation Pof. D. Raine Stachuletz Hochschule fü Witschaft und Recht Belin Belin School of Economics and Law Somme 2012 slide no.: 1 Handlungsfelde
MehrModellbasen für virtuelle Behaglichkeitssensoren
Modellbasen fü vituelle Behaglichkeitssensoen Felix Felgne, Lotha Litz felgne@eit.uni-kl.de Technische Univesität Kaiseslauten / Lehstuhl fü Autoatisieungstechnik Ewin-Schödinge-Staße 12, D-67663 Kaiseslauten
MehrAnstelle einer Schlichtung kann auf Antrag sämtlicher Parteien eine Mediation durchgeführt werden.
M u s t e v o l a g e fü Fodeungsklage aus Abeitsecht (Steitwet bis maximal 30'000.--, das Vefahen ist kostenlos) HINWEIS: Vo Eineichung de Klage beim Geicht, muss das Schlichtungsvefahen vo de zentalen
Mehr2 Theoretische Grundlagen
2 Theoetische Gundlagen 2.1 Gundlagen de dielektischen Ewämung 2.1.1 Mechanismen de dielektischen Ewämung Die dielektische Ewämung beuht auf de Wechselwikung atomae Ladungstäge elektisch nicht leitende
MehrSteuerungskonzept zur Vermeidung des Schattenwurfs einer Windkraftanlage auf ein Objekt
teueungskonzept zu Vemeidung des chattenwufs eine Windkaftanlage auf ein Objekt Auto: K. Binkmann Lehgebiet Elektische Enegietechnik Feithstaße 140, Philipp-Reis-Gebäude, D-58084 Hagen, fa: +49/331/987
MehrEinführung in die Physik I. Wärme 3
Einfühung in die Physik I Wäme 3 O. von de Lühe und U. Landgaf Duckabeit Mechanische Abeit ΔW kann von einem Gas geleistet weden, wenn es sein olumen um Δ gegen einen Duck p ändet. Dies hängt von de At
MehrWavelet-Analysen ozeanischer Drehimpulszeitreihen
ISSN 1610-0956 Publication: Scientific Technical Repot No.: STR 03/08 Autho: R. Hengst Wavelet-Analysen ozeanische Dehimpulszeiteihen Rico Hengst GeoFoschungsZentum Potsdam, Depatment 1: Geodäsie und Fenekundung,
MehrZur Gleichgewichtsproblematik beim Fahrradfahren
technic-didact 9/4, 57 (984). u Gleichgewichtspoblematik beim Fahadfahen Hans Joachim Schlichting Gleichgewicht halten ist die efolgeichste Bewegung des Lebens. Beutelock. Einleitung Die physikalische
Mehr4/09. Interview mit Prof. Margrit Kennedy: Komplementärwährungen im Aufwind. Halbjahresbericht: Bilanzsumme wächst weiter. Hauptsitz im neuen Look
Inteview mit Pof. Magit Kennedy: Komplementäwähungen im Aufwind 12 Halbjahesbeicht: Bilanzsumme wächst weite Hauptsitz im neuen Look 4 8 www.wibank.ch INHALT Ein neues Kleid fü die WIR Bank in Basel. 8
Mehr1925 Einstein: Für ein ideales Bose-Gas ist in einer 3-dimensionalen Box gilt für die Temperatur T c : definiert ist als
Übeblick. Vobemekungen. Ideale ose-gas im goßkanonischen Ensemble ose-veteilungsfunktion. Makoskopische esetzung des Gundzustandes. Übegangstempeatu c 4. Spezifische Wäme in de Umgebung von c 5. finit-size
MehrPASSAUER DISKUSSIONSPAPIERE
Das Keynesianische Konsensmodell eine offenen Volkswitschaft Chistian Engelen Johann Gaf Lambsdoff Diskussionsbeitag N. V-49-07 Volkswitschaftliche Reihe ISSN 1435-3520 PSSUER DISKUSSIONSPPIERE Heausgebe:
Mehriaf Institut für angewandte Forschung
iaf Institut fü angewandte Foschung Abschlussbeicht zum Pojekt: Entwicklung eines enegiespaenden Vefahens zum Hochenegiewassestahlen gefödet von de Deutschen Bundesstiftung Umwelt unte dem Az: 23757 Band
MehrMagische Zaubertränke
Magische Zaubetänke In diese Unteichtseinheit waten auf Ihe SchüleInnen magische Zaubetänke, die die Fabe wechseln. Begiffe wie Säue, Base, Indikato und Salz können nochmals thematisiet bzw. wiedeholt
MehrPreise, Form und Farbe: Fallstricke zwischen Verordnung und Einnahme von Arzneimitteln
Peise, Fom und Fabe: Fallsticke zwischen Veodnung und Einnahme von Azneimitteln Seit Jahen ist die Tendenz im Gesundheitswesen unvekennba, dass andee Akteue imme meh ökonomische und egulatoische Ringe
MehrTECHNISCHE UNIVERSITÄT HAMBURG - HARBURG
TECHNISCHE UNIVERSITÄT HAMBURG - HARBURG Abeitsbeeich Theoetische Elektotechnik Pof. D. sc. techn. C. Schuste Paktikumsvesuch: Schimdämpfung PRAKTIKUMSVERSUCH: SCHIRMDÄMPFUNG Ot de Duchfühung: TUHH Habuge
MehrDie Lagrangepunkte im System Erde-Mond
Die Lgngepunkte i Syste Ede-ond tthis Bochdt Tnnenbusch-ynsiu Bonn bochdt.tthis@t-online.de Einleitung: Welche Käfte spüt eine Rusonde, die sich ntiebslos in de Nähe von Ede und ond ufhält? Zunächst sind
MehrOptimierung der Lagerhaltung im. bearbeitet von. betreut von. Prof. Dr. Oliver Vornberger. Am Grewenkamp 19
Fachbeeich Mathematik/Infomatik Optimieung de Lagehaltung im Kaftfahzeugteile-Gohandel Diplomabeit beabeitet von Diete Stumpe beteut von Pof. D. Olive Vonbege 2. Apil 1996 Diete Stumpe Am Gewenkamp 19
MehrDie Kolam-Figuren Südindiens
ETHNOMATHEMATIK z Die Kolam-iguen Südindiens Die Schwellenzeichnungen von Tamil Nadu sind übe Jahhundete hinweg nu mündlich übeliefet woden; abe in ihnen steckt Mathematik, die est duch modene Konzepte
MehrBrandenburgische Technische Universität Cottbus. Fakultät für Mathematik, Naturwissenschaften und Informatik Lehrstuhl Grafische Systeme.
Bandenbugische Technische Univesität Cottbus Fakultät fü Mathematik, atuwissenschaften und Infomatik Lehstuhl Gafische Systeme Diplomabeit Umsetzung eines vollautomatisieten Objektefassungs- Systems übe
MehrDynamik. Einführung. Größen und ihre Einheiten. Kraft. www.schullv.de. Basiswissen > Grundlagen > Dynamik [N] 1 N = 1 kg m.
www.schullv.de Basiswissen > Gundlagen > Dynamik Dynamik Skipt PLUS Einfühung Die Dynamik bescheibt die Bewegung von Köpen unte dem Einfluss von Käften. De Begiff stammt von dem giechischen Wot dynamis
MehrABSGHIEDVOM GIESSKANNENPRINZIP I I I I I I I. I I I t I I I I. Durch Massenmarketing werden zwar viele Personen gleichzeitig
t DREKTMARKETNG: GEZELTE KUNDENANSPRACHE ABSGHEDVOM GESSKANNENPRNZP Duch Massenmaketing weden zwa viele Pesonen gleichzeitig effeicht, doch meist nicht die ichtigen. Was hat etwa ein Hochhausbewohne von
MehrRadioaktivität zum Anfassen - Das Philion-Experimentier-set
100. MNU Kongess Regensbug 2009 Radioaktivität zum Anfassen - Das Philion-Expeimentie-set Rudolf GeiPel' Ilenning von PhiliPsbon" I Pivate Realschule Pindl Albecht-Düe-St. I l, 93 I 28 Regenstauf geipel@t-online.de
MehrEinige Grundlagen der magnetischen Nahfeld-Kopplung. Vorlesung RFID Systems Michael Gebhart TU Graz, Sommersemester 2011
Einige Gundlagen de magnetischen Nahfeld-Kopplung Volesung Michael Gebhat TU Gaz, Sommesemeste Inhalt Übeblick Methode des Magnetischen Moments Biot-Savat Gesetz zu Bestimmung de H-Feldstäke Koppelsystem:
MehrEnergieeffiziente Abscheidung von hochkonzentrierten flüssigen Aerosolen mit einem Autogenen Raumladungsgetriebenen Abscheider (ARA) Dissertation
Enegieeffiziente Abscheidung von hochkonzentieten flüssigen Aeosolen mit einem Autogenen Raumladungsgetiebenen Abscheide (ARA) Von de Fakultät fü Umweltwissenschaften und Vefahenstechnik de Bandenbugischen
Mehr21.02.2011. ...als ein gründergeführtes Unternehmen. Roth & Rau stellt sich vor... ... zur internationalen AG. Von der nationalen GmbH...
Responsibility fo a sunny futue. 1 Wetschöpfungskette Wettbewebeanalyse SWOT - 2 Roth & Rau stellt sich vo... Gündungsjah 1990 Kenmäkte Euopa Asien USA Hauptsitz Hohenstein- Enstthal Wetschöpfungskette
Mehr( ) ( ) ( ) 2. Bestimmung der Brennweite. Abbildungsgleichung. f b = + = + b g
3..00 Volesun - Bestimmun de Bennweite B G F F Aildunsleichun f ; f wid fest ewählt; wid so lane eändet, is Bild schaf auf Mattscheie escheint. ( ) ( ) ( ) ( ) f f. Methode ( ) ( ) f ± Die folenden Folien
MehrDiplomarbeit der Philosophisch-naturwissenschaftlichen Fakultät. vorgelegt von. Michael Held
Scipting fü CORBA Diplomabeit de Philosophisch-natuwissenschaftlichen Fakultät de Univesität Ben vogelegt von Michael Held 1999 Leite de Abeit: Pof. D. Osca Niestasz Institut fü Infomatik und angewandte
MehrExkurs: Portfolio Selection Theory
: Litetu: Reinhd Schmidt und Ev Tebege (1997): Gundzüge de Investitions- und Finnzieungstheoie, 4. Auflge, Wiesbden: Gble Velg BA-Mikoökonomie II Pofesso D. Mnfed Königstein 1 Aktien und Aktienenditen
MehrVR-Bank Mittelsachsen eg
N. 3 / Septembe 2012 Bötewitz Ostau Lommatzsch Leisnig Döbeln Hatha Waldheim Miltitz Roßwein Nossen Dittmannsdof Goßvoigtsbeg Wi fü Sie - Vebunden mit den Menschen in unsee Region Feibeg Band-Ebisdof Obebobitzsch
MehrUnverbindliche Musterberechnung für den Wealthmaster Classic Plan von
Unvebindliche Mustebeechnung fü den Wealthmaste Classic Plan von Die anteilsgebundene Lebensvesicheung mit egelmäßige Beitagszahlung bietet Ihnen die pefekte Kombination aus de Sicheheit eine Kapitallebensvesicheung
MehrOrganisatorisches. Übersicht. Software. Dateitypen. Hilfe. UE Theorie und Konstruktion psychologischer Tests
UE Theoie und Konstuktion psychologische Tests daniel.mache@uni-gaz.at Oganisatoisches UE immanente Püfungschaakte Anwesenheit? 3 Hausübungen Abgabe bis spätestens 15.01.007 mind. als Voaussetzung fü Püfungsantitt
MehrFUSIONS- UND GRAVITATIONSENERGIE VON STERNEN
FUSIONS- UND GRAVITATIONSENERGIE VON STERNEN Spezialgebiet in Physik Maco Masse BG Bluenstasse 2003 Inhaltsvezeichnis 1.Kenfusion 1 1.1. Allgeeines 1 1.2. Veschelzung 1 1.3. Theonukleae Reaktion 1 2.Die
MehrDCF-Verfahren bei Wachstum, Teilausschüttung und persönlicher
DCF-Vefahen bei Wachstum, Teilausschüttung und pesönliche Besteueung Jög Wiese Discussion Pape 26 19 28. Mai 26 - Vesion vom 29. Novembe 26 - Munich School of Management Univesity of Munich Fakultät fü
MehrGrundlagen der Künstlichen Intelligenz
Grundlagen der Künstlichen Intelligenz 27. Aussagenlogik: Logisches Schliessen und Resolution Malte Helmert Universität Basel 28. April 2014 Aussagenlogik: Überblick Kapitelüberblick Aussagenlogik: 26.
Mehr