Termersetzungssysteme Vorlesung 3
|
|
- Joachim Lindholm
- 4 år siden
- Visninger:
Transkript
1 Termersetzungssysteme Vorlesung 3 Stephan Falke Verifikation trifft Algorithmik Karlsruher Institut für Technologie (KIT) Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
2 Wiederholung Reduktionsordnungen Definition Eine fundierte transitive Relation auf T (Σ, V) ist eine Reduktionsordnung gdw. 1 ist stabil, d.h., für alle s 1 s 2 und alle Substitutionen σ gilt s 1 σ s 2 σ 2 ist monoton, d.h., für alle s 1 s 2 und alle f Σ mit Stelligkeit n gilt f (t 1,..., t i 1, s 1, t i+1,..., t n ) f (t 1,..., t i 1, s 2, t i+1,..., t n ) für alle 1 i n und alle t 1,..., t i 1, t i+1,..., t n Satz Ein TES R ist terminierend gdw. es eine Reduktionsordnung mit l r für alle l r R gibt Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
3 Church-Rosser und Ein TRS R ist Church-Rosser gdw. x R y x R y... konfluent gdw. y 1 R x R y 2 y 1 R y 2 x x z y y 1 y 2 z Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
4 Äquivalenz und Unentscheidbarkeit Satz R ist Church-Rosser gdw. R konfluent ist Satz Das folgende Problem ist i.a. unentscheidbar: Eingabe: Ein TES R Frage: Ist R konfluent? = Korrekte aber unvollständige Verfahren können trotzdem oft zeigen dass ein TES R konfluent ist Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
5 Lokale Ein TRS R ist lokal konfluent gdw. y 1 R x R y 2 y 1 R y 2 x y 1 y 2 z Satz Das folgende Problem ist i.a. unentscheidbar: Eingabe: Ein TES R Frage: Ist R lokal konfluent? Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
6 Zusammenhang Lemma (Newman) Falls R terminierend und lokal konfluent ist so ist R auch konfluent Ziel der heutigen Vorlesung: Satz Das folgende Problem ist entscheidbar: Eingabe: Ein terminierendes TES R Frage: Ist R lokal konfluent? Folgerung Das folgende Problem ist entscheidbar: Eingabe: Ein terminierendes TES R Frage: Ist R konfluent? Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
7 Lokale Divergenzen 1/6 Untersuche alle lokalen Divergenzen der Form s l 1 r 1 l 2 r 2 t 1 t 2 auf Zusammenführbarkeit Es gibt l i r i R, Positionen p i Pos(s) und Substitutionen σ i so dass für i = 1, 2 s pi = l i σ i t i = s[r i σ i ] pi Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
8 Lokale Divergenzen 2/6 Fall 1: p 1 und p 2 sind unabhängig s l 1 σ 1 l 2 σ 2 l 1 r 1 l 2 r 2 t 1 t 2 r 1 σ 1 l2 σ 2 l 1 σ 1 r 2 σ 2 l 2 r 2 l 1 r 1 r 1 σ 1 r 2 σ 2 Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
9 Lokale Divergenzen 3/6 Fall 2: p 1 ist ein Präfix von p 2, d.h., p 2 = p 1.p (p kann leer sein) O.B.d.A. kann p 1 = Λ angenommen werden l 1 σ 1 p l 2 σ 2 Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
10 Lokale Divergenzen 4/6 Fall 2.1: l 2 σ 2 ist innerhalb von σ 1 D.h. p = q 1.q 2 so dass l 1 q1 = x V l 1 σ 1 l 2 σ 2 q 1 q 2 p Falls x m-fach in l 1 und n-fach in r 1 auftritt so können t 1 und t 2 zusammengeführt werden indem zunächst die Regel l 2 r 2 n-fach auf t 1 (m 1)-fach auf t 2 und dann die Regel l 1 r 1 angewendet wird Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
11 Lokale Divergenzen 5/6 Illustration mit m = 3 und n = 2 l 2 σ 2 r 2 σ 2 l 1 x x x l 1 r 1 l 2 r 2 r 1 l 1 x x x x x 2-fach l 2 r 2 2-fach l 2 r 2 r 1 l 1 r 1 l 1 x x x x x Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
12 Lokale Divergenzen 6/6 Fall 2.2: l 1 und l 2 sind überlappend D.h. p Pos(l 1 ) so dass l 1 p V und l 1 p σ 1 = l 2 σ 2 l 1 p l 2 σ 1 σ 1 Zusammenführbarkeit dieser kritischen Überlappung muss explizit untersucht werden σ 2 Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
13 Kritische Paare 1/2 Definition Seien l 1 r 1, l 2 r 2 mit V(l 1 r 1 ) V(l 2 r 2 ) = gegeben Sei p Pos(l 1 ) so dass l 1 p V und sei σ ein allgemeinster Unifikator von l 1 p und l 2 Dann ist r 1 σ, l 1 σ[r 2 σ] p ein kritisches Paar: r 1 σ l 1 σ l 1 r 1 l 2 r 2 l 1 σ[r 2 σ] p CP(R): kritische Paare zwischen allen Regeln aus R Kritische Paare einer Regel mit sich selbst (nach Umbenennung der Variablen) müssen auch betrachtet werden (ausser für p = Λ)! Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
14 Kritische Paare 2/2 (1) f(f(x, y), z) f(x, f(y, z)) (2) f(i(x 1 ), x 1 ) e (1) und (2), p = 1: σ = {x i(x 1 ), y x 1 } f(f(i(x 1 ), x 1 ), z) f(i(x 1 ), f(x 1, z)) f(e, z) (1) und (1), p = 1: σ = {x f(x, y ), y z } f(f(f(x, y ), z ), z) f(f(x, y ), f(z, z)) f(f(x, f(y, z )), z) In den übrigen Fällen ist Unifikation nicht möglich Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
15 Kritisches Paar Lemma und Satz Lemma Falls s R t 1 und s R t 2 dann t 1 R t 2 oder t i = s[u i ] p so dass u 1, u 2 oder u 2, u 1 Instanz eines kritischen Paars ist Satz R is lokal konfluent gdw. alle kritischen Paare zusammenführbar sind Folgerung Falls R terminierend ist so ist R konfluent gdw. alle kritischen Paare zusammenführbar sind Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
16 Entscheidbarkeit Satz Das folgende Problem ist entscheidbar: Eingabe: Ein terminierendes TES R Frage: Ist R lokal konfluent? Beweis: CP(R) ist endlich und kann effizient berechnet werden Da R terminierend ist können Normalformen û und v für alle kritischen Paare u, v berechnet werden Falls û = v für alle kritischen Paare dann ist R lokal konfluent (warum?) Falls û v für ein kritisches Paar dann û R u s v R v und R ist nicht lokal konfluent (warum?) Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
17 Beispiel (1) add(x, O) x (2) add(o, y) y (3) add(x, s(y)) s(add(x, y)) (4) add(s(x), y) s(add(x, y)) (1) und (2): add(o, O) add(x, O) x add(o, y) y (1) und (4) (analog: (2) und (3)): add(s(x), O) add(x, O) x add(s(x), y) s(add(x, y)) O = O s(x) s(add(x, O)) = add(x, O) x (3) und (4): s(x) add(s(x), y) s(add(x, y)) add(s(x), s(y)) add(x, s(y)) s(add(x, y)) s(add(x, s(y)) add(x, s(y)) s(add(x, y)) s(add(s(x), y)) add(s(x), y) s(add(x, y)) s(s(add(x, y))) R ist lokal konfluent (und konfluent da terminierend) Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
18 für nicht-terminierende TESs Für nicht-terminierende TESs ist sogar lokale i.a. unentscheidbar Unter bestimmten syntaktischen Einschränkungen an das TES ist allerdings automatisch garantiert Definition Ein TES ist orthogonal gdw. es keine kritischen Paare hat und alle linken Seiten linear sind (d.h., keine Variable mehrfach vorkommt) Satz Jedes orthogonale TES ist konfluent Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
19 Kombinatorische Logik S x y z x z (y z) K x y x I x x nicht terminierend: S I I (S I I) I (S I I) (I (S I I)) S I I (I (S I I)) S I I (S I I) konfluent da orthogonal Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
20 Notwendigkeit der Links-Linearität f(x, x) a f(x, g(x)) b c g(c) nicht terminierend keine kritischen Paare nicht orthogonal da nicht links-linear nicht konfluent: a und b sind Normalformen und f(c, c) a f(c, g(c)) b Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung / 20
Gert Smolka Universität des Saarlandes 28. Januar 2008
Was ist Logik? Gert Smolka Universität des Saarlandes 28. Januar 2008 Logik ist die Lehre des vernünftigen Schlussfolgerns. Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig
Læs mere6.4 Transitive Hülle und DFS Wir erinnern uns an den DFS-Algorithmus:
6.4 Transitive Hülle und DFS Wir erinnern uns an den DFS-Algorithmus: for all nodes v do unmark v od count := 0 while unvisited v do r := pick (random) unvisited node push r onto stack while stack do v
Læs mereDer Nordschleswiger. Wir lieben Fußball. Paulina(14) aus Ghana
Der Nordschleswiger www.nordschleswiger.dk DEUTSCHE TAGESZEITUNG IN DÄNEMARK 30. JUNI 2011 Wir lieben Fußball Paulina(14) aus Ghana Es gibt nichts Besseres als Fußballspiele anzuschauen! Naja, außer man
Læs mereKlausur Stochastik und Statistik Sommersemester 2009
Klausur Stochastik und Statistik Sommersemester 2009 Prof. Dr. Torsten Hothorn Institut für Statistik Name: Name, Vorname Matrikelnummer: 023456 Wichtig: ˆ Überprüfen Sie, ob Ihr Klausurexemplar vollständig
Læs mereO. Sternal, V. Hankele. 4. Magnetismus
4. Magnetismus 4. Magnetismus 4.1 Magnete und Magnetfelder Magnetfelder N S Rotationsachse Eigenschaften von Magneten und Magnetfeldern Ein Magnet hat Nord- und Südpol Ungleichnamige Pole ziehen sich an,
Læs mereMit den Steinen vorsichtig umgehen, da vor allem die Ecken und Kanten der Specksteine sehr spröde sind.
15.09.2011 Montageanleitung zum Einbau der Speck und Speichersteine in Scan-line 820, 830 und 80. Heta empfiehlt, die Montage des Ofens von zwei Personen vorzunehmen. Mit den Steinen vorsichtig umgehen,
Læs mereLGVT Lesegeschwindigkeits und -verständnistest 10.Klasse
LGVT Lesegeschwindigkeits und -verständnistest 10.Klasse Der LGVT dient der Ermittlung des Leseverständnisses und der Lesegeschwindigkeit. Die Schüler lesen nach Bearbeiten des Übungsbeispiels einen Fließtext
Læs mere16748-1. A x 1 B x 2. C1 x 1 C3 x 1. E1 x 2. E2 x 4. D1 x 1. D2 x 1 F x 1 H2 X 90 II X 4 I2 X 12. H1 X 8 50 x 50. G x 14. C2 x 1.
16748-1 AKKU xxv A x 1 B x 2 C2 x 1 C1 x 1 C3 x 1 E1 x 2 D1 x 1 E2 x 4 D2 x 1 F x 1 Senest revideret: Letzte Änderung: 10-2014 G x 14 Ø4 x 80 X 8 50 x 50 H2 X 90 II X 4 I2 X 12 Ø4 x 40 Ø125 Ø8 x 80 Læs
Læs mereWallstickers Wandsticker
Wallstickers Wandsticker Færdige motiver eller design selv Dette er et lille udvalg af vore mest solgte Wallstickers. Men vi har mange flere motiver og forslag i vores online katalog. Alle Wallstickers
Læs mereMeget formel, modtager har en meget speciel titel som skal bruges i stedet for deres navne
- Åbning Dansk Tysk Kære Hr. Direktør, Sehr geehrter Herr Präsident, Meget formel, modtager har en meget speciel titel som skal bruges i stedet for deres navne Kære Hr., Formel, mandelig modtager, navn
Læs mereMeget formel, modtager har en meget speciel titel som skal bruges i stedet for deres navne
- Åbning Tysk Dansk Sehr geehrter Herr Präsident, Kære Hr. Direktør, Meget formel, modtager har en meget speciel titel som skal bruges i stedet for deres navne Sehr geehrter Herr, Formel, mandelig modtager,
Læs mereAlgorithmen für Ad-hoc- und Sensornetze VL 09 Clustering
Algorithmen für Ad-hoc- und Sensornetze VL 09 Clustering Dr. rer. nat. Bastian Katz 24. Juni 2009 (Version 3 vom 6. Juli 2009) Clustering Was ist Clustering und wofür brauche ich das? Selbstorganisation
Læs mereTYSK NIVEAU: E. DATO 10. marts 2015 INDHOLD
CASEEKSAMEN TYSK NIVEAU: E DATO 10. marts 2015 OPGAVE På adr. http://ekstranet.learnmark.dk/eud-eksamen2015/ finder du Opgaven elektronisk Eksamensplan 2.doc - skal afleveres i 1 eksemplar på case arbejdsdagen
Læs merePræsentation af opgaven Tysk fortsættera hhx
Præsentation af opgaven Tysk fortsættera hhx Konference om ny digital skriftlig prøve med adgang til internettet Fredericia den 14.1.2016 Ny eksamensopgave Form 5 timer til at løse opgaven Sammenfatning
Læs mereDanske vejrudsigter i modtagervind
Danske vejrudsigter i modtagervind Global kommunikation i lokalt perspektiv: Når vi ikke taler samme sprog 10. juni 2013 Mette Skovgaard Andersen, lektor, CBS Om undersøgelsen Undersøgelse forløbig Sprogparret:
Læs mereSoul Kitchen Die Bruderbeziehung
Læs citatet fra scene 19 og overvej, hvordan illias i scenen er usikker og forsøger at virke overbevisende. Hvordan viser han det sprogligt? Understreg det i teksten. Illias: Yasu Malaka Zinos: Illias
Læs mereLektion 3. A. Tirsdag den 11.6. Eftermiddag
Lektion 3 A. Tirsdag den 11.6. Eftermiddag I går var Gert i Braunschweig. Da var det mandag. I dag er det tirsdag, og han ligger i en seng i København. I morgen vågner Gert i en fængselscelle, men det
Læs mereINTERREG arrangement om kommunikation og PR. INTERREG Veranstaltung zur Presseund Öffentlichkeitsarbeit
INTERREG arrangement om kommunikation og PR INTERREG Veranstaltung zur Presseund Öffentlichkeitsarbeit 08.09.2010 INTERREG-Sekretariatet / Das INTERREG-Sekretariat Hans-Ulrich Bühring, hubuehring@eanord.de
Læs mereProjekttag des 12. Jahrgangs mit Schülerinnen und Schülern aus Ribe
Projekttag des 12. Jahrgangs mit Schülerinnen und Schülern aus Ribe Im Rahmen der Zusammenarbeit mit der Partnerschule Ribe Katedralskole, wurde am 24.01.2018 ein Sprachtag Deutsch an der FPS-Niebüll abgehalten.
Læs mereTYSK NIVEAU: E. DATO: 7. januar 2015 INDHOLD
CASEEKSAMEN TYSK NIVEAU: E DATO: 7. januar 2015 OPGAVE På adr. http://ekstranet.learnmark.dk/eud-eksamen2015/ finder du Opgaven elektronisk Eksamensplan 2.doc - skal afleveres i 1 eksemplar på case arbejdsdagen
Læs mereRapporten. Note: 45 eksterne deltagere 50 ialt incl. projektmedarbejdere, tolke og hjælper
Rapporten Note: 45 eksterne deltagere 50 ialt incl. projektmedarbejdere, tolke og hjælper Spørgsmål til det afsluttende gruppearbejde. 1. Hvorledes skabes der et samlet overblik over de tyske og danske
Læs mereMindehøjtidelighed Søgaard Lejren i anledning af 75 året for Danmarks besættelse. 9. april 2015.
Mindehøjtidelighed Søgaard Lejren i anledning af 75 året for Danmarks besættelse 9. april 2015. Nimbus Jahrgang 36 machte bei Kronprinzessin Eindruck Kann das Motorrad denn noch fahren?, fragte Kronprinzessin
Læs mereDie Fourier-Projektion einer quadratintegrierbaren Funktion f,
Fourier-Projektion Die Fourier-Projektion einer quadratintegrierbaren Funktion f, p n f = c k e k, c k = f, e k = 1 f (t)e ikt dt, ist die beste Approximation zu f in der durch das Skalarprodukt, induzierten
Læs mereBydelsmødre Et projekt på vej fra Berlin til Danmark
Bydelsmødre Et projekt på vej fra Berlin til Danmark Jan-Christoph Napierski Den Danske Ambassade i Berlin * * * Foredrag i Ministeriet for Flygtninge, Indvandrere og Integration 23. oktober 2007 Berlin-
Læs merehighline med ramme with frame mit rahmen
highline med ramme with frame mit rahmen Hvad er HighLine med ramme? HighLine med ramme er en produktserie bygget omkring det velkendte unidrain system. Udløbshuset og afløbsarmaturet er de samme produkter:
Læs mereTALE PÅ HIROSHIMADAGEN (årsdag for atombombardementet på Hiroshima), afholdt torsdag d. 6. august 2015 kl. 19 på Stehansplatz i Wien
TALE PÅ HIROSHIMADAGEN (årsdag for atombombardementet på Hiroshima), afholdt torsdag d. 6. august 2015 kl. 19 på Stehansplatz i Wien Hvad er vel tallet 70 Hvad vægt har det? Det er en øvelse Du må bare
Læs mereTv-film, ZDF, , 42 min, med danske undertekster.
Titel Tema: Fag: Målgruppe: Rechtsradikalismus, Familie, Freundschaft, Zugehören Tysk 9.-10. klasse QR-kode Fører til posten i mitcfu Alle fotos er fra tv-filmen Tv-film, ZDF, 31.01.2017, 42 min, med danske
Læs mereR bezeichnet. Ein 9HNWRU in diesem Raum ist ein n-tupel, also eine geordnete Liste reeller Zahlen:
*UDSKVFKH'DWHHUDUEHWJ für Vektoren und Matrizen rof. Dr.-Ing. Detlef Krömker *RHWKH8HUVWlWÃUDNIUW *UDSKVFKHÃ'DWHHUDUEHWJ 'HUNOGVFKH5D Ein n-dimensionaler NOGVFKHU5D sei mit R bezeichnet. Ein 9HNWRU in
Læs mere1. sein i nutid (præsens)
Nutid: 1. sein i nutid (præsens) Datid: Ich e - (ingen) Du st st Er/sie/es t - (ingen) Wir en en Ihr t t sie/sie en en Førnutid: er hat ge + stamme + en Ich bin, du bist... 1. Er in der Schule. 2. Wir
Læs merePå dansk: At være anderledes, flugtbilist, flygtning, samvittighed Fag: Tysk Målgruppe: 9.-10. klasse
Fahrerflucht Temaer: Anders sein, Fahrerflucht, Flüchtling, Schuld, Gewissen På dansk: At være anderledes, flugtbilist, flygtning, samvittighed Fag: Tysk Målgruppe: 9.-10. klasse Data om tv-udsendelsen:
Læs mereScreening i tysk. Navn: Kasus Maskulinum Femininum Neutrum Pluralis. das Kind. einem Kind. - dem Mann. dem Kind
Screening i tysk Navn: Vejledning Start med at læse teksten på side 1. Lav herefter de efterfølgende opgaver. Du skal lave alle opgaver. Du har 75 minutter til at lave screeningen. Tilladte hjælpemidler
Læs mereMinigrammatik. Oversigter fra tysk.gyldendal.dk
Minigrammatik Oversigter fra Artikler (kendeord) 1 Artikler danner bestemte eller ubestemte former af substantiver (navneord). De viser også, hvilket køn et substantiv har, om det er ental eller flertal,
Læs mere1. SEIN i nutid (præsens)
1. SEIN i nutid (præsens) 1. Er ist in der Stadt. 2. Wir oft in Österreich. 3. du morgen zu Hause? 4. Jan und Lara im Wald. 5. Das Wetter meistens schön in Italien. 6. Die Familie dieses Jahr in England.
Læs merePower Supply 24V 2.1A
Power Supply 24V 2.1A Strømforsyning 24 V 2,1 A Power Supply 24V 2.1A Stromversorgung 24 V 2,1 A Teknisk brugervejledning Technical User Guide Technische Bedienungsanleitung 2015.04.21 604159 Technical
Læs mereFødevareoplevelser blandt tyske kystturister i Danmark Anette Therkelsen, TRU, Aalborg Universitet
Fødevareoplevelser blandt tyske kystturister i Danmark Anette Therkelsen, TRU, Aalborg Universitet 1. Introduktion 2. Undersøgelsens formål 3. Datagrundlag 4. Resultater o madoplevelsens relative betydning
Læs mereFredagsnyt d. 2. juni, Kære alle. Tillykke til årets konfirmander!
Fredagsnyt d. 2. juni, 2017 Kære alle Tillykke til årets konfirmander! I sidste weekend, på Kr. Himmelfartsdag, blev de sidste af de 13 elever i 7. klasse konfirmeret og sammen de havde en dejlig Blå mandag
Læs merewebbasiertes kollaboratives Konfigurationssystem André Goldflam
webbasiertes kollaboratives Konfigurationssystem André Goldflam Aufbau des Vortrags Szenario Abstrahierung des Szenarios Knowledge Engineering Constraints Computer Supported Collaborative Work (CSCW) Technologie
Læs mereGRÆNSELØBET 2010. Samstag, den 18. September 2010 um 14.00 Uhr 5,4 km & 12 km GRÆNSELØBET 2010
Samstag, den 18. September 2010 um 14.00 Uhr 5,4 km & 12 km ATLETIK & MOTION ANMELDUNG UND INFORMATION: www.grenzlauf.dk VORTRAINING JEDEN MONTAG um 18.00 Uhr bei den Grænsehallerne WILLKOMMEN ZUM GRENZLAUF
Læs mere(15) (3) (15)
18541-1 (18541-15) (18541-3) 18561-1 (18561-15) 18541-1 (15) (3) 18561-1 (15) E x 72 Ø5 x 35 E x 48 Ø5 x 35 C x 6 Revideret december 2011 w w w. p l u s. d k 6 6 Forboring med 3 mm bor max. 30mm dyb Vorbohren
Læs mereDer goldene Westen ÜBERSETZUNG AUFGABEN
Der goldene Westen ÜBERSETZUNG For de fleste borgere i DDR var Vesttyskland»Der goldene Westen«. Man kunne jo købe alt når man havde penge. Man kendte især Vesten fra fjernsynet, og dér så man i reglen
Læs mereProtokoll des Projektgruppentreffens Bus und Bahn am 30. Juni von 09:00 bis 12:00 in Flensburg
Referat fra projektgruppemøde bus og tog den 30. juni 2011 fra kl. 09:00 til 12:00 i Flensborg Protokoll des Projektgruppentreffens Bus und Bahn am 30. Juni von 09:00 bis 12:00 in Flensburg Deltagere:
Læs mereI.V. Methoden 2: Deskriptive Statistik WiSe 02/03
I.V. Methoden 2: Deskriptive Statistik WiSe 02/03 Vorlesung am 02.12.2002 Nothing is good or bad but by comparison. Dr. Wolfgang Langer Institut für Soziologie Martin-Luther-Universität Halle-Wittenberg
Læs mereDas lyrische Ich des Liedes hat an Berlin also schöne Erinnerungen und möchte ja, es muβ - deshalb schon bald wieder dorthin fahren.
Ernst-Ullrich Pinkert Dänen in Berlin Ein berühmter deutscher Schlager aus dem Jahr 1951 hat den Titel Ich hab noch einen Koffer in Berlin. Thema des Liedes ist die Sehnsucht nach Berlin, die besonders
Læs mereDANSK-TYSK KULTURPOLITISK TOPMØDE og underskriftsceremoni Kulturaftale Sønderjylland-Schleswig
DANSK-TYSK KULTURPOLITISK TOPMØDE og underskriftsceremoni Kulturaftale Sønderjylland-Schleswig DEUTSCH-DÄNISCHES KULTURPOLITISCHES SPITZENTREFFEN und Unterschriftenzeremonie Kulturvereinbarung Sønderjylland
Læs mereFeatures des Oracle Warehouse Builder 11gR2
Features des Oracle Warehouse Builder 11gR2 DOAG Konferenz 16.11.2011, Nürnberg Franz von Sales Hohenberg info@ordix.dede www.ordix.de Agenda Grundlagen Klassisches Mapping Anbindung Fremdsysteme Template
Læs mereSprogtilegnelse: Være bevidste om lyttestrategier, herunder lytte efter hovedindhold eller lytte efter væsentlige detaljer
Fag: Målgruppe: Tysk 9.-10- klasse ARD, 2011 år, 90 min. Billederne i vejledningens bilag er fra tv-udsendelsen. Filmen omhandler den unge Liz, som pga. uoverensstemmelser med sin mor er bosat på en kostskole.
Læs mere1.8 Ordstilling i hoved- og bisætninger
5 1.8.4.1 Opgave A Marker hoved- og bisætninger i nedenstående tekst med HS og BS! 1. Muren mellem øst- og vestsektoren i Berlin blev bygget den 13. august 1961. 2. Vestberlinerne og vesttyskerne kunne
Læs mereMr. Adam Smith Smith Plastics 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ
- Adresse Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Amerikansk adresse format: Vejnummer + Vejnavn Bynavn + forkortelse af staten + Postnummer Mr. Adam Smith
Læs mereGrundlagen Software Engineering
GSE: Grundlagen Software Engineering Rational Unified Process () Prof. Dr. Liggesmeyer, 1 Rational Unified Process () Software Entwicklungsprozess Anpassbares und erweiterbares Grundgerüst Sprache der
Læs mereService und Zuvorkommenheit
Service und Zuvorkommenheit Wertbox : Die Zimmer Nr. 52 59, 101 119, 201 214 haben eine Wertbox im Schrank. Den Code bekommen Sie am Empfang gegen eine Gebühr von DKK 25,-. Spielplatz : Der Spielplatz
Læs mere- Vedlæg venligst kopi. - a. Industrielle og kommercielle ejendomsrettigheder inklusive erfaringer og viden (f.eks.
1. eksemplar - til ansøgerens skattemyndighed / Kenn-Nummer Henvisning iht. den tyske lov om databeskyttelse: De rekvirerede data indsamles på grundlag af 149ff. i den tyske afgiftslov. Anmodning iht.
Læs mereNeonweiß. Kopiark 28. Die Jahreszeiten
Kopiark 28 Neonweiß Lyt til sangen og syng med. Skriv, hvilken årstid sangen foregår. Skriv, hvilke ord der bruges til at beskrive årstiden: Neonweiß gießt sich die Sonne übers Eis. Schattenlos eiskalte
Læs mereSommerhuskatten dit ansvar, hvis du fodrer den
Sommerhuskatten dit ansvar, hvis du fodrer den The summer house cat your responsibility if you feed it Die Sommerhauskatze es ist Ihre Verantwortung, wenn Sie sie füttern Sommerhuskatten dit ansvar, hvis
Læs mere1 20 eins zwei drei. 10 tabellen. haben i datid. sein i datid. haben i nutid. sein i nutid. werden i datid. werden i nutid. ich bin. ich habe.
sein i nutid sein i datid haben i nutid haben i datid ich bin ich war ich habe ich du hatte. werden i nutid ich werde werden i datid ich wurde 1 20 eins zwei drei 10 tabellen zehn zwanzig dreißig.. tal
Læs mereINDUSTRIA WHITE TORONTO STOCKHOLM. Montageanleitung Mounting instructions Montagevejledning
INDUSTRIA WHITE TORONTO STOCKHOLM Montageanleitung Mounting instructions Montagevejledning R1 99850 / Rev. 16-04-2012 D Ergänzende Hinweise - zur Montageanleitung Vorbereitung (A) - Etagenhöhe ermitteln
Læs mereUser Guide Bedienungsanleitung Brugervejledning Brukerveiledning Bruksanvisning EFC
User Guide edienungsanleitung rugervejledning rukerveiledning ruksanvisning G D DK N S www.exodraft.com 3001962-10.11 User Guide G How to use the control. 1. Start the chimney fan by pressing the ON/OFF-button
Læs mereWebside score pagespeed.de
Webside score pagespeed.de Genereret Maj 08 2019 12:21 PM Scoren er 75/100 SEO Indhold Titel Pagespeed.de Teste kostenlos den Page Speed deiner Webseite Længde : 61 Perfekt, din titel indeholder mellem
Læs mereLandsholdet. 27. december kl. 14.30 Idrætshallen fri éntre. Med: SdU-landsholdet,
Landsholdet 27. december kl. 14.30 Idrætshallen fri éntre Med: SdU-landsholdet, FC Angeln 02 (Schleswig-Holstein-Liga) TSB Flensburg - ETSV Weiche Flensburg II - IF Tønning - IF Stjernen Flensborg (Verbandsliga)
Læs mereLæg lågen med fronten nedad på et blødt materiale for at beskytte lakken.
Dansk Deutsch Francais - English Varenr. 51075 Udskiftning af pakning ved glas: Pakken indeholder: 1 stk. Pakning Vejledning: Aduro 4 Er pakningerne blevet hårde og utætte kan de skiftes på følgende måde:
Læs merecollection 2007 2008 fredericia.com søren holst Erik Ole Jørgensen
collection 2007 2008 søren holst Erik Ole Jørgensen fredericia.com collection 2007 2008 collection 2007 2008 collection 2007 2008 Børge mogensen hans j. wegner rud thygesen & johnny sørensen nanna Ditzel
Læs mereikg - Interkommunalt erhvervsområde Slesvig- Schuby
ikg - Interkommunalt erhvervsområde Slesvig- Schuby Exposé Nr. 10387 Kontakt Burkhard Otzen 0049 (0)461 99 92-233 otzen@wireg.de Objekt Det interkommunale erhvervsområde Slesvig- Schuby (~Interkommunales
Læs mereAlis Kais Saaed. ABC Allgemeine Geschäftsbedingungen. 1. Allgemeines
ABC Allgemeine Geschäftsbedingungen 1. Allgemeines 1.1 Diese allgemeinen Geschäftsbedingungen gelten für den Verkauf von Stahl ab unserem Lager in Dänemark, es sei denn Anderes ist ausdrücklich vereinbart
Læs mereLOLA RENNT. Et undervisningsforløb til film og bog. Lærervejledning
LOLA RENNT Et undervisningsforløb til film og bog Lærervejledning LOLA RENNT handler om Lola, der løber for livet, nærmere bestemt kæresten Mannis liv. Han skal bruge en masse penge meget hurtigt, ellers
Læs mereBilag III / Anlage III
Bilag III / Anlage III 29.6.2012 MÅL FOR KULTURREGION SØNDERJYLLAND-SCHLESWIG ZIELE FÜR DIE KULTURREGION SØNDERJYLLAND-SCHLESWIG Udvalget for kultur, kontakt og samarbejde har prioriteret nedenstående
Læs mereMAKING MODERN LIVING POSSIBLE. Danfoss Air PC Tool. Installation guide. Danfoss Heating Solutions
MAKING MODERN LIVING POSSIBLE Danfoss Air Tool Installation guide Danfoss Heating Solutions 1. How to connect your to the Installer: Connection by USB cable (standard mini USB cable) USB cable End user:
Læs mereVerbraucherpreisindizes
Verbraucherpreisindizes Wählen Sie ein Jahr: 2019 2019 Jänner 1,8 105,5 116,8 127,9 141,4 148,8 Februar 1,5 105,5 116,8 127,9 141,4 148,8 März 1,8 106,4 117,8 129,0 142,6 150,0 April 1,7 106,5 117,9 129,1
Læs mereZigma
Zigma 185700-15 185700-3 KKU xxv C C E x 12 F x 10 G x 3 H x 8 M8 x 50 Revideret februar 2014 I x 8 M8 J x 138 Ø6 x 35 H x 8 I x 8 H H I I H I 15 116 8 116 8 116 8 56 8 116 8 116 8 116 15 Forboring med
Læs mereAutoren- und Herausgeberverzeichnis Fortegnelse over forfattere og udgivere
Autoren- und Herausgeberverzeichnis Fortegnelse over forfattere og udgivere aus: 1864 Menschen zwischen den Mächten 1864 Mennesker mellem magterne Herausgegeben von / udgivet af Rainer Hering und / og
Læs mereMAGNET KATALOG d e s i g n p r o d u c e d e l i v e r
MAGNET KATALOG design produce deliver MAGNET 0,4 / 0,75MM Flexibler Magnet. 0,4mm = Haftkraft: ca. ein A4-Blatt. 0,75mm = Haftkraft: ca. zwei A4-Blätter. Oval, Rechteckig, Rund, Quadratisch ab 50 Stück
Læs mereKAPSEJLADS/SEGELREGATTA I GULDBORGSUND
8 1 0 2 e c a R Ve g v i s i r KAPSEJLADS/SEGELREGATTA I GULDBORGSUND 23. - 25. AUGUST OVER 100 BÅDE TIL START I NYKØBING FALSTER Sejlads gennem Guldborgbroen Benefit4Regions Dette projekt finansieres
Læs mereSkatteudvalget L 145 - Bilag 13 Offentligt REJSEARBEJDERE. DK
Skatteudvalget L 145 - Bilag 13 Offentligt REJSEARBEJDERE. DK Til skatteminister Kristian Jensen Og Folketingets Skatteudvalg. 16. marts 2006 Kommentar og spørgsmål til Skatteminister Kristian Jensen,
Læs mereReisen Gesundheit. Gesundheit - Notfall. Gesundheit - Beim Arzt. Sagen, dass man in ein Krankenhaus gebracht werden muss
- Notfall Ich muss in ein Krankhaus. Jeg er nødt til at skal på sygehuset. Sagen, dass man in ein Krankenhaus gebracht werden muss Mir ist übel. Jeg føler mig dårlig. Ich muss sofort zu einem Arzt. Um
Læs mereSelbsterklärung des Prüfers über Qualifizierung und Zulassung durch Interreg-Administration
Selbsterklärung des Prüfers über Qualifizierung und Zulassung durch Interreg-Administratin im Rahmen der 1st-Level-Kntrlle für Begünstigte (Prjektpartner und Leadpartner) - siehe Merkblatt Anfrderungen
Læs mereUlrike Fellien. Abstrakte Kunst / abstrakt kunst / abstract art
Ulrike Fellien Abstrakte Kunst / abstrakt kunst / abstract art Es ist Nacht. Alles schläft. Wenn andere träumen, greife ich zum Pinsel und versinke in meiner (Traum-)Welt. Völlig stressfrei gebe ich mich
Læs mereTextmining Einführung und Übersicht
Textmining Einführung und Übersicht Dept. Informatik 8 (Künstliche Intelligenz) Friedrich-Alexander-Universität Erlangen-Nürnberg (Informatik 8) Textmining Einführung 1 / 10 Textmining Kurzfassung Gigantische
Læs mereAnhänge der VO (EG) Nr. 883/04. Bilag til forordning (EF) nr. 883/04. Emneblad nr. 6 / Themenblatt Nr. 6. - Danske og tyske særbestemmelser -
Emneblad nr. 6 / Themenblatt Nr. 6 Padborg, 22.08.2011 Bilag til forordning (EF) nr. 883/04 - Danske og tyske særbestemmelser - Anhänge der VO (EG) Nr. 883/04 - Die dänischen und deutschen Sonderbestimmungen
Læs mereKABELPARK - 1 ½ Stunden Wasserski-Intro Montag-Mittwoch: Jeder kann auf Wasserskiern stehen! Falls Sie es nicht können, werden Sie es lernen!
Buchungsinformation KABELPARK - 1 ½ Stunden Wasserski-Intro Montag-Mittwoch: Jeder kann auf Wasserskiern stehen! Falls Sie es nicht können, werden Sie es lernen! Nach dem Aufwärmen und einer kurzen Einführung
Læs mereAnsøgning Reference Brev
- Åbning Kære Hr., Formel, mandelig modtager, navn ukendt Kære Fru., Formel, kvindelig modtager, navn ukendt Kære Hr./Fru., Formel, modtager navn og køn ukendt Sehr geehrter Herr, Sehr geehrte Frau, Sehr
Læs mereAnsøgning om bistand i henhold til den østrigske lov om ofre for forbrydelser (VOG)
An das Bundessozialamt Babenbergerstraße 5 A-1010 Wien mail: bundessozialamt@basb.gv.at Antrag auf Gewährung von Hilfeleistungen nach dem österreichischen Verbrechensopfergesetz (VOG) Die Angaben sind
Læs mereerkstatt LIKÖRE SELBST HERST avour of lemon & juniper GIN TA reativ W e fl enkitzel LIKÖR- & DE Ist doch alles Käse! KÄSE
Kreativ Werkstatt LIKÖRE SELBST HERSTELLEN The flavour of lemon & juniper GIN TASTING Ist doch alles Käse! KÄSE & LIKÖR Doppelte Verführung! SCHOKOLADE & DESTILLAT Gaumenkitzel LIKÖR- & DESTILLATPROBE
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Maj/juni 2011 Institution ZBC Næstved Uddannelse Fag og niveau Lærer(e) Hold HHX Tysk niveau B Thomas Steenbjerg
Læs mere1 Kann ein in Dänemark arbeitender Grenzpendler mit Wohnsitz in Deutschland in Deutschland uneingeschränkt die Leistungen seiner Krankenversicherung in Anspruch nehmen, auch wenn der dänische Arbeitgeber
Læs mereMARSTAL - ÆRØSKØBING - SKOVBY - SØBY
0 0 MARSTAL - ÆRØSKØBING - SKOVBY - SØBY Stoppesteder Bus stops Haltestellen Marstal - Reberbanen Bakkevej / Ronæsvej Bymarksvej Ærøskøbing Havn Tranderupvej Vindeballe Vesterløkke Øster Bregninge Ø. Bregninge
Læs merewww.weinsberg.com simple clever smart S/DK/NO
www.weinsberg.com simple clever smart 2011 2012 S/DK/NO CaraBus Wer braucht schon Fahrplan und Haltestelle? Hvem har brug for en køreplan? Og stoppesteder? Wer braucht schon Fahrplan und Haltestelle? CaraBus
Læs mereInformation vedrørende tysk ejendomsforbehold
Information vedrørende tysk ejendomsforbehold Når I som virksomhed sælger på kredit til tyske virksomheder, skal I være opmærksom på, at det samlede udestående ofte helt må afskrives, hvis en køber går
Læs mereLæringsmål: Ordforråd, kulturforståelse, kommunikative opgaver, grammatik.
Til læreren Niveau: udskoling Fag: Tysk Læringsmål: Ordforråd, kulturforståelse, kommunikative opgaver, grammatik. Værk: Der gestiefelte Kater, ARD 2009 (kan streames/lånes på MitCFU) 60 min. Spillefilmsudgave
Læs mereGeräte Küvette λ Messbereich. Multiküvette,Typ
Chlor HR PP a) 0.1-8 mg/l Cl 2 DPD 111 CL8 Instrumentspezifische Informationen Der Test kann auf den folgenden Geräten durchgeführt werden. Zusätzlich sind die benötigte Küvette und der Absorptionsbereich
Læs mereLeuchtturm: Tønder Kommune
Fyrtårn: Tønder Kommune Leuchtturm: Tønder Kommune Titel: Tønder Festival Handleplan: Tønder Festival er valgt som Tønder Kommunes Kulturelle Fyrtårn i Kulturaftale Sønderjylland-Schleswig i 2015. Tønder
Læs mereLübecker Weihnachtsmarkt
Lübecker Weihnachtsmarkt Was? Lübecker Weihnachtsmarkt Wann? 3. Dezember 2015 von 7.30 Uhr bis 21.00 Uhr Wo? Treffpunkt: Skolen på la Cours vej Læringsmål 1. At få et indblik i den tyske julekultur og
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin maj-juni 2018/19 Institution Gymnasiet HHX Ringkøbing, Uddannelsescenter Ringkøbing-Skjern Uddannelse Fag
Læs mereBeskrivelse af det enkelte undervisningsforløb (1 skema for hvert forløb)
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Juni 13 Institution Tradium Uddannelse Fag og niveau Lærer(e) Hold Hhx Tysk fortsættersprog, niveau B GWE/ANJ
Læs mereAlgorithmen für Ad-hoc- und Sensornetze
Algorithmen für Ad-hoc- und Sensornetze VL 02 Georouting Dr. rer. nat. Bastian Katz 29. April 2009 (Version 3 vom 30. April 2009) 2/ 39 Geographisches Routing Geographisches Routing Knoten kennen ihre
Læs mereSoftware-Test: Strukturtest
0/43 Software-est: Strukturtest Andreas Zeller Lehrstuhl Softwaretechnik Universität des Saarlandes, Saarbrücken Welche estfälle auswählen? 1/43 Ich kann nur eine beschränkte Zahl von Läufen testen welche
Læs mereE-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss
E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss Brugervejledning (side 2-6) Userguide (page 7-11) Bedienungsanleitung (Seite 12 16) 1 - Hvordan forbinder du din E-PAD hængelås
Læs mereFlensborg Yacht Club byder jer velkommen/ heißt euch willkommen. Sejlads. Segeln. Fællesskab. Gemeinschaft. Spiel und Spaß.
Flensborg Yacht Club byder jer velkommen/ heißt euch willkommen Sejlads Fællesskab Lege og sjovt Segeln Gemeinschaft Spiel und Spaß Velkommen til Flensborg Yacht Club`s sommerlejr Velkommen På vegne af
Læs mereRejse Almen. Almen - Essentielle. Almen - Samtale. At spørge efter hjælp. At spørge efter om en person snakker engelsk
- Essentielle Können Sie mir bitte helfen? At spørge efter hjælp Sprechen Sie Englisch? At spørge efter om en person snakker engelsk Können Sie mir bitte helfen? Sprechen Sie Englisch? Sprechen Sie _[Sprache]_?
Læs mereNaturparker & friluftsliv - et case fra Tyskland. Keld Buciek
Naturparker & friluftsliv - et case fra Tyskland Keld Buciek HH De tre hovedtyper tyske parker: Nationalparke sind Ruheräume der Natur und Erholungsräume für den Menschen, die letzten Landschaften Deutschlands,
Læs mereLisbet Mikkelsen Buhl & Anke Tästensen
Lisbet Mikkelsen Buhl & Anke Tästensen University College Syddanmark Deutscher Schul- und Sprachverein für Nordschleswig Dansk Skoleforening for Sydslesvig at udvikle og formidle faglig og pædagogisk kompetence
Læs mereDen nye mundtlige eksamensform
Den nye mundtlige eksamensform Oplæg med udgangspunkt i praksiserfaring fra Vintereksamen 2017 FIP-kurser i tysk 2018 Indhold Del 1: Oplæg - Tysk på Københavns VUC i efteråret 2017 - Erfaringer med Vintereksamen
Læs mere30.09.2011. Fælggodkendelser
Fælggodkendelser TÜV godkendelse Hvad er TÜV? TÜV er en uafhængig anerkendt instans, der har hjemmel til at udstede certifikater om en given kvalitet på stort set alt, lige fra medicinsk udstyr, elektriske
Læs mere