Dieser Mangel kann überwunden werden, wenn die Typenlogik um den Lambda-Operator
|
|
- Katja Giese
- vor 6 Jahren
- Abrufe
Transkript
1 3 Theorie der λ -Repräsenion 3 Theorie der λ-repräsenion [Dowy , Gmu , Pree , Chierchi ] 3.1 Der λ-operor In der reinen Typenlogik wird jedem Ausdruck ein Typ zugewiesen. Ein funkionler Typ gib dbei zu erkennen, von welchem Typ ds gefordere Argumen und von welchem Typ der Funkionswer is. Den Ausdrücken eines funkionlen Typs selbs knn so llerdings noch nich ngesehen werden, mi welchem Argumen sie welchen Funkionswer ergeben. Dieser Mngel knn überwunden werden, wenn die Typenlogik um den Lmbd-Operor λ erweier wird. Der ypisiere Lmbd-Klkül is ein logisches Sysem, ds die Eigenschfen dieses Operors definier und die Bsis ller funkionlen Progrmmiersprchen bilde. Er wurde von Alonzo Church (1940), einem der Begründer der heoreischen Informik, enwickel. Der λ -Operor is ebenso wie der - und der -Qunor ein Vriblenbinder. Mi ihm wird über die jeweils gebundene Vrible ber nich qunifizier, sondern bsrhier. Er wird deshlb uch ls (λ -)Absrkor bezeichne. Im Ergebnis einer Anwendung des λ -Operors enseh ein Ausdruck, der ein λ -Absrk oder ein λ -Term gennn wird. Allgemein h ein λ -Term die Form λv[ α ], wobei v eine Vrible und α ein Ausdruck von jeweils beliebigem Typ is. λ v is ds λ -Präfix des Ausdrucks, ds lle freien Vorkommen von v in α binde, und α is der Skopus des λ -Operors. Werden in einem beliebigen Ausdruck beliebige freie Vriblen durch einen λ -Operor gebunden, dnn is ds Ergebnis ein Funkionsusdruck. λv[ α ] seh für diejenige Funkion, die jedem Argumen v den Funkionswer zuordne, der durch α beschrieben wird. Beispiel: λ xschlfen [ '( x)] λ xschlfen [ '( x)] seh für diejenige Funkion, die jedem Argumen x den Funkionswer zuordne, der durch schlfen'( x ) beschrieben wird. λ xschlfen [ '( x)] is ebenso wie schlfen ' ein Ausdruck vom Typ e,. Dbei sieh mn λ xschlfen [ '( x)] den Typ insofern n, ls x ein Ausdruck vom Typ e und schlfen'( x ) ein Ausdruck vom Typ is. λ xschlfen [ '( x)] h jeweils dieselbe Denoion wie schlfen '. Die Denoion von λ x[ schlfen '( x)] is lso eine chrkerisische Funkion, die jedem Argumen x, ds Elemen der Menge der schlfenden Individuen is, den Whrheiswer 1, und nsonsen den Whrheiswer 0 zuordne. λ xschlfen [ '( x)] knn gelesen werden ls: is ein x derr, dss x schläf. Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 1
2 3.1 Der λ -Operor λ -Absrkion Für die Ableiung von λ -Termen gil die folgende Regel der λ -Absrkion: Wenn v eine Vrible vom Typ und α ein Ausdruck vom Typ b is, dnn is λv[ α ] ein Ausdruck vom Typ b,. Die Denoion von λv[ α ] is dmi eine Funkion von D in Speziell ein λ -Term vom Typ e, knn ddurch gewonnen werden, dss in einer Formel über eine Vrible des Typs e bsrhier wird. Es gil lso: Wenn φ ein Ausdruck vom Typ und x eine Vrible vom Typ e is, dnn is λx[ φ ] ein Ausdruck vom Typ e,. Beispiel: Ableiung von λ xschlfen [ '( x)] D. b Ausgngsbsis für die λ -Absrkion is dbei die Formel schlfen '( x ), die ihrerseis durch funkionle Applikion der Prädikskonsnen schlfen ' uf die Individuenvrible x erhlen wird. Ein λ -Term vom Typ ee,, knn ensprechend ddurch gewonnen werden, dss in einem Ausdruck vom Typ ncheinnder über zwei Vriblen vom Typ e bsrhier wird. Durch Absrkion über die eine Vrible wird zunächs ein λ -Term vom Typ e,, durch nschließende Absrkion über die zweie Vrible derλ -Term vom Typ ee,, bgeleie. Die Reihenfolge der λ -Absrkionen is uner rein logischem Gesichspunk beliebig, d.h. durch keine logischen Prinzipien fesgeleg. Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 2
3 3 Theorie der λ -Repräsenion Uner dem Gesichspunk der Verwendung von λ -Termen bei der semnischen Anlyse der nürlichen Sprche gil die folgende Beschränkung: Um zu gewährleisen, dss die semnische Srukur von nürlichsprchlichen Ausdrücken prllel zu ihrer synkischen Srukur ufgebu is, müssen die λ -Absrkionen in einer besimmen Reihenfolge erfolgen. Für den Fll eines λ -Terms vom Typ ee,, heiß ds: Zunächs wird über die Vrible bsrhier, die dem synkischen Subjek, und dnch über die Vrible bsrhier, die dem synkischen Objek ensprich. Beispiel: Ableiung von λλ y xbewundern [ '( y)( x)] Ausgngsbsis für die λ -Absrkionen is die Formel bewundern '( y)( x ), die selbs us einer zweimligen funkionlen Applikion hervorgeh, und zwr ddurch, dss zunächs die Prädikskonsne bewundern ' uf die Vrible y (für ds synkische Objek) und dnch ds komplexe Prädik bewundern '( y ) uf die Vrible x (für ds synkische Subjek) pplizier wird. Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 3
4 3.1 Der λ -Operor λ -Konversion Ein λ -Term knn uf Argumene des jeweils geforderen Typs pplizier werden. Gemäß der Regel der funkionlen Applikion (FA-Regel) gil: Wenn λv[ α ] ein Ausdruck vom Typ b, und β ein Ausdruck vom Typ is, dnn is λv[ α]( β ) ein Ausdruck vom Typ b. Insbesondere gil: Wenn λv[ φ ] ein Ausdruck vom Typ e, und β ein Ausdruck vom Typ e is, dnn is λv[ φ]( β ) ein Ausdruck vom Typ. Uner besimmen Bedingungen knn λv[ φ]( β ) ddurch vereinfch werden, dss in φ die Vorkommen der λ -gebundenen Vriblen v durch β ersez werden. Beispiel: λ xschlfen [ '( x)]( Peer') Die Formel λ xschlfen [ '( x)]( Peer') knn gelesen werden ls: Peer is ein x derr, dss x schläf. λ xschlfen [ '( x)]( Peer') besg ds Gleiche wie die Formel schlfen'( Peer '), die gelesen wird ls: Peer schläf. Allgemein gil ds folgende Prinzip der λ -Konversion (vorläufige Fssung): Wenn v eine Vrible und β ein Ausdruck vom selben Typ sind, dnn gil: λv[ α]( β) = αβ [ / v], wobei αβ [ / v] us einer Subsiuion von β für lle freien Vorkommen von v in α hervorgeh. Wird uf Grund des Prinzips der λ -Konversion in einem Ausdruck λv[ α]( β ) durch αβ [ / v] ersez, sprich mn uch von λ -Redukion. Beispiel: λ x[ schlfen'( x)]( Peer ') = schlfen '( Peer ') Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 4
5 3 Theorie der λ -Repräsenion Bei der Anwendung eines λ -Terms vom Typ ee,, uf zwei Argumene vom Typ e wird ensprechend verfhren, d.h. es werden zwei funkionle Applikionen und, flls möglich, zwei λ -Redukionen vorgenommen. Beispiel: λλ y x[ bewundern'( y)( x)]( Mri ')( Hns') = bewundern'( Mri ')( Hns') Bei der Anwendung des Prädiks λλ y x[ bewundern'( y)( x)] uf die Argumene Mri ' und Hns ' knn somi die Prlleliä der semnischen Srukur des nürlichsprchlichen Szes Hns bewunder Mri zu seiner synkischen Srukur gewährleise werden. Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 5
6 3.1 Der λ -Operor Komplexe λ -Terme Eine wesenliche Eigenschf des λ -Operors is, dss mn mi ihm beliebig komplexe λ - Terme bilden knn. Ddurch knn uch für viele komplexe nürlichsprchliche Ausdrücke eine semnische Repräsenion SR ngegeben werden, für die dies bisher nich möglich wr. Beispiele: (1) SR(sich bewundern ) = λ xbewundern [ '()()] x x (2) SR( bewunder werden ( von )) = λλ x ybewundern [ '( y)( x)] (3) SR(bewunder werden ) = λx y[ bewundern'( x)( y)] (4) SR(schlfen und bewunder werden ) = λxschlfen [ '() x ybewundern [ '()()]] x y (5) SR(unverheire ) = λ x[ verheire '( x)] (6) SR(unverheiree Fru ) = λ x[ verheire'( x) Fru'( x)] (7) SR(eine unverheiree Fru ) = λp x[ verheire '( x) Fru'( x) P( x)]? Gewinne us den folgenden Formeln mögliche λ -Terme durch λ -Absrkion über vorkommende Vriblen: (1) krnk '( x) hilflos '( x) (2) krnk '( x) P( x) (3) Px ( ) Qx ( ) (4) xpx [ ( ) Qx ( )]? Von welchem Typ sind die jeweiligen λ -Terme?? Appliziere die λ -Terme uf pssende Argumene und nimm mögliche Vereinfchungen durch λ -Redukion vor. Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 6
7 3 Theorie der λ -Repräsenion 3.2 λ -Typenlogik (TLλ ) Synx von TLλ Die Menge T der Typen von TLλ is idenisch mi der Menge der Typen von TL. D3.1 Typen von TLλ (1) e T. (2) T. (3) Wenn b, T, dnn b, (4) Nichs sons is in T. T. Ds Vokbulr von TL wird um den λ -Operor erweier. D3.2 Vokbulr von TLλ Ds Vokbulr von TLλ enhäl: (1) für jeden Typ eine Menge VAR von Vriblen des Typs : vn, ( n 1), (2) für jeden Typ eine Menge CON von Konsnen des Typs : cn, ( n 1), (3) die Konnekoren:,,,,, (4) ds Ideniäsprädik: =, (5) die Qunoren:,, (6) den Lmbd-Operor: λ, (7) die echnischen Hilfszeichen: (,),[, ]. Synkische Regeln von TLλ Die synkischen Regeln von TLλ legen für jeden Typ die Menge WFA der wohlgeformen Ausdrücke wfa des Typs fes. Ihre Vereinigung über lle Typen is die Menge WFA der wfae von TLλ. D3.3 Wohlgeforme Ausdrücke von TLλ (1) Wenn α VAR oder α CON, dnn α WFA. (2) Wenn v VAR und α WFA, dnn λv[ α]. b b, (3) Wenn α WFA und β WFA b,, dnn αβ ( ) WFA. b (4) Wenn φψ, WFA, dnn φ,( φ ψ),( φ ψ),( φ ψ),( φ ψ) WFA. (5) Wenn αβ, WFA, dnn ( α= β) WFA. (6) Wenn φ WFA und v VAR, dnn v[ φ], v[ φ] WFA. (7) Nichs sons is in WFA. Mi D3.3 (2) wird die Menge der synkischen Regeln von TL um eine synkische Regel für den λ -Operor (Regel der λ -Absrkion) erweier. Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 7
8 3.2 λ -Typenlogik (TL λ ) Noionskonvenionen: Eckige Klmmern zur Mrkierung des Skopus eines Operors können weggelssen werden; ls Skopus des Operors is dnn der unmielbr uf ihn folgende wfa zu versehen. Beispiel: λy[ λx[ R()()]] y x = λyλx[ R()() y x ] Runde Klmmern zur Mrkierung der funkionlen Applikion uf Argumene können weggelssen werden; die Reihenfolge der Applikionen is dnn von links nch rechs zu versehen. Beispiel: ( λλ x yq [ ( x) P( y)]( ))( b) = λλ x yq [ ( x) P( y)]( )( b ) Semnik von TLλ Die Menge der Domänen der Typen von TLλ is idenisch mi der Menge der Domänen der Typen von TL. D3.4 Domänen der Typen von TLλ (1) De = D (2) D = {0,1} (3) Für beliebige b, T gil: D = D D. b, b (4) Nichs sons is Domäne eines Typs von TLλ. Die Begriffe des Modells und der Vriblenbelegung sind gegenüber TL unveränder. Semnische Regeln von TLλ Die semnischen Regeln von TLλ legen prllel zu den synkischen Regeln von TLλ für jeden Typ die Denoion eines beliebigen Ausdrucks α WFA fes. D3.5 Denoion eines wfa von TLλ bzgl. M und g (1) Wenn α CON, dnn α, = I( α). Wenn α VAR, dnn α, = g( α). (2) Wenn v VAR und α WFA, dnn is λv [ α ], diejenige Funkion h von D b in D, so dss für lle d D b gil: v (),[ d hd = α ]. (3) Wenn α WFA und β WFA, dnn, αβ ( ) = α ( β ). b,,, Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 8
9 3 Theorie der λ -Repräsenion (4) Wenn φψ, WFA, dnn, φ = 1 gdw φ, = 0,,,, φ ψ = 1 gdw φ = ψ = 1,, φ ψ = 1 gdw, φ = 1 oder ψ, = 1, φ ψ =, 1 gdw φ =, 0,,, φ ψ = 1 gdw φ = ψ. oder ψ =, 1 (5) Wenn αβ, WFA, dnn α= β, = 1 gdw, α = β,. (6) Wenn φ WFA und v VAR, dnn [ ], v v φ = 1 gdw für jedes d D gil:,[ d φ ] = 1, [ ], v v φ = 1 gdw es mindesens ein d D gib, so dss gil:,[ d φ ] = 1. Mi D3.5 (2) wird die Menge der semnischen Regeln von TL um eine semnische Regel für den λ -Operor erweier. Ein Spezilfll von D3.5 (2) is die folgende Regel: Wenn v VARe und φ WFA, dnn is λv[ φ ] diejenige Funkion h von D in v { 0,1 }, so dss für lle d D gil: (),[ d hd = φ ] v, d.h. hd () = 1gdw,[ d φ ] = 1.,, Beispiel: λ xschlfen [ '( x)], is diejenige Funkion h von D in { 0,1 }, so dss für lle d D gil: hd () '( ),[ = schlfen x d] (nch D3.5 (2)),[ ],[ ] ' d ( = schlfen x d ) (nch D3.5 (3)) = Ischlfen ( ')( gx [ d]( x)) (nch D3.5 (1)) = Ischlfen ( ')( d) (Vriblenbelegung) Die (chrkerisische) Funkion h ordne lso jedem Individuum us D den Whrheiswer zu, den ds Individuum ls Argumen jener (chrkerisischen) Funkion zugeordne bekomm, die die Inerpreion von schlfen ' is. Angenommen, es gele: Peer 0 Ischlfen ( ') = Mri 0 und d =Mri. Hns 1 Dnn gil: Ischlfen ( ')( d ) = 0. Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 9
10 3.2 λ -Typenlogik (TL λ ) Problem: Ds in eingeführe Prinzip der λ -Konversion muss präzisier werden, weil seine uneingeschränke Anwendung zu flschen Ergebnissen führ. Beispiel: λx y [ kennen '()()() y x ] y y [ kennen '()() y y ], wobei ykennen [ '( y)( y )] us einer Subsiuion von y für lle freien Vorkommen von x in ykennen [ '( y)( x )] hervorgeh. Einschränkende Bedingung: Eine freie Vrible drf nich in den Skopus eines Operors subsiuier werden, der sie binde. D.h. die Vrible, für die subsiuier wird, muss frei für den zu subsiuierenden Ausdruck sein. Definiion: D3.6 Eine Vrible v is in einem Ausdruck α frei für einen Ausdruck β gdw v und β vom selben Typ sind und kein freies Vorkommen von v in α im Skopus eines Qunors v ' oder v ' oder eines λ -Operors λ v ' seh und v ' frei in β vorkomm. Beispiel: λp x[ P( x) p] ( Q( x )), wobei pqx, ( ) WFA und p in xpx [ ( ) p ] nich frei is für Qx ( ), weil p im Skopus von x seh. Spezilfll: β = v ' Beispiel: λx y[ kennen'( y)( x) ]( y ), wobei xy, VAR e und x in ykennen [ '( y)( x )] nich frei is für y, weil x im Skopus von y seh. In einer präzisieren Fssung wird ds Prinzip der λ -Konversion wie folg formulier: Wenn v eine Vrible und β ein Ausdruck vom selben Typ sind und v in α frei für β is, dnn gil: λv[ α]( β) = αβ [ / v], wobei αβ [ / v] us einer Subsiuion von β für lle freien Vorkommen von v in α hervorgeh.? Wie knn ds Prinzip der λ -Konversion uch in jenen Fällen ngewnd werden, in denen die einschränkende Bedingung zunächs nich erfüll wird? Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 10
11 3 Theorie der λ -Repräsenion Übungen Ü3.1 Konsruieren Sie us den folgenden Ausdrücken λ -Terme vom Typ e, e, der Abfolge Objek < Subjek ensprochen wird:, so dss () umrmen ' (b) vorsellen '( Pul ') (c) z[ erzählen '( z)( y)( x)] Ü3.2 Repräsenieren Sie die Bedeuungen der folgenden nürlichsprchlichen Ausdrücke mi pssenden λ -Termen: () nich ruchen (b) sich loben (c) sich schämen (d) rennen und sich loben (e) jedes Buch lesen Ü3.3 Vereinfchen Sie die folgenden Ausdrücke mi Hilfe von λ -Redukion so wei wie möglich: () λ x[ räumen'( x)]( Peer ') (b) λλ y x[ verfolgen'( y)( x)]( Tweey')( Sylveser ') (c) λp x[ Einhorn'() x P()]( x λy[ schnufen'()]) y Ü3.4 Wrum is in den folgenden Fällen keine λ -Redukion möglich? () λx y[ lieben'( y)( x)]( y) (b) λλ[ y x wschen'( y)( x)]( x)( Ann ') Ü3.5 Von welchem Typ sind die folgenden Ausdrücke? () λ QQUlf [ ( ')] (b) λλ p x[ wissen'( p)( x)] (c) λx[ λyλx [ bewundern'( y)( x)]( Friz ')( x) Q( x )] (d) λλ y Qλx[ sreicheln'()() y x Q()] y ( Peer '( ) λz[ lchen'()]) z ( Ri ') (e) λrr [ ( λzobs [ '( z)]) ] Für die vorkommenden Vriblen gele dbei: x,, y z VARe, p VAR, Q VAR e,, R VAR. e,, Johnnes Dölling: Formle Semnik. Insiu für Linguisik, Universiä Leipzig. 11
7 Intensionale Semantik
7 Inensionle Semnik 7 Inensionle Semnik 71 Inension und Exension [Dowy 141-154, Gmu 4-15, Pree 403-414, Chierchi 257-261, Lohnsein 255-260] Bisher wurde eine exensionle Semnik verfolg Dh ls Denoionen von
MehrZu jedem Typ gibt es eine Menge von möglichen Denotationen der Ausdrücke dieses Typs. Diese Menge wird Domäne des betreffenden Typs genannt.
2 Theorie der semanischen Typen 2.2.2 Semanik von TL Menge der omänen Zu jedem Typ gib es eine Menge von möglichen enoaionen der Ausdrücke dieses Typs. iese Menge wird omäne des bereffenden Typs genann.
Mehr8.5 Uneigentliche Integrale Integrale über unbeschränkte Bereiche. f(x) dx. Integrale über unbeschränkte Funktionen mit Singularitäten am Rand
8.5 Uneigenliche Inegrle Inegrle über unbeschränke Bereiche,, Inegrle über unbeschränke Funkionen mi Singulriäen m Rnd, f : (, b] R seig, f : [, b) R seig Lokle Inegrierbrkei: Definiion: Eine Funkion f
MehrTraktrix DEMO. Text Nr Stand 11. Mai 2016 FRIEDRICH W. BUCKEL INTERNETBIBLIOTHEK FÜR SCHULMATHEMATIK.
Trkri Te Nr. 540 Snd. Mi 06 FRIEDRICH W. BUCKEL INTERNETBIBLIOTHEK FÜR SCHULMATHEMATIK www.mhe-cd.de 540 Trkri Vorwor Die Trkri is eine Kurve für gehobenemhemische Ansprüche. Ineressn is schon ihre mechnische
MehrSemantik. Semantik. Die Sprache der Typtheorie sieht für jeden Typ eine Menge nichtlogischer
Universiy of Bielefeld Beispiele: Prädikaskonsanen (Suden, verheirae, arbeie): Typ ; sie nehmen einen Eigennamen/ein Referenzobjek und liefern einen Saz/einen Wahrheiswer ab. Zweisellige Relaionskonsanen
MehrAufgaben: 1. Gib eine Gleichung der Ebene E an, die durch A in Richtung von u und v verläuft.
Prmeergleichung und Koordinenform einer Ebene Prmeergleichung und Koordinenform einer Ebene Die Lge einer Ebene E im Rum is durch drei Größen eindeuig fesgeleg: X. Einen Punk A, durch den die Ebene verläuf..
MehrSemantik. Es ergibt sich die rekursive Bildungsmenge der komplexen Typen: Semantik
Typheorie: Einführung zusäzlicher nich-logischer Ausdrücke uner Erweierung der Synax und der denoaionellen. Besandeile: zwei elemenare Typen zum Aufbau von Säzen/Formeln und der semanischen Komposiion:
MehrGreen-Funktion. Wir betrachten (z. B.) eine inhomogene lineare DGL 2. Ordnung. y +y = r(x) Die allgemeine Lösung mit y(0) = 0 und y( π 2
Green-Funkion Wir berchen (z. B.) eine inhomogene linere DGL 2. Ordnung y +y = r() Die llgemeine Lösung mi y() = und y( π 2 ) = (Rndwerufgbe) sez sich us der llgemeinen Lösung der zugehörigen homogenen
MehrLösung zur Hausaufgabe in Topologie und Differentialrechnung mehrerer Variablen SS x 1. x 2. x 1+x 2+x 3
Bl Nr. 11 Simon Reisser Lösung zur Husufgbe in Topologie und Differenilrechnung mehrerer Vriblen SS 17 Aufgbe () Sei f(x 1, x, x 3 ) = (y 1, y, y 3 ) = (e x1x x3, e x1x+x3, e xx3 ) und dg(y 1, y, y 3 )
MehrWebinar: Elastostatik Thema: Zweiachsige Biegung. Aufgabe) Biegelinie bestimmen
Webinr: Elsosik Them: Zweichsige Biegung Aufgbe Biegelinie besimmen F F l y z x z Gegeben sei der obige Krgräger, welcher durch eine Krf F in z-richung belse wird. Der Querschni des Krgrägers is rechs
Mehr7 Intensionale Semantik
7 Intensionale Semantik 7.1 Intension und Extension Bisher wurde eine extensionale Semantik verfolgt. D.h. als Denotationen von Sätzen wurden Wahrheitswerte, als Denotationen von Individuenausdrücken Individuen
Mehr10 Gewöhnliche Differentialgleichungen
Mhemik für Physiker III, WS 212/213 Diensg 5.2 $Id: ode.ex,v 1.1 213/2/6 13:25:6 hk Exp $ $Id: picrd.ex,v 1.3 213/2/6 1:22:12 hk Exp $ 1 Gewöhnliche Differenilgleichungen 1.8 Inhomogene linere Differenilgleichungen
MehrAnalysis I. 14. Übungsstunde. Steven Battilana. battilana.uk/teaching
Anlysis I 4. Übungssunde Seven Biln sevenb@suden.ehz.ch biln.uk/eching June 6, 07 Erinnerung Sz. (Prielle Inegrion) f (x) g(x)dx = [ ] b f(x)g(x) f(x) g (x)dx. Sz 6..5 (Subsiuion) Sei f : [, b] R seig,
Mehr2 Theorie der semantischen Typen
2 Theorie der semantischen Typen 2 Theorie der semantischen Typen [ Dowty 83-97, Gamut 75-9, Partee 338-34] 2. Typen Eine mögliche Erweiterung von PL ist die Prädikatenlogik der 2. Stufe (PL2). In PL2
MehrDie Exponentialfunktion
Die Eponenilunkion Deiniion Es sei eine posiive reelle Zhl,,. Eine Funkion R + R R : heiß Eponenilunkion. Die posiive reelle Zhl heiß Bsis und die reele Zhl R Eponen der Funkion. Mnchml heiß uch Wchsumskor.
MehrUniversität Passau Lehrstuhl für Finanzierung
Universiä Pssu Lehrsuhl für Finnzierung Nuzenfunkionen und Risikoversion Snd 26..2 Um ds Bernoulli-Prinzi (execed-uiliy-rincile) zu konkreisieren, is die Sezifikion einer (von Neumnn - Morgensern -) Nuzenfunkion
MehrLokale Modellierung nicht lokaler Abhängigkeiten Gereon Müller & Fabian Heck. Wintersemester 2011/ Kayne (1983) über parasitäre Lücken
Lokle Modellierung nich lokler Abhängigkeien Gereon Müller & Fbin Heck Modul 04-046-06 (Synx II) Universiä Leipzig Winersemeser 0/ 5..0. Hinergrund Kyne (983) über prsiäre Lücken Chomsky (98): (-b) is
MehrHamburg Kernfach Mathematik Zentralabitur 2013 Erhöhtes Anforderungsniveau Analysis 2
Hmburg Kernfch Mhemik Zenrlbiur 2013 Erhöhes Anforderungsniveu Anlysis 2 Smrphones Die Mrkeinführung eines neuen Smrphones vom Elekronikherseller PEAR wird ses ufgereg erwre. Zur Modellierung der Enwicklung
MehrAbiturprüfung Mathematik 2010 (Baden-Württemberg) Berufliche Gymnasien Analysis, Aufgabe 1 ( )( ) und der Normalen von K
Abiurprüfung Mhemik (Bden-Würemberg) Berufliche Gymnsien Anlysis, Aufgbe. Für jedes * is die Funkion f gegeben durch f (x) = x x + x +, x Ds Schubild von f is K. ( )( ).. (4 Punke) Zeichnen Sie K und K
MehrMathe-Abitur ab 2004: Fundus für den Pflichtbereich
Mhe-Abiur b : Fundus für den Pflichbereich Lösungen) Die Auoren übernehmen keine Grnie für die Richigkei der Lösungen. Auch wurde sicher nich immer der kürzese und elegnese Lösungsweg eingeschlgen. Einfche
MehrLernen ist wie rudern gegen den Strom. Sobald man aufhört, treibt man zurück. (Benjamin Britten)
Lernen is wie rudern gegen den Srom. Sobld mn uhör, reib mn zurüc. (Benjmin Brien) Die qudrische Funion Die qudrische Funion Funionen der llgemeinen Form x bx c, b, cir; 0 nenn mn qudrische Funionen. Den
MehrBINOMISCHE FORMELN FRANZ LEMMERMEYER
BINOMISCHE FORMELN FRANZ LEMMERMEYER Ds Distributivgesetz. Die binomischen Formeln sind im wesentlichen Vrinten des Distributivgesetzes. Dieses kennen wir schon; es besgt, dss () (b + = b + c und ( + b)c
Mehrb) Dasselbe System, die Unbekannten sind diesmal durchnummeriert:
1 Linere Gleichungssysteme 1. Begriffe Bspl.: ) 2 x - 3 y + z = 1 3 x - 2 z = 0 Dies ist ein Gleichungssystem mit 3 Unbeknnten ( Vriblen ) und 2 Gleichungen. Die Zhlen vor den Unbeknnten heißen Koeffizienten.
MehrHomogene Gleichungssysteme, Gausscher Algorithmus
HTW Mhemik MST Prof.Dr.B.Grbowski e-mil: grbowski@hw-srlnd.de Tel.: 7- Lösungen zu Übung Homogene Gleichungssyseme, Gusscher lgorihmus u ufgbe Besimmen Sie mi Hilfe des Gusschen lgorihmus die jeweilige
Mehr2.5 Algebra. 1 Faktorisieren Terme faktorisieren (-1) ausklammern Terme mit Klammern faktorisieren... 3
2.5 Algebr Inhltsverzeichnis Fktorisieren 2. Terme fktorisieren...................................... 2.2 (-) usklmmern....................................... 2.3 Terme mit Klmmern fktorisieren..............................
MehrBericht zur Mathematischen Zulassungsprüfung im Mai 2011
Bericht zur Mthemtischen Zulssungsprüfung im Mi Heinz-Willi Goelden, Wolfgng Luf, Mrtin Pohl Am 4. Mi fnd die Mthemtische Zulssungsprüfung sttt. Die Prüfung bestnd us einer 9-minütigen Klusur, in der 5
MehrLernen ist wie rudern gegen den Strom. Sobald man aufhört, treibt man zurück. (Benjamin Britten)
Lernen is wie rudern gegen den Srom. Sobld mn uhör, reib mn zurüc. (Benjmin Brien) Die qudrische Funion Die qudrische Funion Funionen der llgemeinen Form x bx c, b, cir; 0 nenn mn qudrische Funionen. Den
Mehr3.4 Direkte vs. indirekte Interpretation
3 Theorie der λ -Repräsentation 3.4 Direkte vs. indirekte Interpretation In unserer semantischen Analyse natürlichsprachlicher Ausdrücke haben wir bisher die Methode der indirekten Interpretation zugrunde
MehrSerpentine DEMO. Text Nr Stand FRIEDRICH W. BUCKEL INTERNETBIBLIOTHEK FÜR SCHULMATHEMATIK.
Serpenine Te Nr. 560 Snd 6.3.6 FRIEDRICH W. BUCKEL INTERNETBIBLIOTHEK FÜR SCHULMATHEMATIK 560 Serpenine Vorwor Die Serpenine is eine lgebrische Kurve 3. Grdes, die mn uf einer geomerischen Eigenschf definieren
Mehr8. Abtastung. Kontinuierliches Signal: Signalspektrum: Abgetastetes Signal: ( t) Abtastfunktion: 1 f a. Spektrum der Abtastfunktion:
Pro. Dr.-In. W.-P. Buchwld Sinl- und Sysemheorie 8. Absun Koninuierliches Sinl: u() Sinlspekrum: U() Abesees Sinl: ( ) = u( ) ( ) u Absunkion: + n= ( ) = δ ( n ) Spekrum der Absunkion: + n= Spekrum des
Mehr(1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet.
3.3 Quantoren? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet. (2) (a) Jeder ist verheiratet oder nicht
Mehr2.2.2 Semantik von TL. Menge der Domänen. Zu jedem Typ gibt es eine Menge von möglichen Denotationen der Ausdrücke dieses Typs.
2.2.2 Semantik von TL Menge der Domänen Zu jedem Typ gibt es eine Menge von möglichen Denotationen der Ausdrücke dieses Typs. Diese Menge wird Domäne des betreffenden Typs genannt. Johannes Dölling: Formale
MehrTypengetriebene Interpretation. Semantik und Pragmatik. Typengetriebene Interpretation. Argumentstruktur und Lambda-Präfixe
Tyengetriebene Interrettion emntik und Prgmtik 29. Mi 2007 Gerhrd Jäger Regelformte bislng drei Arten von Regeln: X Y, Z:: X = Y ( Z ) X Y, Z:: X = Z ( Y ) X Y, Z, W:: X = Z ( Y )( W ) Gemeinsmkeiten:
MehrMusterlösung Übungsblatt 2 ( ) 1 Prädikatmodifikation 23 Punkte
eminar: Formale emanik Modul 04-006-1006: Grammaikheorie eminarleier: Anke Assmann Muserlösung Übungsbla 2 (07.05.2013) Abgabe bis 14.05.2013 Insiu für Linguisik Universiä Leipzig 1 Prädikamodifikaion
MehrLineare Algebra I 5. Tutorium mit Lösungshinweisen
Fchbereich Mthemtik Prof Dr JH Bruinier Mrtin Fuchssteiner Ky Schwieger TECHNISCHE UNIVERSITÄT DARMSTADT AWS 07/08 0607 (T ) Linere Algebr I 5 Tutorium mit Lösungshinweisen Welche Gruppen kennen Sie? Welche
Mehra = c d b Matheunterricht: Gesucht ist x. Physikunterricht Gesucht ist t: s = vt + s0 -s0 s - s0 = vt :v = t 3 = 4x = 4x :4 0,5 = x
Bltt 1: Hilfe zur Umformung von Gleichungen mit vielen Vriblen Im Mthemtikunterricht hben Sie gelernt, wie mn Gleichungen mit einer Vriblen umformt, um diese Vrible uszurechnen. Meistens hieß sie. In Physik
MehrBericht zur Prüfung im Oktober 2006 über Finanzmathematik und Investmentmanagement
Berich zur Prüfung im Okober 006 über Finnzmhemik und Invesmenmngemen Grundwissen Peer Albrech Mnnheim Am 07. Okober 006 wurde zum ersen Ml eine Prüfung im Fch Finnzmhemik und Invesmenmngemen nch PO III
MehrVorkurs Mathematik für Ingenieure WS 2016/2017 Übung 3. (a) Berechnen Sie die fehlenden Strecken und Winkel im folgenden rechtwinkligen Dreieck: b h
Prof. Dr. J. Pnnek Dynmics in Logistics Vorkurs Mthemtik für Ingenieure WS 206/207 Übung 3 Aufgbe : Trigonometrie () Berechnen Sie die fehlenden Strecken und Winkel im folgenden rechtwinkligen Dreieck:
Mehr3 Prädikatenlogik der 1. Stufe (PL1) Teil I
3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3.3 Quantoren [ Gamut 70-74 McCawley 23-44 Chierchia 113-117 ]? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b)
MehrElementare Federberechnung
Dip.-Ing.(FH) Kuno Fuerknech D-87616 Wd/Osgäu Seie 1 von 8 Eemenre Federberechnung -Grundformen der Federeemene- 1. Krgräger Benennungen: F s ϕ wirksme Krf Absnd der Krf zur Einspnnung Verformung in Richung
MehrMathematik Bruchrechnung Grundwissen und Übungen
Mthemtik Bruchrechnung Grundwissen und Übungen von Stefn Gärtner (Gr) Stefn Gärtner -00 Gr Mthemtik Bruchrechnung Seite Inhlt Inhltsverzeichnis Seite Grundwissen Ws ist ein Bruch? Rtionle Zhlen Q Erweitern
MehrAbiturprüfung Mathematik 2011 (Baden-Württemberg) Berufliche Gymnasien Analysis, Aufgabe 1. gegeben durch. auf der y-achse und schneidet G
wwwmhe-ufgbencom Abiurprüfung Mhemik 0 (Bden-Würemberg) Berufliche ymnsien Anlysis, Aufgbe Für jedes mi > is die Funkion g gegeben durch x g (x) = e, x Ds Schubild von g is ( Punke) Nennen Sie drei gemeinsme
Mehr4.3 NPn als Objekte oder als Prädikative
4.3 NPn als Objekte oder als Prädikative 4.3.1 Quantifizierende NPn in Objektposition Steht eine quantifizierende NP nicht in Subjekt-, sondern in Objektposition, ist unter den bisher angenommenen Voraussetzungen
MehrLineare Algebra I - Lösungshinweise zur Klausur
Insiu für Mahemaik Winersemeser 0/3 Universiä Würzburg 0 Februar 03 Prof Dr Jörn Seuding Dr Anna von Heusinger Frederike Rüppel Lineare Algebra I - Lösungshinweise zur Klausur Aufgabe : (0 Punke) Zeigen
MehrUngleichungen. Jan Pöschko. 28. Mai Einführung
Ungleichungen Jn Pöschko 8. Mi 009 Inhltsverzeichnis Einführung. Ws sind Ungleichungen?................................. Äquivlenzumformungen..................................3 Rechnen mit Ungleichungen...............................
MehrTeil 1: Rechenregeln aus der Mittelstufe in Physik (1.6.18)
Teil 1: Rechenregeln us der Mittelstufe in Physik (1.6.18) Es gibt einige Dinge, die beim Rechnen in Physik immer wieder ml gebrucht werden. Mnches dvon geht oft schief, weil die Rechenregeln flsch ngewendet
MehrTeil 1: Rechenregeln aus der Mittelstufe. Allgemeine Termumformungen
Teil 1: Rechenregeln us der Mittelstufe Allgemeine Termumformungen Kommuttivgesetz: Bei reinen Produkten oder Summen ist die Reihenfolge egl x y z = z y x = x z y =.. x+y+z = z+y+x = x+z+y =.. Ausklmmern:
MehrBerechenbarkeitstheorie 4. Vorlesung
1 Berechenbrkeitstheorie Dr. Institut für Mthemtische Logik und Grundlgenforschung WWU Münster WS 15/16 Alle Folien unter Cretive Commons Attribution-NonCommercil 3.0 Unported Lizenz. Reguläre Ausdrücke
MehrResultat: Hauptsatz der Differential- und Integralrechnung
17 Der Huptstz der Differentil- und Integrlrechnung Lernziele: Konzept: Stmmfunktion Resultt: Huptstz der Differentil- und Integrlrechnung Methoden: prtielle Integrtion, Substitutionsregel Kompetenzen:
Mehr4.3 NPn als Objekte oder als Prädikative [Chierchia , Lohnstein ]
4 Semantik von Nominalphrasen 4.3 NPn als Objekte oder als Prädikative [Chierchia 147-168, Lohnstein 185-196] 4.3.1 Quantifizierende NPn in Objektposition Steht eine quantifizierende NP nicht in Subjekt-,
MehrGrundoperationen Aufgaben
Grundopertionen Aufgben Ausklmmern Hben lle Summnden einer lgebrischen Summe einen gemeinsmen Fktor, so knn mn diesen gemeinsmen Fktor usklmmern. Die Summe wird ddurch in ein Produkt umgewndelt. Vor dem
Mehr11. DER HAUPTSATZ DER DIFFERENTIAL- UND INTEGRALRECHNUNG
91 Dieses Skript ist ein Auszug mit Lücken us Einführung in die mthemtische Behndlung der Nturwissenschften I von Hns Heiner Storrer, Birkhäuser Skripten. Als StudentIn sollten Sie ds Buch uch kufen und
MehrLösungen zur Probeklausur Lineare Algebra 1
Prof. Dr. Ktrin Wendlnd Dr. Ktrin Leschke WS 2006/2007 Lösungen zur Probeklusur Linere Algebr Ausgbe: 2. Dezember 2006 Aufgbe.. Geben Sie die Definition des Begriffs Gruppe n. Eine Gruppe ist eine Menge
MehrSatz 6.5 (Mittelwertsatz der Integralrechnung) Sei f : [a, b] R stetig. Dann gibt es ein ξ [a, b], so dass. b a. f dx = (b a)f(ξ) f dx (b a)m.
Stz 6.5 (Mittelwertstz der Integrlrechnung) Sei f : [, b] R stetig. Dnn gibt es ein ξ [, b], so dss 9:08.06.2015 gilt. f dx = (b )f(ξ) Lemm 6.6 Sei f : [, b] R stetig und m f(x) M für lle x [, b]. Dnn
MehrEinführung in die Numerische Mathematik Vordiplomsklausur,
Institut für Angewndte Anlysis und Numerische Simultion Prof Dr C Eck, Dr M Schulz, Dipl- Mth J Giesselmnn Universität Stuttgrt Sommersemester 9 Einführung in die Numerische Mthemtik Vordiplomsklusur,
MehrZwei-Punkt Randwertprobleme. Fahed Bakar
Zwei-Punkt Rndwertprobleme Fhed Bkr Contents Inhltsverzeichnis II 1 Zwei-Punkt Rndwertprobleme (RWP) 1 1.1 Zwei-Punkt Rndwertprobleme.................... 1 1.2 Vritionle Formulierung des RWP..................
MehrDas Bogenintegral einer gestauchten Normalparabel
Ds Bogenintegrl einer gestuchten Normlprbel Jn Günther und Luks Vrnhorst Im Mthemtikleistungskurs der Jhrgngsstufe sind wir uf folgende Aufgbe gestoÿen: Bestimmen Sie eine Stmmfunktion von f(x) + x mit
MehrZentrale schriftliche Abiturprüfung Mathematik. Leistungskurs
Miniserium für Bildung, Jugend und Spor Zenrle schrifliche Abiurprüfung 2006 Aufgbensellungen A1 und A2 (Whl für Prüflinge) Mhemik für Prüflinge Aufgbensellungen A3 (siehe Exrbl) (wird durch die Lehrkrf
MehrKurven in der Ebene und im Raum
Kapiel 9 Kurven in der Ebene und im Raum 9. Parameerdarsellung von Kurven Aufgabe 9. : Skizzieren Sie die folgenden Mengen und beureilen Sie jeweils, ob es sich um eine abgeschlossene oder offene Menge
MehrQuadratische Funktionen und p-q-formel
Arbeitsblätter zum Ausdrucken von softutor.com Qudrtische Funktionen und -q-formel Gib den Vorfktor und die Anzhl der Schnittstellen mit der -Achse n. x 3 Beschreibe die Reihenfolge beim Umformen einer
Mehr38 Das Riemann-Integral vektorwertiger Funktionen über [a, b]
38 Ds Riemnn-Integrl vektorwertiger Funktionen über [, b] 38.2 Riemnn-Integrierbrkeit von Wegen 38.4 Ds Riemnn-Integrl ist eine linere Abbildung von R([, b], V ) in V 38.9 Integrlbschätzung 38.10 Huptstz
Mehr( ) ( 1) ( ) ( ) ( ) S ( 1;1) a () 1 1. Analysis Ableitungen: x x. Berechnung der Koeffizienten: b = ( ) Gleichung der Tangenten t:
Lösungen Abiur Leisungskurs Mhemik www.mhe-schule.de Seie von 9 P Anlysis = R, ² k.. p = + b+, b, R Ableiungen: k' ( ) = = p' = + b Berechnung der Koeffizienen: ; p =.. S : () p' () k' () + b + = b= =
MehrAufgaben aus Zentralen Klassenarbeiten Mathematik (Baden-Württemberg) zu Logarithmen und Wachstum
www.mhe-ufgben.com Aufgben us Zenrlen Klssenrbeien Mhemik 96-99 (Bden-Würemberg) zu Logrihmen und Wchsum ZK 96 ) Besimme mi Hilfe der Definiion des Logrihmus : ) 6 b) c) d) 0 000 ) Es is 0, 6. Berechne
MehrFormale Systeme, Automaten, Prozesse SS 2010 Musterlösung - Übung 6 M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder
Prof Dr J Giesl Formle ysteme, utomten, Prozesse 2010 M rockschmidt, F Emmes, C Fuhs, C Otto, T tröder Hinweise: Die Husufgben sollen in Gruppen von je 2 tudierenden us dem gleichen Tutorium berbeitet
MehrÜbung Analysis in einer Variable für LAK, SS 2010
Übung Anlysis in einer Vrible für LAK, SS Christoph B ) Es sei I R ein offenes Intervll, ξ I und f,...,f n : I R seien lle in ξ differenzierbr. Beweisen Sie: Dnn ist uch f f n : I R in ξ differenzierbr
Mehrnennt man eine Zerlegung (Partition, Unterteilung) des Intervalls [a, b]. Die Feinheit der Zerlegung ist dabei
Kpitel 8: Integrtion Erläuterung uf Folie 8.1 Ds bestimmte Integrl Sei f : [, b] R eine beschränkte Funktion uf einem (zunächst) kompkten Intervll [, b]. Definition: 1) Eine Menge der Form Z = { = x 0
MehrGrundlagen der Algebra
PH Bern, Vorbereitungskurs MATHEMATIK Vorkenntnisse 0 Grundlgen der Algebr Einleitung Auf den nchfolgenden Seiten werden grundlegende Begriffe und Ttschen der Algebr erläutert: Zhlenmengen, Rechenopertionen,
MehrÜbung Grundbegriffe der Informatik
Üung Grundegriffe der Informtik 11. Üung Krlsruher Institut für Technologie Mtthis Jnke, Geäude 50.34, Rum 249 emil: mtthis.jnke ät kit.edu Mtthis Schulz, Geäude 50.34, Rum 247 emil: schulz ät ir.uk.de
MehrKurzes Ergebnis zu dualen Basen:
Kurzes Ergebnis zu dulen Bsen: Lemm 1 Es sei V ein Vektorrum der Dimension n mit Bsis B = {v j } n j=1, und B = {vj} n j=1 die dzu dule Bsis von V Dnn ist der Koeffizientenvektor eines beliebigen Elements
MehrVorkurs Mathematik für Ingenieur Innen WS 2017/2018 Übung 3. (a) Berechnen Sie die fehlenden Strecken und Winkel im folgenden rechtwinkligen Dreieck:
Prof. Dr. J. Pnnek Dynmics in Logistics Vorkurs Mthemtik für Ingenieur Innen WS 207/208 Übung 3 Aufgbe : Trigonometrie () Berechnen Sie die fehlenden Strecken und Winkel im folgenden rechtwinkligen Dreieck:
MehrUniversität Ulm Samstag,
Universiä Ulm Samsag, 5.6. Prof. Dr. W. Arend Robin Nika Sommersemeser Punkzahl: Lösungen Gewöhnliche Differenialgleichungen: Klausur. Besimmen Sie die Lösung (in möglichs einfacher Darsellung) folgender
MehrNotizen zur Vorlesung über Kurven
Noizen zur Vorlesung über Kurven Michel Krow, TU-Berlin krow@mh.tu-berlin.de November 6, 9 Definiion: Eine prmerisiere Kurve is eine seige Abbildung x : R I R n, wobei I ein (offenes, hlboffenes oder bgeschlossenes)
Mehr7 Das lokale Ito-Integral
7 Das lokale Io-Inegral 7.3 Ein lokales L p -Maringal is uner einer gleichgradigen Inegrierbarkeisbedingung ein L p -Maringal 7.4 Rechsseiig seiges (seiges), lokales L p -Maringal 7.5 Seige, lokale Maringale
MehrAlgebra-Training. Theorie & Aufgaben. Serie 3. Bruchrechnen. Theorie: Katharina Lapadula. Aufgaben: Bernhard Marugg. VSGYM / Volksschule Gymnasium
Algebr-Trining Theorie & Aufgben Serie Bruchrechnen Theorie: Kthrin Lpdul Aufgben: Bernhrd Mrugg VSGYM / Volksschule Gymnsium Liebe Schülerin, lieber Schüler Der Leitspruch «Übung mcht den Meister» gilt
MehrFORMALE SYSTEME. 7. Vorlesung: Reguläre Ausdrücke. TU Dresden, 2. November Markus Krötzsch
FORMALE SYSTEME 7. Vorlesung: Reguläre Ausdrücke Mrkus Krötzsch TU Dresden, 2. November 2017 Rndll Munroe, https://xkcd.com/851_mke_it_better/, CC-BY-NC 2.5 Mrkus Krötzsch, 2. November 2017 Formle Systeme
Mehr1 Metrische Räume. Sei X eine nichtleere Menge. Definition 1.1. Eine Abbildung: d : X X R heißt Metrik auf X, falls für alle x, y, z X gilt
Metrische Räume Sei X eine nichtleere Menge. Definition.. Eine Abbildung: d : X X R heißt Metrik uf X, flls für lle x, y, z X gilt (i) d(x, y) 0, (ii) d(x, y) = d(y, x), (iii) d(x, y) d(x, z) + d(z, y)
Mehr7.3. Partielle Ableitungen und Richtungsableitungen
7.3. Parielle Ableiungen und Richungsableiungen Generell vorgegeben sei eine Funkion f von einer Teilmenge A der Ebene R oder allgemeiner des n-dimensionalen Raumes R n nach R. Für x [x 1,..., x n ] aus
MehrTECHNISCHE UNIVERSITÄT MÜNCHEN
Prof. r. H. Spohn r. M. Prähofer Zentrlübung TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mthemtik 14. Stetigkeit der Umkehrfunktion Mthemtik für Physiker 3 (Anlysis ) http://www-m5.m.tum.de/allgemeines/ma903
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2011
Automten und Formle Sprchen lis Theoretische Informtik Sommersemester 011 Dr. Snder Bruggink Üungsleitung: Jn Stückrth Snder Bruggink Automten und Formle Sprchen 1 Reguläre Sprchen Wir eschäftigen uns
MehrKapitel IV Euklidische Vektorräume. γ b
Kpitel IV Euklidische Vektorräume 1 Elementrgeometrie in der Eene Sei E die Zeicheneene In der Schule lernt mn: (11) Stz des Pythgors: Sei E ein Dreieck mit den Seiten, und c, und sei γ der c gegenüerliegende
MehrDIE ZUTEILUNGSREGELN 2008 2012: BRANCHENBEISPIEL PAPIER- UND ZELLSTOFFERZEUGUNG (TÄTIGKEITEN XIV UND XV TEHG)
26. November 2007 DIE ZUTEILUNGSREGELN 2008 2012: BRANCHENBEISPIEL PAPIER- UND ZELLSTOFFERZEUGUNG (TÄTIGKEITEN XIV UND XV TEHG) Informion zur Anwendung der gesezlichen Regelungen zur Zueilung von Kohlendioxid-Emissionsberechigungen
MehrDiese 3 Signale haben als Anregungssignale am Eingang eines Systems besondere Bedeutung für die lineare Systemtheorie erlangt.
16 2.3 Sprungfunkion, Rampenfunkion Delafunkion Diese 3 Signale haben als Anregungssignale am Eingang eines Sysems besondere Bedeuung für die lineare Sysemheorie erlang. Sprungfunkion: ( σ ( ), 1( ) )
MehrPräsenz-Aufgaben = i. (a) i 15 = i 14 i = (i 2 ) 7 i = ( 1) 7 i = i i 15 = 0 + ( 1)i, i (i i) = i 1 = i i 15 = 0 + 1i,
Präsenz-Aufgben 1. 1. Schreiben Sie z in der Form z α + βi mit α,β R. Aus der Vorlesung ist beknnt: i i i 1, i 1 1 i i i i i 1 i. () i 15 i 1 i (i ) 7 i ( 1) 7 i i i 15 + ( 1)i, (b) i 15 1 i 15 () 1 i
MehrFormale Systeme, Automaten, Prozesse SS 2010 Musterlösung - Übung 2 M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder
Prof Dr J Giesl Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Üung 2 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden us dem
MehrMathe Warm-Up, Teil 1 1 2
Mthe Wrm-Up, Teil 1 1 2 HEUTE: 1. Elementre Rechenopertionen: Brüche, Potenzen, Logrithmus, Wurzeln 2. Summen- und Produktzeichen 3. Gleichungen/Ungleichungen 1 orientiert sich n den Kpiteln 3,4,6,8 des
MehrMathematik K1, 2017 Lösungen Vorbereitung KA 1
Mthemtik K, 07 Lösungen Vorbereitung KA Pflichtteil (etw 0..0 min) Ohne Tschenrechner und ohne Formelsmmlung (Dieser Teil muss mit den Lösungen bgegeben sein, ehe der GTR und die Formlsmmlung verwendet
Mehr2.6 Reduktion endlicher Automaten
Endliche Automten Jörg Roth 153 2.6 Reduktion endlicher Automten Motivtion: Wir sind n Automten interessiert, die mit möglichst wenigen Zuständen uskommen. Automten, die eine Sprche mit einem Minimum n
MehrCrashkurs - Integration
Crshkurs - Integrtion emerkung. Wir setzen hier elementre Kenntnisse des Differenzierens sowie der Produktregel, Quotientenregel und Kettenregel vorus (diese werden später in der VO noch usführlich erklärt).
MehrLösung 4: Reelle innere Produkte, Normen und Gram-Schmidt Orthogonalisierung
D-MATH Linere Algebr II FS 217 Dr. Meike Akveld Lösung 4: Reelle innere Produkte, Normen und Grm-Schmidt Orthogonlisierung 1. Seien v (i) 1, v (i) 2, v (i) 3 R 3, sodss B i = (v (i) 1, v (i) 2, v (i) 3
MehrGrundbegriffe der Informatik Aufgabenblatt 5
Grundegriffe der Informtik Aufgenltt 5 Mtr.nr.: Nchnme: Vornme: Tutorium: Nr. Nme des Tutors: Ausge: 20. Novemer 2013 Age: 29. Novemer 2013, 12:30 Uhr im GBI-Briefksten im Untergeschoss von Geäude 50.34
MehrFreie ungedämpfte Schwingung eines Massenpunktes (Federschwinger) = 2a. Die allgemeine Lösung der DGL ist dann eine Linearkombination beider Lösungen:
Die Schwingungs-Differenilgleichung Freie ungedämpfe Schwingung eines Mssenpunes Federschwinger Bei Auslenung des Mssenpunes: Hooesches Gesez F - Federonsne Die Bewegungsgleichung lue dher: d m oder m
MehrMinimalautomat. Wir stellen uns die Frage nach dem. kleinsten DFA für eine reguläre Sprache L, d.h. nach einem DFA mit möglichst wenigen Zuständen.
Rechtslinere Sprchen Minimlutomt Es git lso sehr verschiedene endliche Beschreiungen einer regulären Sprche (DFA, NFA, rechtslinere Grmmtiken, reguläre Ausdrücke). Diese können ineinnder üersetzt werden.
Mehr12 Schweißnahtberechnung
225 12 Schweißnherechnung 12 Schweißnherechnung Die Berechnung der ufreenden Spnnungen in Schweißnähen erfolg im Regelfll mi Hilfe der elemenren Gleichungen der esigkeislehre. Auf weierführende Berechnungsverfhren,
MehrBrückenkurs Lineare Gleichungssysteme und Vektoren
Brückenkurs Linere Gleichungssysteme und Vektoren Dr Alessndro Cobbe 30 September 06 Linere Gleichungssyteme Ws ist eine linere Gleichung? Es ist eine lgebrische Gleichung, in der lle Vriblen nur mit dem
MehrHM I Tutorium 14. Lucas Kunz. 9. Februar 2018
HM I Tutorium 14 Lucs Kunz 9. Februr 218 Inhltsverzeichnis 1 Theorie 2 1.1 Uneigentliche Integrle............................. 2 1.1.1 Typ 1.................................. 2 1.1.2 Typ 2..................................
MehrNumerische Mathematik Sommersemester 2013
TU Chemnitz 5. Februr 2014 Professur Numerische Mthemtik Prof. Dr. Oliver Ernst Dipl.-Mth. Ingolf Busch Dipl.-Mth. techn. Tommy Etling Numerische Mthemtik Sommersemester 2013 Musterlösungen zu nicht behndelten
Mehr