Formale Systeme 2. Prof. Dr. Peter H. Schmitt KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK
|
|
- Gretel Martin
- vor 5 Jahren
- Abrufe
Transkript
1 Formale Systeme 2 Prof. Dr. Peter H. Schmitt KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
2 Repetition Linear Temporal Logic Prof. Dr. Peter H. Schmitt FM2 2/36
3 LTL Formulas Definition Let PVar be a set of propositional atoms. The set of LTL formulas, LTLFor is defined by 1. PVar LTLFor 2. 1, 0 LTLFor 3. If A, B in LTLFor, then also A, A B, A B, A B 4. if A, B LTLFor then also 4.1 GA and FA, (sometimes also A and A) 4.2 A U B LTLFor 4.3 X A Prof. Dr. Peter H. Schmitt FM2 3/36
4 Temporal Structures A temporal structure is a triple T = (S, R, I) with S a nonempty set, called the set of abstract time points. R a strict transitive relation, the temporal before relation, I a valuation function I : (PVar S) {W, F} An omega structure is the special case with (S, R) = (N, <). We will present omega structures in the equivalent form T = (N, <, ξ) with ξ : N 2 PVar and the intuition p ξ(n) in T atom p is true at time point n I(p, n) = W For ξ : N 2 PVar and n N we will use ξ n to stand for the final segment of ξ starting at n. In symbol ξ n (m) = ξ(n + m). In particular ξ 0 = ξ. Prof. Dr. Peter H. Schmitt FM2 4/36
5 LTL Semantics Let T = (N, <, ξ) be an omega structure of the propositional signature PVar. ξ = p iff p ξ(0) (p a propositional atom) ξ = op(a, B) for a propositional combination op(a, B) of A and B as usual ξ = GA iff for all n N it is true ξ n = A ξ = FA iff there exists an n N with ξ n = A ξ = A U B iff there is n N with ξ n = B and for all m with 0 m < n we have ξ m = A ξ = X A iff ξ 1 = A Prof. Dr. Peter H. Schmitt FM2 5/36
6 Simple LTL Tautologies The following formulas are true for all omega structures: 1. FA 1 U A 2. GA F A (1 U A) Prof. Dr. Peter H. Schmitt FM2 6/36
7 Repetition Büchi Automata Prof. Dr. Peter H. Schmitt FM2 7/36
8 Omega Words Let V be a finite alphabet. V ω denotes the set of infinite words made up of letters from V. V denotes the set of all finite words over V. w(n) refers to the n-th letter in w for n 0. w (n) stands for the finite initial segment w(0)... w(n) of w. Omega words are sometime also referenced as ω words using the last letter of the Greek alphabet. Prof. Dr. Peter H. Schmitt FM2 8/36
9 Operations on Omega Words Let K V and J V ω. 1. K ω denotes the set of omega words w 1... w i... such that w i K for all i 2. The concatenation of K with J is defined by 3. KJ = {w 1 w 2 w 1 K, w 2 J} Concatenation of two sets of infinite words would not make sense. K = {w V ω w (n) K for infinitely many n} Since we may think of K as a kind of limit of K (in the mathematical sense of the word) some authors denote it by lim(k ). Prof. Dr. Peter H. Schmitt FM2 9/36
10 Büchi Automata A Büchi automaton A = (S, V, s 0, δ, F) is a non-deterministic finite automaton with S V s 0 S δ : S V P(S) F S a finite set of states an alphabet the initial state the transition function the set of accepting (or final) states Prof. Dr. Peter H. Schmitt FM2 10/36
11 Büchi Acceptance A run for A is an infinite sequence s 0,..., s n,... of states, starting with s 0 such that for all 0 n there is an a V with s n+1 δ(s n, a). A run (s n ) n 0 is an accepting run if s n F is true for infinitely many n. Given w V ω we call a run s 0,..., s n,... a run for w, if for all 0 n s n+1 δ(s n, w(n)) is true. The language accepted by A is defined by L ω (A) = {w V ω there is an accepting run for w} The sets L of omega-words accepted by a Büchi automaton A are also called omega-regular sets. Prof. Dr. Peter H. Schmitt FM2 11/36
12 Example Büchi Automaton a s 0 s 1 {a, b} a This automaton, N afin, accepts all words that eventually contain only the letter a. Alternatively: L ω (N afin ) = {a, b} a ω Prof. Dr. Peter H. Schmitt FM2 12/36
13 Theorem Review For every LTL formula C there is a Büchi automaton A C such that L ω (A C ) = {ξ V ω ξ = C}. If PVar are the propositional atoms in C, the label vocabulary V of the Büchi automaton consists of all subsets of PVar, i.e., V = P(PVar). Prof. Dr. Peter H. Schmitt FM2 13/36
14 A 1 A 2 S = S 1 S 2 {1, 2} s 0 = (s1 0, s0 2, 1) F = F 1 S 2 {1} for all s 1 S 1, s 2 S 2, i {1, 2} (t 1, t 2, 1) δ((s 1, s 2, 1), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) and s 1 F 1 (t 1, t 2, 2) δ((s 1, s 2, 1), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) and s 1 F 1 (t 1, t 2, 2) δ((s 1, s 2, 2), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) (t 1, t 2, 1) δ((s 1, s 2, 2), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) and s 2 F 2 Prof. Dr. Peter H. Schmitt FM2 14/36
15 Second Order Definability of Omega Regular Sets Prof. Dr. Peter H. Schmitt FM2 15/36
16 Representation of Omega Words Vocabulary Let Σ V be the following vocabulary a constant symbol 0 the first element a unary function symbol s the successor function a unary relation symbol a(x) for any letter a in V a binary relation symbol < the order relation For a Σ V structure W we think of the elements in the universe W as the positions of a word. 0 W will be the first position s W (p) will yield the next position after p. W = a(p) for a position p W is supposed to mean that at p the letter a V occurs. Of course not every Σ V structure makes sense. Prof. Dr. Peter H. Schmitt FM2 16/36
17 Representation of Omega Words The axioms FOW 1. 0 is interpreted as the smallest element. x(x = 0 0 < x) 2. For every p exactly one of the atomic formulas a(p) for a V is true. x a V (a(x)) a,b V,a b (a(x) b(x)) 3. For all elements p s(p) is the successor of p. x(x < s(x)) z(x < z z < s(x)) 4. The successor s is injective. x y(s(x) = s(y) x = y) 5. < is a transitive and irreflexive relation. x y z(x < y y < z x < z) x (x < x) 6. All elements are of the form s n (0) for some n N. X(X(0) x(x(x) X(s(x))) y(x(y))) Prof. Dr. Peter H. Schmitt FM2 17/36
18 Omega Words as FOW Structures There is a 1-1 correspondence between omega words over the alphabet V and Σ V structures satisfying FOW. For w V ω we will denote the correspondig structure by W w. Without loss of generality we will assume that the universe of W w is the set N of natural numbers. Prof. Dr. Peter H. Schmitt FM2 18/36
19 Definability of the order relation The formula less(x, y) = X(X(x) z(x(z) X(s(z))) X(y)) x y defines the order relation in all structures satisfying FOW. Prof. Dr. Peter H. Schmitt FM2 19/36
20 Definable Sets of Omega Words Let F be a formula in monadic second order logic with signature Σ v. Example L ω (F) = {w V ω W w = F } F = n m(n < m a(m)) defines the set L ω (N afin ). Prof. Dr. Peter H. Schmitt FM2 20/36
21 Definability Theorem Let L V ω be a set of infinite words. There is a Büchi automaton accepting L iff there is a second order formula in signature Σ V defining L. Second Order Definability of Büchi acceptance Let L V ω be a set of infinite words. If there is a Büchi automaton N accepting L, i.e., L ω (N ) = L, then there is a second order formula Φ defining L. i.e., L ω (Φ) = L. Omega Regularity of Second Order Definable Sets For any second order formula Φ in the signature Σ V the set L ω (Φ) = L is omega regular. Prof. Dr. Peter H. Schmitt FM2 21/36
22 Second Order Definability of Büchi acceptance Proof Given: N = (S, V, s 0, δ, F) with S = {q 1,..., q n } and F = {q 1,..., q f }. w L ω (N ) iff there is a run s = (s i ) 0 i of N for w with infinitely many final states. iff there are subsets X k N, 1 k n such that 1. 1 k n X k = N 2. the X k are mutually disjoint 3. the sequence of states (s i ) 0 i definied by s i = q k i X k is a run of N for w with infinitely many final states. Prof. Dr. Peter H. Schmitt FM2 22/36
23 Second Order Definability of Büchi acceptance Proof w L ω (N ) iff there are subsets X k N, 1 k n such that 1. 1 k n X k = N 2. the X k are mutually disjoint 3. (s i ) 0 i definied by s i = q k i X k is a run of N for w with many final states. iff W w = Φ = X 1... X n (U D R F) with 1. U = x( 1 k n X k(x)) 2. D = 1 k<r n x(x k(x) X r (x)) 3. R = X 0 (0) x( 1 k,r n (X k(x) X r (s(x)) a V k,r a(x))) with V k,r = {a V q r δ(q k, a)} 4. F = 1 k f x y(x < y X k(y)) Prof. Dr. Peter H. Schmitt FM2 23/36
24 Omega Regularity of Definable Sets Proof Claim For any second order formula Φ in the signature Σ V the set L ω (Φ) = L is omega regular. Naturally, the proof will proceed by induction on the complexity of Φ. This necessitates that we also consider formulas Φ(x 1,..., x p, X 1,..., X q ) with free first-order and second-order variables. We will for any numbers p of first-order and q of second-order free variables define new vocabularies V p,q such that V 0,0 = V and Φ(x 1,..., x p, X 1,..., X q ) defines an omega-regular subset of V ω p,q. Prof. Dr. Peter H. Schmitt FM2 24/36
25 A Short Note on Notation Instead of we will write val M,β,γ (Φ(x 1,..., x p, X 1,..., X q )) = 1, M = Φ(x 1,..., x p, X 1,..., X q )[s 1,..., s p, S 1,..., S q ] with s i = β(x i ) and S j = γ(x j ). Postfixing the assignments in square brackets to the formula is more convenient than manipulating the βs and γs Prof. Dr. Peter H. Schmitt FM2 25/36
26 The Vocabularies V p,q V p,q = V {0, 1} p {0, 1} q For p = q = 0 we get V p,q = V, as promissed. As an example consider p = 3, q = 2 and a V. Then b 1 = a, 0, 0, 0, 0, 0 b 2 = a, 0, 0, 1, 0, 0 b 3 = a, 0, 1, 0, 0, 1 are examples of letters in V 3,2. Let a[i] for 0 i < p + q + 1 denote the i-th position of the letter a. Thus, e.g. b 1 [0] = a b 2 [3] = 1 b 3 [5] = 1 Prof. Dr. Peter H. Schmitt FM2 26/36
27 The Subset K p,q V ω p,q The subset K p,q V ω p,q will play a crucial role. K p,q = {w Vp,q ω for all 1 i p there is exactly one k s.t. the i-th position in the letter w(k) equals 1} Or using the a[i] notation K p,q = {w Vp,q ω for all 1 i p there is exactly one k with w(k)[i] = 1} Observe that K 0,0 = V ω. Exercise Show that all K p,q are omega regular set in the vocabulary V p,q. Prof. Dr. Peter H. Schmitt FM2 27/36
28 The Hidden Meaning of K p,q A word w K p,q codes a word 1. w 0 V ω, 2. p elements s i N and 3. q subsets S j N w 0 (n) = w(n)[0] n N s i = the unique n with w(n)[i] = 1 1 i p S j = {n N w(n)[p + j] = 1} 1 j q Prof. Dr. Peter H. Schmitt FM2 28/36
29 The Inductive Claim For any formula Φ(x 1,..., x p, X 1,..., X q ) the set L ω (Φ( x, X)) = {w K p,q W w 0 = Φ[s 1,..., s p, S 1,..., S q ]} is omega regular W w 0 is the structure already used above. Note that the special case of p = q = 0 is the claim of the theorem we want to prove. The proof proceeds by structural induction on Φ Prof. Dr. Peter H. Schmitt FM2 29/36
30 Inductive Proof Initial Case: Φ x i = x k Let A i,k V p,q be the set of all letters a with a[i] = a[k] = 0 and B i,k V p,q be the set of all letters b with b[i] = b[k] = 1. Then L ω (x i = x k ) = {w K p,q W w 0 = x i = x k [s i, s k ]} = A i,k B i,ka ω i,k K p,q Thus L ω (x i = x k ) is omega regular. Prof. Dr. Peter H. Schmitt FM2 30/36
31 Inductive Proof Initial Case: Φ a(x i ) Let D a,i be the set of letters d V p,q with d[0] = a and d[i] = 1. Then L ω (a(x i )) = {w K p,q W w 0 = a(x i )[s i ]} = for the unique n with w(n)[i] = 1 we must have w(n)[0] = a = K p,q Vp,qD a,i Vp,q ω Thus L ω (a(x i )) is omega regular. The remaining initial cases x i = s(x k ) and X j (x i ) are easy variations. Prof. Dr. Peter H. Schmitt FM2 31/36
32 Induction Step Case: Φ( x, X) = x i Φ 0 ( x, X) The remaining inductions steps Φ = Φ 1 Φ = Φ 1 Φ 2 Φ = Φ 1 Φ 2 and Φ = X j Φ 0 are either simple or similar. Notational Simplification: i = p. Thus Φ(x 1,..., x p 1, X) = x p Φ 0 (x 1,..., x p 1, x p, X). By induction hypothesis L 1 = {w K p,q W w 0 = Φ 0 ( x, x p, X)[ s, s p, S]} is an omega regular subset of V ω p,q. We want to show that L = {w K p 1,q W w 0 = x p Φ 0 ( x, X)[ s, S]} is an omega regular subset of V ω p 1,q. Prof. Dr. Peter H. Schmitt FM2 32/36
33 Homomorphisms The still open proof obligation requires us to compare omega regular sets over different vocabularies. This is new! Let V 1, V 2 be two vocabularies, µ : V 1 V 2 an arbitrary mapping. The extension of µ to µ : V1 ω V 2 ω is called an homomorphism from V1 ω to V 2 ω. Lemma L an omega regular subset of V ω 1 and µ : V ω 1 V ω 2 an homorphism. Then µ(l) is an omega regular subset of V ω 2. Prof. Dr. Peter H. Schmitt FM2 33/36
34 Induction Step Case: Φ( x, X) = x i Φ 0 ( x, X) Assume L 1 = {w K p,q W w 0 = Φ 0 ( x, x p, X)[ s, s p, S]} is ω regular in V ω p,q. Show L = {w K p 1,q W w 0 = x p Φ 0 ( x, X)[ s, S]} is ω regular in Vp 1,q ω. Define µ : V p,q V p 1,q by µ( a, c 1,..., c p 1, c p, d 1,..., d q ) = a, c 1,..., c p 1, d 1,..., d q Claim : L = {µ(w) w L 1 } = µ(l 1 ). From this claim we obtain by the homomorphism lemma that L is omega regular, as desired. Prof. Dr. Peter H. Schmitt FM2 34/36
35 Proof of Claim To increase readability we supress all variables except x p. w L 1 iff W w 0 = Φ 1 (x p )[s p ] W w 0 = x p Φ 1 iff W µ(w) 0 = x p Φ 1 µ(w) 0 = w 0 and µ(w)(z) = w(z) for z not shown since µ only touches position p iff µ(w) L w L iff W (w ) 0 = x pφ 1 iff W (w ) 0 = Φ 1(x p )[n p ] for some n p N iff W w 0 = Φ 1 (x p )[s p ] for an appropriate w Vp,q ω iff w L 1 w is { obtained by replacing w (n) = (a, c 1,..., c p 1, d 1,..., d q ) a, c1,..., c by p 1, 1, d 1,..., d q if n = n p a, c 1,..., c p 1, 0, d 1,..., d q if n n p Prof. Dr. Peter H. Schmitt FM2 35/36
36 Example The formula X(X(0) x(x(x) X(x + 2)) x(x(x) a(x))) describes the set of all omega words with the letter a occuring at all even positions. At uneven positions a may occur or not. By the theorem we know that there is a Büchi automaton for this set of words. By contrast we know, that this set if not LTL-definable. Prof. Dr. Peter H. Schmitt FM2 36/36
Computational Models
- University of Applied Sciences - Computational Models - CSCI 331 - Friedhelm Seutter Institut für Angewandte Informatik Part I Automata and Languages 0. Introduction, Alphabets, Strings, and Languages
MehrAutomatentheorie und formale Sprachen endliche Automaten
Automatentheorie und formale Sprachen endliche Automaten Dozentin: Wiebke Petersen 13.5.2009 Wiebke Petersen Automatentheorie und formale Sprachen - SoSe09 1 What we know so far about formal languages
MehrUnit 4. The Extension Principle. Fuzzy Logic I 123
Unit 4 The Extension Principle Fuzzy Logic I 123 Images and Preimages of Functions Let f : X Y be a function and A be a subset of X. Then the image of A w.r.t. f is defined as follows: f(a) = {y Y there
MehrA Classification of Partial Boolean Clones
A Classification of Partial Boolean Clones DIETLINDE LAU, KARSTEN SCHÖLZEL Universität Rostock, Institut für Mathematik 25th May 2010 c 2010 UNIVERSITÄT ROSTOCK MATHEMATISCH-NATURWISSENSCHAFTLICHE FAKULTÄT,
MehrEinführung in die Computerlinguistik reguläre Sprachen und endliche Automaten
Einführung in die Computerlinguistik reguläre Sprachen und endliche Automaten Dozentin: Wiebke Petersen Foliensatz 3 Wiebke Petersen Einführung CL 1 Describing formal languages by enumerating all words
MehrAutomatentheorie und formale Sprachen reguläre Ausdrücke
Automatentheorie und formale Sprachen reguläre Ausdrücke Dozentin: Wiebke Petersen 6.5.2009 Wiebke Petersen Automatentheorie und formale Sprachen - SoSe09 1 Formal language Denition A formal language L
MehrNumber of Maximal Partial Clones
Number of Maximal Partial Clones KARSTEN SCHÖLZEL Universität Rostoc, Institut für Mathemati 26th May 2010 c 2010 UNIVERSITÄT ROSTOCK MATHEMATISCH-NATURWISSENSCHAFTLICHE FAKULTÄT, INSTITUT FÜR MATHEMATIK
MehrEinführung in die Computerlinguistik
Einführung in die Computerlinguistik Reguläre Ausdrücke und reguläre Grammatiken Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Summer 2016 1 / 20 Regular expressions (1) Let Σ be an alphabet. The
MehrEinführung in die Computerlinguistik reguläre Sprachen und endliche Automaten
Einführung in die Computerlinguistik reguläre Sprachen und endliche Automaten Dozentin: Wiebke Petersen 03.11.2009 Wiebke Petersen Einführung CL (WiSe 09/10) 1 Formal language Denition Eine formale Sprache
MehrÜbungsblatt 6. Analysis 1, HS14
Übungsblatt 6 Analysis, HS4 Ausgabe Donnerstag, 6. Oktober. Abgabe Donnerstag, 23. Oktober. Bitte Lösungen bis spätestens 7 Uhr in den Briefkasten des jeweiligen Übungsleiters am J- oder K-Geschoss von
MehrEinführung in die Computerlinguistik reguläre Sprachen und endliche Automaten
Einführung in die Computerlinguistik reguläre Sprachen und endliche Automaten Dozentin: Wiebke Petersen May 3, 2010 Wiebke Petersen Einführung CL (SoSe2010) 1 Operationen auf Sprachen Seien L Σ und K Σ
MehrEinführung in die Computerlinguistik reguläre Sprachen und endliche Automaten
Einführung in die Computerlinguistik reguläre Sprachen und endliche Automaten Dozentin: Wiebke Petersen May 3, 2010 Wiebke Petersen Einführung CL (SoSe2010) 1 Operationen auf Sprachen Seien L Σ und K Σ
MehrMusterlösung 3. D-MATH Algebra I HS 2015 Prof. Richard Pink. Faktorielle Ringe, Grösster gemeinsamer Teiler, Ideale, Faktorringe
D-MATH Algebra I HS 2015 Prof. Richard Pink Musterlösung 3 Faktorielle Ringe, Grösster gemeinsamer Teiler, Ideale, Faktorringe 1. Sei K ein Körper. Zeige, dass K[X 2, X 3 ] K[X] ein Integritätsbereich,
MehrUnit 1. Motivation and Basics of Classical Logic. Fuzzy Logic I 6
Unit 1 Motivation and Basics of Classical Logic Fuzzy Logic I 6 Motivation In our everyday life, we use vague, qualitative, imprecise linguistic terms like small, hot, around two o clock Even very complex
MehrUnterspezifikation in der Semantik Hole Semantics
in der Semantik Hole Semantics Laura Heinrich-Heine-Universität Düsseldorf Wintersemester 2011/2012 Idee (1) Reyle s approach was developed for DRT. Hole Semantics extends this to any logic. Distinction
Mehr4. Bayes Spiele. S i = Strategiemenge für Spieler i, S = S 1... S n. T i = Typmenge für Spieler i, T = T 1... T n
4. Bayes Spiele Definition eines Bayes Spiels G B (n, S 1,..., S n, T 1,..., T n, p, u 1,..., u n ) n Spieler 1,..., n S i Strategiemenge für Spieler i, S S 1... S n T i Typmenge für Spieler i, T T 1...
MehrStochastic Processes SS 2010 Prof. Anton Wakolbinger. Klausur am 16. Juli 2010
Stochastic Processes SS 2010 Prof. Anton Wakolbinger Klausur am 16. Juli 2010 Vor- und Nachname: Matrikelnummer: Studiengang: Tutor(in): In der Klausur können 100 Punkte erreicht werden. Die Gesamtpunktezahl
MehrMagic Figures. We note that in the example magic square the numbers 1 9 are used. All three rows (columns) have equal sum, called the magic number.
Magic Figures Introduction: This lesson builds on ideas from Magic Squares. Students are introduced to a wider collection of Magic Figures and consider constraints on the Magic Number associated with such
MehrSeeking for n! Derivatives
Seeking for n! Derivatives $,000$ Reward A remarkable determinant (,0) (,) (0,0) (0,) (,0) (,0) (,) (,) (0,0) (0,) (0,) General definition Δ μ (X, Y ) = det x p i j yq i n j i,j= As a starter... n! dim
MehrFEM Isoparametric Concept
FEM Isoparametric Concept home/lehre/vl-mhs--e/folien/vorlesung/4_fem_isopara/cover_sheet.tex page of 25. p./25 Table of contents. Interpolation Functions for the Finite Elements 2. Finite Element Types
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski WiSe 2007/08 2 Rooms Monday 13:00-15:00 GW2 B1410 Thursday 13:00-15:00 GW2 B1410 Exercises (bring your Laptops with you!) either Monday
MehrFunctional Analysis Final Test, Funktionalanalysis Endklausur,
Spring term 2012 / Sommersemester 2012 Functional Analysis Final Test, 16.07.2012 Funktionalanalysis Endklausur, 16.07.2012 Name:/Name: Matriculation number:/matrikelnr.: Semester:/Fachsemester: Degree
MehrAlgorithm Theory 3 Fast Fourier Transformation Christian Schindelhauer
Algorithm Theory 3 Fast Fourier Transformation Institut für Informatik Wintersemester 2007/08 Chapter 3 Fast Fourier Transformation 2 Polynomials Polynomials p over real numbers with a variable x p(x)
MehrAutomatentheorie und formale Sprachen Pumping-Lemma für reguläre Sprachen
Automatentheorie und formale Sprachen Pumping-Lemma für reguläre Sprachen Dozentin: Wiebke Petersen 10.6.2009 Wiebke Petersen Automatentheorie und formale Sprachen - SoSe09 1 Finite-state automatons accept
MehrOn Euler s attempt to compute logarithms by interpolation
Euler p. 1/1 On Euler s attempt to compute logarithms by interpolation Walter Gautschi wxg@cs.purdue.edu Purdue University Leonhard Euler 1707 1783 Euler p. 2/1 Euler p. 3/1 From Euler s letter to Daniel
MehrWeather forecast in Accra
Weather forecast in Accra Thursday Friday Saturday Sunday 30 C 31 C 29 C 28 C f = 9 5 c + 32 Temperature in Fahrenheit Temperature in Celsius 2 Converting Celsius to Fahrenheit f = 9 5 c + 32 tempc = 21
MehrIntroduction FEM, 1D-Example
Introduction FEM, 1D-Example home/lehre/vl-mhs-1-e/folien/vorlesung/3_fem_intro/cover_sheet.tex page 1 of 25. p.1/25 Table of contents 1D Example - Finite Element Method 1. 1D Setup Geometry 2. Governing
MehrMitschrift zur Vorlesung Analysis III
Mitschrift zur Vorlesung Analysis III Prof. Dr. M. Röckner Universität Bielefeld Wintersemester 1996/97 ii Inhaltsverzeichnis I Measure Theory and Integration 1 1 Introduction 3 2 Systems of sets, measures
MehrÜbungen zur Analysis 2
Mathematisches Institut der Universität München Prof. Dr. Franz Merkl Sommersemester 013 Blatt 3 03.04.013 Übungen zur Analysis 3.1 Abstraktion des Beweises der Minkowskiungleichung. Es seien V ein K-Vektorraum
MehrIn 1900, David Hilbert outlined 23 mathematical problems to the International Congress of Mathematicians in Paris. Here is the first:
1 Introduction In 1900, David Hilbert outlined 23 mathematical problems to the International Congress of Mathematicians in Paris. Here is the first: 1. Cantors Problem von der Mächtigkeit des Continuums
MehrA comparison of automata and tableau methods for modal satisfiability*
A comparison of automata and tableau methods for modal satisfiability* Franz Baader Theoretical Computer Science Advantages and disadvantages of both methods Intuitive comparison for K with global axioms
MehrAlgorithms & Datastructures Midterm Test 1
Algorithms & Datastructures Midterm Test 1 Wolfgang Pausch Heiko Studt René Thiemann Tomas Vitvar
MehrDYNAMISCHE GEOMETRIE
DYNAMISCHE GEOMETRIE ÄHNLICHKEITSGEOMETRIE & MODELLIERUNG PAUL LIBBRECHT PH WEINGARTEN WS 2014-2015 CC-BY VON STAUDT KONSTRUKTIONEN Menü Erinnerung: Strahlensatz Längen, Frame Zielartikel Addition, Subtraktion
MehrStirling numbers of the second kind and Bonferroni s inequalities
Eem. Math. 60 (2005) 124 129 0013-6018/05/030124-6 c Swiss Mathematica Society, 2005 Eemente der Mathematik Stiring numbers of the second kind and Bonferroni s inequaities Horst Wegner Horst Wegner studierte
Mehraus Doktorarbeiten Anna Lena Birkmeyer Oktober 2016
aus Doktorarbeiten Anna Lena Birkmeyer Fachbereich Mathematik TU Kaiserslautern Oktober 2016 In der der Arbeit: The mathematical modeling and optimization of... is a wide field of research [4,15,19,35,61,62,66,76,86]
MehrWillkommen zur Vorlesung Komplexitätstheorie
Willkommen zur Vorlesung Komplexitätstheorie WS 2011/2012 Friedhelm Meyer auf der Heide V13, 30.1.2012 1 Themen 1. Turingmaschinen Formalisierung der Begriffe berechenbar, entscheidbar, rekursiv aufzählbar
MehrFinal Exam. Friday June 4, 2008, 12:30, Magnus-HS
Stochastic Processes Summer Semester 2008 Final Exam Friday June 4, 2008, 12:30, Magnus-HS Name: Matrikelnummer: Vorname: Studienrichtung: Whenever appropriate give short arguments for your results. In
MehrRätsel 1: Buchstabensalat klassisch, 5 5, A C (10 Punkte) Puzzle 1: Standard As Easy As, 5 5, A C (10 points)
Rätsel 1: uchstabensalat klassisch, 5 5, (10 Punkte) Puzzle 1: Standard s Easy s, 5 5, (10 points) Rätsel 2: uchstabensalat klassisch, 5 5, (5 Punkte) Puzzle 2: Standard s Easy s, 5 5, (5 points) Rätsel
MehrAccelerating Information Technology Innovation
Accelerating Information Technology Innovation http://aiti.mit.edu Ghana Summer 2011 Lecture 05 Functions Weather forecast in Accra Thursday Friday Saturday Sunday 30 C 31 C 29 C 28 C f = 9 5 c + 32 Temperature
MehrUnit 6. Fuzzy Inference. Fuzzy Logic I 159
Unit 6 Fuzzy Inference Fuzzy Logic I 159 Motivation Our ultimate goal is to be able to proceed IF-THEN rules involving vague linguistic expressions which are modeled by fuzzy sets. Question: What is still
MehrAllgemeine Mechanik Musterlösung 11.
Allgemeine Mechanik Musterlösung 11. HS 2014 Prof. Thomas Gehrmann Übung 1. Poisson-Klammern 1 Zeigen Sie mithilfe der Poisson-Klammern, dass folgendes gilt: a Für das Potential V ( r = α r 1+ε ist der
Mehr3. The proof of Theorem
3. The proof of Theorem Objekttyp: Chapter Zeitschrift: L'Enseignement Mathématique Band (Jahr): 31 (195) Heft 1-2: L'ENSEIGNEMENT MATHÉMATIQUE PDF erstellt am: 19.9.217 Nutzungsbedingungen Die ETH-Bibliothek
MehrData Structures and Algorithm Design
- University of Applied Sciences - Data Structures and Algorithm Design - CSCI 340 - Friedhelm Seutter Institut für Angewandte Informatik Contents 1 Analyzing Algorithms and Problems 2 Data Abstraction
MehrIntroduction FEM, 1D-Example
Introduction FEM, D-Example /home/lehre/vl-mhs-/inhalt/cover_sheet.tex. p./22 Table of contents D Example - Finite Element Method. D Setup Geometry 2. Governing equation 3. General Derivation of Finite
MehrWie man heute die Liebe fürs Leben findet
Wie man heute die Liebe fürs Leben findet Sherrie Schneider Ellen Fein Click here if your download doesn"t start automatically Wie man heute die Liebe fürs Leben findet Sherrie Schneider Ellen Fein Wie
MehrTeil 2.2: Lernen formaler Sprachen: Hypothesenräume
Theorie des Algorithmischen Lernens Sommersemester 2006 Teil 2.2: Lernen formaler Sprachen: Hypothesenräume Version 1.1 Gliederung der LV Teil 1: Motivation 1. Was ist Lernen 2. Das Szenario der Induktiven
MehrWillkommen zur Vorlesung Komplexitätstheorie
Willkommen zur Vorlesung Komplexitätstheorie WS 2011/2012 Friedhelm Meyer auf der Heide V12, 23.1.2012 1 Organisatorisches CHE-Studierendenbefragung ist bis zum 31.1. verlängert. Falls sie angefragt wurden:
MehrPONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB
Read Online and Download Ebook PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: ENGLISCH LERNEN MIT JUSTUS, PETER UND BOB DOWNLOAD EBOOK : PONS DIE DREI??? FRAGEZEICHEN, ARCTIC ADVENTURE: Click link bellow
MehrFormale Systeme. Lineare Temporale Logik. Prof. Dr. Bernhard Beckert WS 2009/2010 KIT INSTITUT FÜR THEORETISCHE INFORMATIK
Formale Systeme Prof. Dr. Bernhard Beckert WS 2009/2010 KIT INSTITUT FÜR THEORETISCHE INFORMATIK KIT University of the State of Baden-Württemberg and National Large-scale Research Center of the Helmholtz
MehrIntroduction to Python. Introduction. First Steps in Python. pseudo random numbers. May 2016
to to May 2016 to What is Programming? All computers are stupid. All computers are deterministic. You have to tell the computer what to do. You can tell the computer in any (programming) language) you
MehrEinführung in die Computerlinguistik Satz von Kleene
Einführung in die Computerlinguistik Satz von Kleene Dozentin: Wiebke Petersen 10.5.2010 Wiebke Petersen Einführung CL (SoSe2010) 1 Satz von Kleene (Stephen C. Kleene, 1909-1994) Jede Sprache, die von
MehrGeometrie und Bedeutung: Kap 5
: Kap 5 21. November 2011 Übersicht Der Begriff des Vektors Ähnlichkeits Distanzfunktionen für Vektoren Skalarprodukt Eukidische Distanz im R n What are vectors I Domininic: Maryl: Dollar Po Euro Yen 6
MehrAlgorithms for graph visualization
Algorithms for graph visualization Project - Orthogonal Grid Layout with Small Area W INTER SEMESTER 2013/2014 Martin No llenburg KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum
MehrFEM Isoparametric Concept
FEM Isoparametric Concept home/lehre/vl-mhs--e/cover_sheet.tex. p./26 Table of contents. Interpolation Functions for the Finite Elements 2. Finite Element Types 3. Geometry 4. Interpolation Approach Function
MehrAutomaten und formale Sprachen. Lösungen zu den Übungsblättern
Automaten und formale Sprachen zu den Übungsblättern Übungsblatt Aufgabe. (Sipser, exercise.3) M = ({q, q2, q3, q4, q5}, {u, d}, δ, q3, {q3}) δ: u d q q q 2 q 2 q q 3 q 3 q 2 q 4 q 4 q 3 q 5 q 5 q 4 q
MehrA comparison of automata and tableau methods for modal satisfiability*
A comparison of automata and tableau methods for modal satisfiability* Franz Baader Theoretical Computer Science Advantages and disadvantages of both methods Intuitive comparison for K with global axioms
MehrFinite Difference Method (FDM)
Finite Difference Method (FDM) home/lehre/vl-mhs-1-e/folien/vorlesung/2a_fdm/cover_sheet.tex page 1 of 15. p.1/15 Table of contents 1. Problem 2. Governing Equation 3. Finite Difference-Approximation 4.
MehrMartin Luther. Click here if your download doesn"t start automatically
Die schönsten Kirchenlieder von Luther (Vollständige Ausgabe): Gesammelte Gedichte: Ach Gott, vom Himmel sieh darein + Nun bitten wir den Heiligen Geist... der Unweisen Mund... (German Edition) Martin
MehrEin Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten. Click here if your download doesn"t start automatically
Ein Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten Click here if your download doesn"t start automatically Ein Stern in dunkler Nacht Die schoensten Weihnachtsgeschichten Ein Stern in dunkler
MehrAlgebra. 1. Geben Sie alle abelschen Gruppen mit 8 und 12 Elementen an. (Ohne Nachweis).
1 Wiederholungsblatt zur Gruppentheorie 18.12.2002 Wiederholen Sie für die Klausur: Algebra WS 2002/03 Dr. Elsholtz Alle Hausaufgaben. Aufgaben, die vor Wochen schwer waren, sind hoffentlich mit Abstand,
MehrFuture plans. Exercise 1: Read the text below.
Exercise 1: Read the text below. Future plans Nächstes Jahr werde ich die Schule verlassen, weil ich die Schule hasse. Mit 18 werde ich einen Job finden. Ich möchte in einem Büro arbeiten, weil ich als
MehrD-MATH Algebra II FS 2016 Prof. Richard Pink. Musterlösung 16. einfache und algebraische Erweiterungen
D-MATH Algebra II FS 206 Prof. Richard Pink Musterlösung 6 einfache und algebraische Erweiterungen. Bestimme das Minimalpolynom folgender komplexer Zahlen über Q: (a) 2 + 5. (b) 3 3 3. (c) 4 5 + 4 5i.
MehrAlgorithmische Bioinformatik II WS2004/05 Ralf Zimmer Part III Probabilistic Modeling IV Bayesian Modeling: Algorithms, EM and MC Methods HMMs
Algorithmische Bioinformatik II WS2004/05 Ralf Zimmer Part III Probabilistic Modeling IV Bayesian Modeling: Algorithms, EM and MC Methods HMMs Ralf Zimmer, LMU Institut für Informatik, Lehrstuhl für Praktische
MehrAlgebra. Übungsblatt 2 (Lösungen)
Fakultät für Mathematik Sommersemester 2017 JProf. Dr. Christian Lehn Dr. Alberto Castaño Domínguez Algebra Übungsblatt 2 (Lösungen) Aufgabe 1. Es sei n 3. Zeigen Sie, dass S n von (1 2) und (1... n) erzeugt
MehrPriorities (time independent and time dependent) Different service times of different classes at Type-1 nodes -
E.6 Approximate Analysis of Non-product-Form Queueing Networks Non exponentially distributed service times Priorities (time independent and time dependent) Different service times of different classes
MehrÜbung 3: VHDL Darstellungen (Blockdiagramme)
Übung 3: VHDL Darstellungen (Blockdiagramme) Aufgabe 1 Multiplexer in VHDL. (a) Analysieren Sie den VHDL Code und zeichnen Sie den entsprechenden Schaltplan (mit Multiplexer). (b) Beschreiben Sie zwei
MehrIm Fluss der Zeit: Gedanken beim Älterwerden (HERDER spektrum) (German Edition)
Im Fluss der Zeit: Gedanken beim Älterwerden (HERDER spektrum) (German Edition) Ulrich Schaffer Click here if your download doesn"t start automatically Im Fluss der Zeit: Gedanken beim Älterwerden (HERDER
MehrWillkommen zur Vorlesung Komplexitätstheorie
Willkommen zur Vorlesung Komplexitätstheorie WS 2011/2012 Friedhelm Meyer auf der Heide V11, 16.1.2012 1 Themen 1. Turingmaschinen Formalisierung der Begriffe berechenbar, entscheidbar, rekursiv aufzählbar
MehrKTdCW Artificial Intelligence 2016/17 Practical Exercises - PART A
KTdCW Artificial Intelligence 2016/17 Practical Exercises - PART A Franz Wotawa Technische Universität Graz, Institute for Software Technology, Inffeldgasse 16b/2, A-8010 Graz, Austria, wotawa@ist.tugraz.at,
MehrVGM. VGM information. HAMBURG SÜD VGM WEB PORTAL USER GUIDE June 2016
Overview The Hamburg Süd VGM Web portal is an application that enables you to submit VGM information directly to Hamburg Süd via our e-portal Web page. You can choose to enter VGM information directly,
MehrRev. Proc Information
Rev. Proc. 2006-32 Information 2006, CPAs 1 Table 1-Total loss of the home Table 2- Near total loss is water to the roofline. Completely gut the home from floor to rafters - wiring, plumbing, electrical
MehrZu + Infinitiv Constructions
Zu + Infinitiv Constructions You have probably noticed that in many German sentences, infinitives appear with a "zu" before them. These "zu + infinitive" structures are called infinitive clauses, and they're
MehrWhere are we now? The administration building M 3. Voransicht
Let me show you around 9 von 26 Where are we now? The administration building M 3 12 von 26 Let me show you around Presenting your company 2 I M 5 Prepositions of place and movement There are many prepositions
MehrHarry gefangen in der Zeit Begleitmaterialien
Folge 029 Grammatik 1. The pronoun "es" (review) "es" is a pronoun that usually substitutes a neuter noun. Example: Ist das Bett zu hart? - Nein, es ist nicht zu hart. (es = it das Bett = the bed) But:
MehrBISON Instantiating the Whitened Swap-Or-Not Construction September 6th, 2018
BION Instantiating the Whitened wap-or-not Construction eptember 6th, 2018 Horst Görtz Institut für IT icherheit Ruhr-Universität Bochum Virginie Lallemand, Gregor Leander, Patrick Neumann, and Friedrich
MehrStatistics, Data Analysis, and Simulation SS 2015
Mainz, June 11, 2015 Statistics, Data Analysis, and Simulation SS 2015 08.128.730 Statistik, Datenanalyse und Simulation Dr. Michael O. Distler Dr. Michael O. Distler
MehrRECHNUNGSWESEN. KOSTENBEWUßTE UND ERGEBNISORIENTIERTE BETRIEBSFüHRUNG. BY MARTIN GERMROTH
RECHNUNGSWESEN. KOSTENBEWUßTE UND ERGEBNISORIENTIERTE BETRIEBSFüHRUNG. BY MARTIN GERMROTH DOWNLOAD EBOOK : RECHNUNGSWESEN. KOSTENBEWUßTE UND Click link bellow and free register to download ebook: RECHNUNGSWESEN.
MehrLevel 2 German, 2013
91126 911260 2SUPERVISOR S Level 2 German, 2013 91126 Demonstrate understanding of a variety of written and / or visual German text(s) on familiar matters 9.30 am Monday 11 November 2013 Credits: Five
MehrFunktion der Mindestreserve im Bezug auf die Schlüsselzinssätze der EZB (German Edition)
Funktion der Mindestreserve im Bezug auf die Schlüsselzinssätze der EZB (German Edition) Philipp Heckele Click here if your download doesn"t start automatically Download and Read Free Online Funktion
MehrDuell auf offener Straße: Wenn sich Hunde an der Leine aggressiv verhalten (Cadmos Hundebuch) (German Edition)
Duell auf offener Straße: Wenn sich Hunde an der Leine aggressiv verhalten (Cadmos Hundebuch) (German Edition) Nadine Matthews Click here if your download doesn"t start automatically Duell auf offener
MehrEnglisch-Grundwortschatz
Englisch-Grundwortschatz Die 100 am häufigsten verwendeten Wörter also auch so so in in even sogar on an / bei / in like wie / mögen their with but first only and time find you get more its those because
MehrKlausur zur Vorlesung Vertiefung Theoretische Informatik Wintersemester
Prof. Dr. Viorica Sofronie-Stokkermans Dipl.-Inform. Markus Bender AG Formale Methoden und Theoretische Informatik Fachbereich Informatik Universität Koblenz-Landau Hinweise Klausur zur Vorlesung Vertiefung
MehrDie UN-Kinderrechtskonvention. Darstellung der Bedeutung (German Edition)
Die UN-Kinderrechtskonvention. Darstellung der Bedeutung (German Edition) Daniela Friedrich Click here if your download doesn"t start automatically Die UN-Kinderrechtskonvention. Darstellung der Bedeutung
MehrInformatik - Übungsstunde
Informatik - Übungsstunde Jonas Lauener (jlauener@student.ethz.ch) ETH Zürich Woche 08-25.04.2018 Lernziele const: Reference const: Pointer vector: iterator using Jonas Lauener (ETH Zürich) Informatik
MehrD-MATH Algebra I HS 2015 Prof. Richard Pink. Musterlösung 1. Ringe, Polynome, Potenzreihen. x(y z) = x(y + ( z)) = xy + x( z) = xy + ( xz) = xy xz.
D-MATH Algebra I HS 20 Prof. Richard Pink Musterlösung Ringe, Polynome, Potenzreihen. Zeige, dass in jedem Ring R die Distributivregel gilt. Lösung: Für alle x, y, z R gilt x, y, z R : x(y z = xy xz x(y
MehrCNC ZUR STEUERUNG VON WERKZEUGMASCHINEN (GERMAN EDITION) BY TIM ROHR
(GERMAN EDITION) BY TIM ROHR READ ONLINE AND DOWNLOAD EBOOK : CNC ZUR STEUERUNG VON WERKZEUGMASCHINEN (GERMAN EDITION) BY TIM ROHR PDF Click button to download this ebook READ ONLINE AND DOWNLOAD CNC ZUR
MehrÜbung 7 Beispiel 3 Daniel Herold
Übung 7 Beispiel 3 Daniel Herold Given an integer J, consider the following uniform partition of (0, ): 0 = y 0 < y < < y J+ =, y j = j J +, j = 0...J + Based on this partition, a domain decomposition
Mehra) Name and draw three typical input signals used in control technique.
12 minutes Page 1 LAST NAME FIRST NAME MATRIKEL-NO. Problem 1 (2 points each) a) Name and draw three typical input signals used in control technique. b) What is a weight function? c) Define the eigen value
MehrLevel 1 German, 2014
90886 908860 1SUPERVISOR S Level 1 German, 2014 90886 Demonstrate understanding of a variety of German texts on areas of most immediate relevance 9.30 am Wednesday 26 November 2014 Credits: Five Achievement
MehrDIBELS TM. German Translations of Administration Directions
DIBELS TM German Translations of Administration Directions Note: These translations can be used with students having limited English proficiency and who would be able to understand the DIBELS tasks better
MehrGERMAN LANGUAGE Tania Hinderberger-Burton, Ph.D American University
GERMAN LANGUAGE Tania Hinderberger-Burton, Ph.D American University www.companyname.com 2016 Jetfabrik Multipurpose Theme. All Rights Reserved. 10. Word Order www.companyname.com 2016 Jetfabrik Multipurpose
MehrEinführung in die Computerlinguistik Satz von Kleene
Einführung in die Computerlinguistik Satz von Kleene Dozentin: Wiebke Petersen 17.11.2009 Wiebke Petersen Einführung CL (WiSe 09/10) 1 Satz von Kleene (Stephen C. Kleene, 1909-1994) Jede Sprache, die von
MehrEinführung in die Finite Element Methode Projekt 2
Einführung in die Finite Element Methode Projekt 2 Juri Schmelzer und Fred Brockstedt 17.7.2014 Juri Schmelzer und Fred Brockstedt Einführung in die Finite Element Methode Projekt 2 17.7.2014 1 / 29 Project
MehrWas ist Logik? Goethe, Faust
Was ist Logik? Zuerst Collegium Logicum. Da wird der Geist Euch wohl dressiert, In spanische Stiefeln eingeschnürt, Da 3 er bedächtiger so fortan Hinschleiche die Gedankenbahn, Und nicht etwa, die Kreuz
MehrHardwarekonfiguration an einer Siemens S7-300er Steuerung vornehmen (Unterweisung Elektriker / - in) (German Edition)
Hardwarekonfiguration an einer Siemens S7-300er Steuerung vornehmen (Unterweisung Elektriker / - in) (German Edition) Thomas Schäfer Click here if your download doesn"t start automatically Hardwarekonfiguration
MehrHarry gefangen in der Zeit Begleitmaterialien
Episode 011 Grammar 1. Plural forms of nouns Most nouns can be either singular or plural. The plural indicates that you're talking about several units of the same thing. Ist das Bett zu hart? Sind die
MehrAttention: Give your answers to problem 1 and problem 2 directly below the questions in the exam question sheet. ,and C = [ ].
Page 1 LAST NAME FIRST NAME MATRIKEL-NO. Attention: Give your answers to problem 1 and problem 2 directly below the questions in the exam question sheet. Problem 1 (15 points) a) (1 point) A system description
MehrPrivatverkauf von Immobilien - Erfolgreich ohne Makler (German Edition)
Privatverkauf von Immobilien - Erfolgreich ohne Makler (German Edition) Edgar Freiherr Click here if your download doesn"t start automatically Privatverkauf von Immobilien - Erfolgreich ohne Makler (German
MehrBayesian Networks. Syntax Semantics Parametrized Distributions Inference in Bayesian Networks. Exact Inference. Approximate Inference
Syntax Semantics Parametrized Distributions Inference in Exact Inference Approximate Inference enumeration variable elimination stochastic simulation Markov Chain Monte Carlo (MCMC) 1 Includes many slides
MehrWer bin ich - und wenn ja wie viele?: Eine philosophische Reise. Click here if your download doesn"t start automatically
Wer bin ich - und wenn ja wie viele?: Eine philosophische Reise Click here if your download doesn"t start automatically Wer bin ich - und wenn ja wie viele?: Eine philosophische Reise Wer bin ich - und
Mehr