Logik-Programmierung und Negation
|
|
- Erna Elvira Stein
- vor 7 Jahren
- Abrufe
Transkript
1 Logik-Pogammieung und Negation Sebastian Maius Kisch 12. Juli Übeblick Motivation und Vobetachtungen Rückblick: Heband-Theoie, Vevollständigung, SLDNF-Resolution SLD-CNF-Resolution Deiwetige Logik, deiwetige Hebandmodelle Wohlfundiete Semantik SLS-Resolution 2 Motivation Monotonie: Γ L Γ Γ L klassische Logik ist monoton Negation füht zu Nichtmonotonie.(Bs: =, abe {} = ) klassische Inteetation de Semantik mit Negation füht zu einem Theoembeweise este Odnung, mit den damit vebundenen unentscheidbaen Poblemem. Waum ist Logikogammieung mit Negation totzdem ein inteessantes Gebiet, obwohl das Gundoblem nicht entscheidba ist? Semantik mit Negation ist teilw. beechenba. In de Volesung hatten wi das SLDNF- Kalkül gesehen. Alle vogestellten Kalküle efüllen imme noch die Rationalität: Γ A und Γ L Γ {A} L 1
2 Datenbanken (negative Infomation imlizit) gesunde Menschenvestand ist nichtmonoton (vegl. Default-Logiken) Beisiel: Pete hat sich veliebt, die beiden sind seh glücklich hie weden die meisten zuest annehmen, dass Pete nun eine Feundin hat. Efäht man säte, dass Pete schwul ist, dann gilt die Folgeung, dass e eine Feundin hat, nicht meh; stattdessen wid gefolget, dass e einen Feund hat. Um das Gundoblem de KI zu lösen, also ein System zu schaffen, das den Vestand des Menschen aoximiet, ist nichtmonotone Logik also unvezichtba. 3 Abhängigkeitsgahen Fomalismus, de in de Volesung nicht benutzt wude, jedoch teilweise zu seh eingängingen Fomulieungen de Anfodeungen an Logikogamme füht. geichtete Gah mit ositiven und negativen Kanten Kanten von de Relation im Kof eine Klausel zu jede Relation im Rumf hängt geade (ungeade) von q ab, wenn es einen Pfad mit eine geaden (ungeaden) Anzahl negative Kanten gibt. call consistency: Keine Relation hängt ungeade von sich selbst ab. q, x q y x q x x y, q x y 4 Rückblick: Heband-Theoie Idee: keine beliebigen Inteetationen, stattdessen weden Konstanten und Funktionsanwendungen duch sich selbst inteetiet. Heband-Univesum U P : Menge alle vaiablenfeien Teme, die aus Funktions- und Konstantensymbolen in P gebildet weden können Altenative zum Heband-Univesum: Postuliee eine univeselle Sache, in de alle Pogamme und Fagen ausgedückt weden. 2
3 Voteil: Löst das Poblem von Sachelementen, die in de Fage, abe nicht im Pogamm vokommen. Heband-Basis B P : Menge alle Gundatome Reäsentiee Heband-Inteetation I als Menge alle Gundatome, die unte I wah sind. 5 Rückblick: Pogammvevollständigung Ausgangsunkt fü die Semantik de Negation in de Volesung wa die closed wold assumtion (CWA): A wid angenommen, wenn A nicht bewiesen weden kann. i. A. unentscheidba, ob ein Liteal A aus den Voaussetzungen bewiesen weden kann ode nicht bewiesen weden kann. Vevollständigung ist Fomalisieung de closed wold assumtion Vestäkung de Semantik von Logikogammen Imlikation wid esetzt duch Äquivalenz Weitee Schitte zu Behandlung von Funktionsanwendungen, Gleichheitsaxiome, etc., sollen hie nicht aufgefüht weden. Beisiel: P = { q; }, Com(P) = { q } Com(P) kann inkonsistent sein: P = { }, Com(P) = { } wenn P call-consistent ist, hat Com(P) ein Heband-Modell Egebnis aus de Volesung: Fü statifiziete Logikogamme ist Com(P) efüllba. call-consistency ist eine wesentlich schwächee Anfodeung Beisiel fü den Wettlauf in de Logikogammieung: Das Gundoblem ist unentscheidba; eine de aktuellen Aufgabenstellungen ist stattdessen, Anfodeungen an Logikogamme möglichst allgemein zu fassen, so dass man imme noch zu Egebnissen kommt. 6 Rückblick: SLDNF endliche, beechenbae Altenative zu CWA: negation by finite failue nu vaiablenfeie negative Liteale können ausgewählt weden 3
4 9 Deiwetige Heband-Inteetationen Deiwetige Heband-Inteetation I = (I +, I ), I +, I B P I ist total, wenn I + I = B P I ist konsistent, wenn I + I = zweiwetige Inteetation I entsicht deiwetige (I, B P \I) Infomationsodnung: I J gdw. I + J + und I J ist eine induktive Odnung auf de Menge de konsistenten deiwetigen Heband- Inteetationen konsistente deiwetige Heband-Inteetationen bilden damit einen Veband Wahheit und Falschheit von Gundatomen vehalten sich monoton bzgl. 10 Bottom-u-Chaakteisieung von Heband-Modellen H i+1 (P) = H i (P) Menge alle Gundatome A = (u 1,..., u n ), fü die es eine Gundinstanz A A 1,..., A l eine Regel von P gibt, so daß A j H i (P), j = 1,..., l Andee Fomulieung: Oeato T (I) = {A A A 1,..., A l gound(p), I = A 1,..., A l } H min ist de kleinste Fixunkt von T P und kann mit endlich vielen Schitten von T P ( ) eeicht weden. 11 Analogon fü deiwetige Logik T3 P (I) = (T, F) T = {A A 1,..., A l (A A 1,..., A l gound(p), A 1,..., A l ist wah in I)} F = {A A 1,..., A l (A A 1,..., A l gound(p), A 1,..., A l imliziet, dass A in I falsch ist)} 4
5 12 T P und Vevollständigung fü Hebandinteetationen gilt I = Com(P) gdw. T P (I) = I wenn T P einen Fixunkt hat, ist diese ein Modell fü Com(P) bei deiwetige Logik gilt analog I = 3 Com(P) gdw. T3 P (I) = I T3 P ist im Gegensatz zu T P monoton Wenn I konsistent ist (z. B. I = (, )), so ist T3 P (I) konsistent. T3 P hat einen kleinsten Fixunkt auf dem Veband de konsistenten deiwetigen Heband- Inteetationen (Knaste-Taski-Theoem) Knaste-Taski-Kleene-Theoem: Eine stetige Funktion f auf einem Veband (D, ), wobei eine vollständige Halbodnung ist, hat einen kleinsten Fixunkt lf(f). Diese kleinste Fixunkt von T3 P ist ein konsistentes Modell von Com(P) Das bedeutet: Com(P) kann nach zweiwetige Logik inkonsistent sein, hat abe totzdem ein konsistentes deiwetiges Modell. Im Zweifelsfall ist das deiwetige Modell (, ), man kann also keine weiteen Folgeungen aus diesem Modell ziehen abe das ist imme noch ein Voteil gegenübe eine inkonsistenten Vevollständigung, aus de man beliebige Folgeungen ziehen kann. 13 Wohlfundiete Semantik definite Logikogamme haben ein eindeutig bestimmtes kleinstes Hebandmodell nomale Logikogamme können mehee kleinste Modelle haben, z. B. P = { q; q } hat zwei kleineste Hebandmodelle H 1 = {} und H 2 = {q} Mehee Ansätze existieen, welches diese kleinsten Modelle vozuziehen ist, z. B. stabile Modelle, efekte Modelle etc. Andee Anstatz: ein deiwetiges Modell WFM(P) statt meheen zweiwetigen deiwetige Logik zu Ezeugung nicht nötig. Idee: Manche Atome müssen wah sein, unabhängig von de Semantik negative Liteale (Fakten), und manche Atome müssen falsch sein (weil sie nicht mit dem Kof eine Klausel unfizieen.) benutze diese Infomation, um das Pogamm zu veeinfachen 5
6 wenn de Wahheitswet von allen Atomen so zu entscheiden ist, ist das Pogamm effektiv statifizieba wenn nicht: vesuche nicht, den Wahheitswet von Atomen zu aten, sonden gebe einfach ein deiwetiges Modell zuück Nicht alle ewateten Atome weden infeiet P = { q; q ; ; q}, q, in allen kleinsten Modellen gilt entwede ode q, und wegen q gilt auch, abe WFM(P) 14 Fixunkt-Chaakteisieung von WFM I 3 (P) = (H min (P + ), H min (P )) P + : P ohne Klauseln mit negativen Litealen P : P ohne negative Liteale P + und P sind definite Logikogamme, besitzen also ein kleinstes Hebandmodell. Φ P (I) = I 3 (P\I) P\I aus gound(p), indem man alle Klauseln mit Litealen löscht, die falsch sind in I, sowie alle Liteale, die wah sind in I Φ P (I) ist monoton bzgl. de Infomationsodnung also existiet ein kleinste Fixunkt von Φ P (gleiches Agument wie bei T3 P ) kann von (, ) eeicht weden diese kleinste Fixunkt ist das wohlfundiete Modell WFM(P) 15 SLS-Resolution Resolution fü statifiziete Logikogamme (linea esolution fo statified clauses) auch fü nomale Logikogamme anwendba Idee: esetze Negation e finite failue duch Negation e failue damit nicht meh beechenba, Imlementationen können nu aoximieen Beisiel: Imlementiee Zyklentest fü unendliche missglückte Äste koekt bzgl. well-founded semantics 6
7 16 SLS-Resolution: Beisiel P = { q; q, s; ; s} q q q q q q, s, s fail s, s s s fail. SLDNF-Baum SLS-Baum SLS-Baum. De linke SLDNF-Baum mit Auswahlegel linkes Liteal schlägt fehlt, da man in einen unendlichen Ast geät. De mittlee Baum ist ein SLDNF-Baum mit Auswahlegel echtes Liteal und gleichzeitig ein SLS-Baum. Beim echten SLS-Baum weden die Voteile de SLS-Resolution deutlich: Obwohl man in einen unendlichen Aste geät, kann das Liteal wegesolviet weden, da de Ast missglückt ist. 17 Schlussstich SLDNF-Resolution ist nicht de Weisheit letzte Schluss Deiwetige Logik füht zu konsequenteen Bescheibungsmöglichkeiten Logikogammieung mit Negation ist ein weites und seh aktives Foschungsfeld... Liteatu [1] Kysztof R. At, Roland N. Bol: Logic Pogamming and Negation: A Suvey. In: Jounal of Logic Pogamming 20, 9-71,
Einführung in die Aussagenlogik
Einfühung in die Aussagenlogik D. 1. (Aussage) Eine Aussage ist ein Satz, de genau einen de genau einen de Wahheitswete wah (W) ode falsch (F) hat. B. 1. Die sog. zweiwetige Logik basiet auf folgenden
MehrDiskrete Strukturen Klausur
Technische Univesität München Winte 2017/18 Pof. J. Esaza / D. M. Luttenbege, S. Sicket Diskete Stuktuen Klausu 14.02.2018 Beachten Sie: Soweit nicht andes angegeben, ist stets eine Begündung bzw. de Rechenweg
MehrDer Lagrange- Formalismus
Kapitel 8 De Lagange- Fomalismus 8.1 Eule-Lagange-Gleichung In de Quantenmechanik benutzt man oft den Hamilton-Opeato, um ein System zu bescheiben. Es ist abe auch möglich den Lagange- Fomalismus zu vewenden.
MehrVon Kepler zu Hamilton und Newton
Von Kele zu Hamilton und Newton Eine seh elegante Vaiante von 3 Kele egeben 1 Newton 1. Das este Kele sche Gesetz 2. Das zweite Kele sche Gesetz 3. Die Bahngeschwindigkeit v und de Hodogah 4. Die Beschleunigung
MehrNewtons Problem des minimalen Widerstands
Newtons Poblem des minimalen Widestands Newton-Poblem (685: Wie muss ein sich in eine Flüssigkeit mit konstante Geschwindigkeit bewegende Köe aussehen, damit e, bei vogegebenem maximalen Queschnitt einen
MehrDas Ski-Rental-Problem
Da Ski-Rental-Poblem (Voläufige Veion, 15. Mai 212) Pof. D. Hanno Lefmann Fakultät fü Infomatik, TU Chemnitz, D-917 Chemnitz, Gemany lefmann@infomatik.tu-chemnitz.de 1 Da Ski-Rental-Poblem Bei dem Ski-Rental-Poblem
MehrExkurs: Beweisen mit Tableau. Tableau-Methodik. Tableau-Erweiterungsregeln. Tableau-Beweis: Beispiel (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,
Mehr12. Berechnung reeller Integrale mit dem Residuensatz
72 Andeas Gathmann 2. Beechnung eelle Integale mit dem esiduensatz Wi haben geade gesehen, dass man mit Hilfe des esiduensatzes nahezu beliebige geschlossene komplexe Kuvenintegale beechnen kann. In diesem
Mehr6 5 6 5 6 6 4 1 4 1 9 3 9 3-5 6 5 6-6 6-1 4 1 4-3 9 3 9 7 7-7 7 - - - Meine Foschemappe zu Name: Beabeitungszeitaum: vom bis zum Augabe 1 Schau di die Augaben genau an und echne sie aus. Finde viele weitee
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
Mehr1 Ergänzungen zum Themenfeld Vollständige Induktion
KARLSRUHER INSTITUT FÜR TECHNOLOGIE INSTITUT FÜR ANALYSIS D. Chistoph Schmoege Heiko Hoffmann WS 013/14 5.10.013 Höhee Mathematik I fü die Fachichtung Infomatik 1. Saalübung (5.10.013) 1 Egänzungen zum
Mehr5.3 Die hypergeometrische Verteilung
5.3 Die hypegeometische Veteilung Das Unenmodell fü die hypegeometische Veteilung ist die Ziehung ohne Zuücklegen. Die Une enthalte n Kugeln, davon s schwaze und w n s weiße. De Anteil p : s n de schwazen
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
MehrDefinition. Definition. 1 Q eine endliche Menge von Zuständen, 2 Σ eine endliche Menge von Eingabesymbolen,
Diskee Mahemaik OLC mpuaional gic Main Avanzini Ane Dü Chisoph Kolleide Geog Mose Zusammenfassung de lezen LV Zusammenfassung de lezen LV deeminisische TM mi k Bänden einbändige, deeminisische TM M, sodass
MehrSLD-Ableitungsbäume. G = B 1... B m. G die Menge aller SLD-Resolventen von G und definiten. G einen Nachfolger, der mit G markiert ist.
SLD-Ableitungsbäume Definition 5.48 Sei P ein definites Programm und G ein definites Ziel. Ein SLD-Ableitungsbaum ist ein Baum, der die folgenden Bedingungen erfüllt: 1. Jeder Knoten des Baums ist mit
MehrFlächenberechnungen 2b
Flächenbeechnungen b Teil b: Flächenbeechnungen mit Integal (Fotsetzung) Datei N. 8 Juni Fiedich Buckel Intenatsgymnasium Schloß Togelow Inhalt Datei 8. Rechtecksmethoden. Ein estes goßes Beispiel. Heleitung
MehrKepler sche Bahnelemente
Keple sche Bahnelemente Siegfied Eggl In de Dynamischen Astonomie ist es üblich, das Vehalten von gavitativ inteagieenden Köpen nicht im katesischen Koodinatensystem zu studieen, sonden die Entwicklung
MehrAbstandsbestimmungen
Abstandsbestimmungen A) Vektoechnungsmethoden (mit Skalapodukt): ) Abstand eines Punktes P von eine Ebene IE im Raum (eine Geade g in de Ebene ): Anmekung: fü Geaden im Raum funktioniet diese Vektomethode
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,
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)
MehrNachtrag (fortgesetzt)
p. 1/1 Nachtag (fotgesetzt) Waum in aumtupeln? Sei D = (E,, P, R, ) wobei E = {, a, b}, =, P () = (a b), P (a) = P (b) = ɛ. paths(d) = {,.a,.b}, t mit t(.a), t(.b) ist ein aumtupel. Sei T ein XML-aum mit
MehrBildverarbeitung: Diskrete Energieminimierung. D. Schlesinger () BV: Diskrete Energieminimierung 1 / 11
Bildveabeitung: Diskete Enegieminimieung D. Schlesinge () BV: Diskete Enegieminimieung 1 / 11 Entauschung Segmentieung Beide Definitionsbeeich und Wetebeeich sind disket. R Z 2 die Pixelmenge, E R 2 die
MehrÜbungsaufgaben zum Prüfungsteil 1 Lineare Algebra /Analytische Geometrie
Übungsaufgaben zum Püfungsteil Lineae Algeba /Analytische Geometie Aufgabe Von de Ebene E ist folgende Paametefom gegeben: 3 E: x= 4 + 0 + s 3 ;,s 0 3 4 a) Duch geeignete Wahl de Paamete und s ehält man
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
MehrTitrationskurven in der Chemie
RS 1..004 Titationskuven.mcd Titationskuven in de Chemie In de Chemie wid de sauee bzw. de basische Chaakte eine wässigen Lösung mit Hilfe des ph-wetes beschieben. In jede wässigen Lösung gilt: [H O] +.
MehrTransformation der Cauchy-Riemann-DGLen
Tansfomation de Cauchy-Riemann-DGLen von Benjamin Schwaz 4 Mai 27 Tansfomationsfomel Fü gewöhnlich weden die Cauchy-Riemannschen Diffeentialgleichungen fü eine Abbildung f : U R 2 mit U R 2 bezüglich de
MehrGrundwissen. 9. Jahrgangsstufe. Mathematik
Gundwissen 9. Jahgangsstufe Mathematik Seite 1 1 Reelle Zahlen 1.1 Rechnen mit Quadatwuzeln a ist diejenige nicht negative Zahl, die zum Quadat a egibt. d.h.: ist keine Wuzel aus 4. Eine Wuzel kann nicht
Mehr2.12 Dreieckskonstruktionen
.1 Deieckskonstuktionen 53.1 Deieckskonstuktionen.1.1 B aus a, b und c. Keis um mit Radius b 3. Keis um B mit Radius a 4. Schnittpunkt de Keise ist Bemekung: Es entstehen zwei konguente B..1. B aus α,
MehrNichtmonotones Schließen
Was bisher geschah Wissensrepräsentation und -verarbeitung in Zustandsübergangssystemen klassischer Aussagenlogik: Entscheidungstabellen, -bäume, -diagramme Wissensrepräsentation und -verarbeitung durch
Mehrlassen sich die beiden ersten Eigenschaften von (2,4)- Bäume auch mit binären Knoten erreichen?
.7 Rot-Schwaz Schwaz-Bäume (2,4)-Bäume sind ausgeglichen: gleiche Höhe fü alle Blätte Standadopeationen auf Mengen in O(h), d.h. O(log n) unteschiedliche Knoten (, 2 ode Schlüssel) Fage: lassen sich die
MehrD. Exkurs: Behavioral Finance als weitere Strömung in der Finanzierungs- und Kapitalmarkttheorie. Literatur
D. Exkus: Behavioal Finance als weitee Stömung in de Finanzieungs- und Kapitalmakttheoie Liteatu Babeis, Nicholas und Richad Thale: A Suvey of Behavioal Finance. In: Constantinides, Geoge M., Milton Hais
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
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
MehrÜbungen zur Kursvorlesung Physik II (Elektrodynamik) Sommersemester 2008
Übungsblatt 4 zu Physik II Von Patik Hlobil (38654), Leonhad Doeflinge (496) Übungen zu Kusvolesung Physik II (Elektodynamik) Sommesemeste8 Übungsblatt N. 4 Aufgabe 3: Feldstäke im Innen eines Ladungsinges
MehrHerleitung der Divergenz in Zylinderkoordinaten ausgehend von kartesischen Koordinaten
Heleitung de Divegenz in Zylindekoodinaten ausgehend von katesischen Koodinaten Benjamin Menküc benmen@cs.tu-belin.de Ralf Wiechmann alf.wiechmann@uni-dotmund.de 9. Oktobe 24 Zusammenfassung Es wid ausgehend
MehrWasserstoff mit SO(4)-Symmetrie
Wassestoff mit SO(4)-Symmetie von Eduad Belsch Univesität Hambug 0. Dezembe 0 Inhaltsvezeichnis Einleitung Runge-Lenz-Vekto. klassisch......................................... quantenmechanisch..................................
MehrInhalte der Vorlesung. 2. Lexikalische Analyse. Lexikalische Analyse. 2. Lexikalische Analyse
Inhalte de Volesung. Lexikalische Analyse 1.Einfühung.Lexikalische Analyse 3.De Textstom-Edito sed 4.De Scanne-Geneato lex ( Temine) 5.Syntaxanalyse und de Pase-Geneato yacc (3 T.) 6.Semantische Analyse
MehrGrundlagen der Logik
Grundlagen der Logik Denken Menschen logisch? Selektionsaufgabe nach Watson (1966): Gegeben sind vier Karten von denen jede auf der einen Seite mit einem Buchstaben, auf der anderen Seite mit einer Zahl
MehrKapitel 13. Das Wasserstoff-Atom Energiewerte des Wasserstoff-Atoms durch Kastenpotential-Näherung
Kapitel 13 Das Wassestoff-Atom 13.1 negiewete des Wassestoff-Atoms duch Kastenpotential-Näheung Das gobe Atommodell des im Potentialtopf eingespeten Atoms vemag in qualitative Weise das Aufteten von Linienspekten
MehrAbituraufgabe Stochastik: Fliesenproduktion
Abituaufgabe Stochastik: Fliesenpoduktion Eine Fima stellt mit zwei veschiedenen Maschinen A und B Bodenfliesen aus Keamik he. Damit eine Fliese als 1. Wahl gilt, muss sie stenge Qualitätsnomen efüllen.
Mehr6 Die Gesetze von Kepler
6 DIE GESETE VON KEPER 1 6 Die Gesetze von Kele Wi nehmen an, dass de entalköe (Sonne) eine seh viel gössee Masse M besitzt als de Planet mit de Masse m, so dass de Schweunkt in gute Näheung im entum de
MehrGreedy Algorithmen für aufspannende Arboreszenzen
Geedy Aloithmen fü aufspannende Aboeszenzen Biit Hubet 23. Juni 29 1 Minimal aufspannende Bäume 1.1 Wiedeholun Sei G=(V, E) ein zusammenhänende Gaph, wobei V die Mene de Knoten und E die Mene de Kanten
MehrMathematische Hilfsmittel der Physik Rechen-Test I. Markieren Sie die richtige(n) Lösung(en):
Technische Betiebswitschaft Gundlagen de Physik D. Banget Mat.-N.: Mathematische Hilfsmittel de Physik Rechen-Test I Makieen Sie die ichtige(n) Lösung(en):. Geben Sie jeweils den Wahheitswet (w fü wah;
MehrProgramm für alle Öffentlich-rechtlicher Rundfunk
Wie untescheiden sich öffentlich-echtliche und pivate Sende in Pogamm und Finanzieung? Die Tabellen stellen einige Unteschiede da. Macht aus den Zahlen aussagekäftige Gafiken. Anteile de Sendungen veschiedene
Mehrpassion for precision Toro-SB und Sphero-SB 3D-Frästechnik für rostfreie Stähle
passion fo pecision Too-SB und Spheo-SB 3D-Fästechnik fü ostfeie Stähle Too-SB und Spheo-SB Spezialisiet auf die 3D-Beabeitung ostfeie Stähle [ 2 ] Geade bei de Beabeitung ostfeie Stähle fallen die Wekzeugkosten
MehrGeometrie der Cartan schen Ableitung
Geoetie de Catan schen Ableitung - - Notation Sei + Sei + Wi bezeichnen it ( L den Vektoau alle fach ultilineaen Abbildungen f : -al 2 Wi bezeichnen it S die Guppe alle Peutationen σ : {,, } {,, } Des
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
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
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
MehrSeminarvortrag Differentialgeometrie: Rotationsflächen konstanter Gaußscher
Seminavotag Diffeentialgeometie: Rotationsflächen konstante Gaußsche Kümmung Paul Ebeman, Jens Köne, Mata Vitalis 1. Juni 22 Inhaltsvezeichnis Vobemekung 2 1 Einfühung 2 2 Este Fundamentalfom 2 3 Vetägliche
MehrDie Theorie von Balassa und Samuelson Warum haben arme Länder im Durchschnitt niedrigere Preisniveaus?
Übung zu Volesung Fotgeschittene Monetäe Ökonomik WS 2005/06 Seite 1 Die Theoie von Balassa und Samuelson Waum haben ame Lände im Duchschnitt niedigee Peisniveaus? Eine gute Dastellung findet sich bei:
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,
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
MehrÖkonometrie und empirische Wirtschaftsforschung II
1.1 Lehstuhl fü Statistik und Ökonometie Pof. D. Hans Gehad Stohe Ökonometie und empiische Witschaftsfoschung II 1.2 1. Einfühung Zusammenhänge de Witschaftstheoie sind oft nicht in nu eine Gleichung dastellba.
MehrRaytracing: Einfache Schnitttests
Raytacing: Einfache Schnitttests Ceative Commons Namensnennung 3.0 Deutschland http://ceativecommons.og/licenses/by/3.0/de/ P. Hofmann, 22. August 2010 http://www.uninfomativ.de Einleitung Tests, ob ein
MehrPaul Krugman 1991: Increasing returns and economic geography, Journal of political economy, 99:3, p483-99
4. Neue Ökonomische Geogahie (NEG Paul Kugman 99: Inceasing etuns and economic geogahy, Jounal of olitical economy, 99:3, 483-99 Chaakteistika Allgemeines Gleichgewichtsmodell Dixit-Stiglitz odell fü monolistische
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.
MehrInhalte der Vorlesung. 2. Lexikalische Analyse. 2. Lexikalische Analyse. Lexikalische Analyse
Inhalte de Volesung. Lexikalische Analyse 1.Einfühung.Lexikalische Analyse 3.De Textstom-Edito sed 4.De Scanne-Geneato lex 5.Syntaxanalyse und de Pase-Geneato yacc 6.Syntaxgesteuete Übesetzung 7.Übesetzungssteueung
MehrOnline zum Kita-Platz. Das Vormerksystem für Eltern im Internet
Online zum Kita-Platz Das Vomeksystem fü Elten im Intenet Düsseldofe Kita-Navigat Obebügemeiste Thomas Geisel Liebe Elten, wi feuen uns daübe, dass Düsseldof bei Familien so beliebt ist. Düsseldof ist
MehrExperimentierfeld 1. Statik und Dynamik. 1. Einführung. 2. Addition von Kräften
Expeimentiefeld 1 Statik und Dynamik 1. Einfühung Übelegungen im Beeich de Statik und Dynamik beuhen stets auf de physikalischen Göße Kaft F. Betachten wi Käfte und ihe Wikung auf einen ausgedehnten Köpe,
MehrWie lange dauert es (im Mittel), bis...?
Wie lange dauet es (im Mittel, bis? Teilnehme: Valentin Bonje Thomas Dittma Heniette Kisten Max Lindne Anton Pusch Fabian Schiemann Maximilian Steppe Alexeij Wad Alma Wettig mit tatkäftige Untestützung
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
MehrZentrale Klausur 2015 Aufbau der Prüfungsaufgaben
Zentale Klausu 2015 Aufbau de Püfungsaufgaben Die Zentale Klausu 2015 wid umfassen: hilfsmittelfeie Aufgaben zu Analysis und Stochastik eine Analysisaufgabe mit einem außemathematischen Kontextbezug eine
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:
Mehr[ M ] = 1 Nm Kraft und Drehmoment
Stae Köpe - 4 HBB mü 4.2. Kaft und Dehmoment Käfte auf stae Köpe weden duch Kaftvektoen dagestellt. Wie in de Punktmechanik besitzen diese Kaftvektoen einen Betag und eine Richtung. Zusätzlich wid abe
MehrPN 2 Einführung in die Experimentalphysik für Chemiker und Biologen
PN 2 Einfühung in die alphysik fü Chemike und Biologen 2. Volesung 27.4.07 Nadja Regne, Thomas Schmiee, Gunna Spieß, Pete Gilch Lehstuhl fü BioMolekulae Optik Depatment fü Physik LudwigMaximiliansUnivesität
MehrKAP 1 BAUSTEINE DER ZAHLENTHEORIE
Bausteine de Zahlentheoie Seite KAP BAUSTEINE DER ZAHLENTHEORIE In diesem Kapitel geht es um die gundlegenden Begiffe de Zahlentheoie wie Teilbakeit und Pimzahl. Es weden viele Dinge wiedeholt, die Du
MehrKapitel 3: Sequentielle Spiele
Übesicht Tei Tei : onzepte und Techniken apite 3 apite 3 Übesicht Tei Übesicht apite 3: Sequentiee Spiee Eineitung Spiebäume ückwätsinduktion Auswikung de eihenfoge Pobeme de ückwätsinduktion apite 3 3
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
MehrUnterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus: Rechtschreibspiele, motivierend & effektiv
Unteichtsmateialien in digitale und in geduckte Fom Auszug aus: Rechtscheibspiele, motivieend & effektiv Das komplette Mateial finden Sie hie: School-Scout.de 4.-9. Schuljah Hans Hajung Rechtscheibspiele,
MehrAufgabenblatt 2: Grenzplankostenrechnung
Aufgabenblatt 2: Genzplankostenechnung Aufgabe 2.1: Peis-, (Aufg. 2.1.3.1 im Übungsbuch) Vaiablen und Wete: Plan Ist Peis 2,- 2,2 Menge 5. 6. KP Peisabweichung KM höheen Gades KM,P a) Soll-Ist-Vegleich
MehrErfüllbarkeit von Formelmengen
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 3.6 Aussagenlogik Kompaktheit 75 Erfüllbarkeit von Formelmengen bisher nur Erfüllbarkeit einzelner Formeln betrachtet erweitere Begriff auf Mengen
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
Mehr1 Lineare Bewegung der Körper
Lineae Bewegung de Köpe.3 Regentopfen und Fallschimspinge (v 0 (t) = g v(t)) In beiden Fällen handelt es sich um Objekte, die aus goßen Höhen fallen und von dem duchfallennen Medium (Luft) gebemst weden.
MehrFinancial Leverage. Die unendliche Rendite des Eigenkapitals und ihr Risiko. Finanzwirtschaft VII Matthias Paesel Hochschule Magdeburg-Stendal
Financial Leveage Die unendliche Rendite des Eigenkapitals und ih Risiko Finanzwitschaft VII Matthias Paesel Hochschule Magdebug-Stendal Gliedeung I. Was besagt de Leveage-Effekt? II. Die Leveage Chance
MehrMöglichkeiten und Grenzen einer Marktbewertung von Krediten
7 B e i c h t e Möglichkeiten und Genzen eine Maktbewetung von Kediten von ofesso D. homas Hatmann-Wendels * Gliedeung oblemstellung 2 Bewetung von Kediten bei vollkommenem Kapitalmakt 2. De Fall sichee
Mehrf(1, 1) = 1, f(x, y) = 0 sonst üblicherweise Konjunktion, manchmal auch
Belegungen, Wahrheitsfunktionen 1. Wie viele binäre Funktionen gibt es auf der Menge {0, 1} (d.h., Funktionen von {0, 1} 2 nach {0, 1})? Geben Sie alle diese Funktionen an, und finden Sie sinnvolle Namen
MehrSymposium EME 2005. 5. - 7. September 2005 d. Numerische Feldberechnung im VCC EME - aktueller Sachstand und zukünftige Entwicklungen
Sympoium EME 2005 5. - 7. Septembe 2005 d Titel de Beitage: Namen de Autoen: Name de Votagenden Fima, Dienttelle: Anchift: Emailadee: Numeiche Feldbeechnung im VCC EME - aktuelle Sachtand und zukünftige
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 13. Prädikatenlogik Der Satz von Herbrand Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Semantische Bäume Eine klassische
MehrInhalt Dynamik Dynamik, Kraftstoß Dynamik, Arbeit Dynamik, Leistung Kinetische Energie Potentielle Energie
Inhalt 1.. 3. 4. 5. 6. Dynamik Dynamik, Kaftstoß Dynamik, beit Dynamik, Leistung Kinetische Enegie Potentielle Enegie Pof. D.-Ing. abaa Hippauf Hochschule fü Technik und Witschaft des Saalandes; 1 Liteatu
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:
MehrProgrammierung WS12/13 Lösung - Übung 2 M. Brockschmidt, F. Emmes, C. Otto, T. Ströder
Pof. aa D. J. Giesl Pogammieung WS/3 M. Bockschmidt, F. Emmes, C. Otto, T. Stöde Tutoaufgabe (Umfomung von Vezweigungen): a) i) Wie kann man allgemein eine switch-anweisung in eine Reihe von if(...)...
MehrDie Hohman-Transferbahn
Die Hohman-Tansfebahn Wie bingt man einen Satelliten von eine ednahen auf die geostationäe Umlaufbahn? Die Idee: De geingste Enegieaufwand egibt sich, wenn de Satellit den Wechsel de Umlaufbahnen auf eine
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
MehrLogik erster Stufe FO
Logik erster Stufe FO Sonderstellung als die Logik für die Grundlegung der Mathematik natürliche Semantik (Tarski) und große Ausdrucksstärke vollständige Beweiskalküle (Gödelscher Vollständigkeitssatz)
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
MehrÜbungsaufgaben zum Thema Kreisbewegung Lösungen
Übungsaufgaben zum Thema Keisbewegung Lösungen 1. Ein Käfe (m = 1 g) otiet windgeschützt auf de Flügelspitze eine Windkaftanlage. Die Rotoen de Anlage haben einen Duchmesse von 30 m und benötigen fü eine
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
Mehr8. Bewegte Bezugssysteme
8. Bewegte Bezugssysteme 8.1. Vobemekungen Die gundlegenden Gesetze de Mechanik haben wi bishe ohne Bezug auf ein spezielles Bezugssystem definiet. Gundgesetze sollen ja auch unabhängig vom Bezugssystem
Mehr3.4 Fixpunkttheorie auf Partialordnungen
3.4 Fixpunkttheorie auf Partialordnungen Definition 3.15 (Partialordnung) Sei L eine Menge und eine binäre Relation auf L. O = L, heißt Partialordnung, falls folgende Bedingungen erfüllt sind: Reflexivität:
MehrGruppentheoretische Methoden in der Physik 1 Prof. Dr. H.-R. Trebin Auszug aus dem Vorlesungsmanuskript, WS 06/07
1 Guppentheoetische Methoden in de Physik 1 Pof. D. H.-R. Tebin Auszug aus dem Volesungsmanuskipt, WS 06/07 3.3.3 Die eigentlichen Punktguppen Diese Punktguppen enthalten keine Spiegelungen und keine Invesion.
Mehr1. Einführung in Temporallogik CTL
1. Einführung in Temporallogik CTL Temporallogik dient dazu, Aussagen über Abläufe über die Zeit auszudrücken und zu beweisen. Zeit wird in den hier zunächst behandelten Logiken als diskret angenommen
MehrÜbungen zur Physik 1 - Wintersemester 2012/2013. Serie Oktober 2012 Vorzurechnen bis zum 9. November
Seie 3 29. Oktobe 2012 Vozuechnen bis zum 9. Novembe Aufgabe 1: Zwei Schwimme spingen nacheinande vom Zehn-Mete-Tum ins Becken. De este Schwimme lässt sich vom Rand des Spungbetts senkecht heuntefallen,
Mehr2 Entdeckung des Atomkerns - Rutherfordsches Streuexperiment
Entdeckung des Atomkens - Ruthefodsches Steuexpeiment 31 2 Entdeckung des Atomkens - Ruthefodsches Steuexpeiment Zu Beginn des 20. Jahhundets galt das Thomsonsche Atommodell (1903): das Atom ist eine Kugel
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
MehrNEUEINSTELLUNG GERINGFÜGIG BESCHÄFTIGTE (Minijob bis 450,00 )
Fima: Pesönliche Angaben: Familienname, Voname Gebutsdatum Familienstand Anschift (Staße, Hausnumme, PLZ, Ot) Staatsangehöigkeit Rentenvesicheungsnumme Gebutsname Gebutsot Beschäftigung: Ausgeübte Tätigkeit:
MehrLösung: 1. Für das Volumen gilt die Formel: V = r 2. π. h = 1000 [cm 3 ]. 2. Für die Oberfläche gilt die Formel: O = 2. r 2. π + 2. r. π. h.
Analysis Anwendungen Wi 1. Das Konsevendosen-Poblem Ein Konsevendosenhestelle will zylindische Dosen mit einem Inhalt von einem Lite, das sind 1000 cm 3, hestellen und dabei möglichst wenig Mateial vebauchen.
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
Mehr