Gert Smolka Universität des Saarlandes 28. Januar 2008
|
|
- Camilla Ibsen
- 5 år siden
- Visninger:
Transkript
1 Was ist Logik? Gert Smolka Universität des Saarlandes 28. Januar 2008
2 Logik ist die Lehre des vernünftigen Schlussfolgerns. Logik untersucht die Gültigkeit von Argumenten hinsichtlich ihrer Struktur unabhängig von ihrem konkreten Inhalt. Logik ist sowohl ein Teilgebiet der Philosophie als auch der Mathematik und der Informatik. Nach Wikipedia
3 Aristoteles vor Chr.
4 Philosophische Logik Aristoteles, vor Chr. Mathematische Logik George Boole, Laws of Thought 1854 Gottlob Frege, Begriffsschrift 1879 Georg Cantor, Mengenlehre 1895 Bertrand Russell, Typen1910 Kurt Gödel, Unvollständigkeit 1931 Alonzo Church, Lambda-Kalkül 1932 Gerhard Gentzen, Gentzen-Kalküle 1935 Alan Turing, Turing-Maschinen1936 Computationale Logik
5 Aussagen x N y N. x y z N. x + z = y Quantoren, Junktor Namen x, y, z,, + Typen N, B
6 Boole und De Morgan x x = x x (x y) = x (x y) = x y : B B : B B B B={F, T}
7 George Boole
8 Augustus De Morgan
9 Frege, Church : (X B) B f = (f = λx.t) x.s := (λx.s) ( x.fx gx) = ( x.fx) ( x.gx) ( x.fx) = ( x. fx)
10 Gottlob Frege
11 Frege benutzte graphische Notation
12 Alonzo Church
13 Fragen Wie sieht eine minimale logische Sprache aus? Wie sehen Beweisregeln für diese Sprache aus? Wie konstruiert man Beweise mit einem Computer?
14 Terme s,t ::= x s=t s t λx.s x Name
15 Typen σ, τ ::= ξ B σ τ ξ Sorte
16 Typconstraints Jeder Name hat einen fixen Typ s : σ t : σ s : στ t : σ s = t : B st : τ x : σ s : τ λx. s : στ
17 Logische Operationen sind mit Gleichheit ausdrückbar F := ((λxy.x)=(λxy.y)) := λx. x=f T := F := λf. f=λx.t := λf. x. fx := λxy. f. fxy=ftt := λxy. ( x y) := λxy. x y
18 León Henkin,
19 Leibnizsches Gesetz (x=y) = ( f. fx fy) Statt mit Gleichheit kann man auch mit und anfangen
20 Gottfried Wilhelm von Leibniz
21 Mengen sind ausdrückbar Teilmenge von X kann durch Funktion X B dargestellt werden {x x 2 >3x} ==> λx. x 2 >3x x s ==> sx s t ==> λx. sx tx
22 Georg Cantor
23 Russellsche Antinomie Cantor glaubte, dass {x x x} existiert Russell zeigte, das diese Annahme inkonsistent ist ω = λx. (xx) ωω = (ωω) Typen eliminieren das Problem, da xx nicht wohlgetypt ist Inkonsistenz findet sich auch in Freges Begriffsschrift und in Churchs ungetyptem Lambda-Kalkül
24 Bertrand Russell
25 Guiseppe Peano
26 Zahlen sind ausdrückbar 0: N S: NN x. Sx 0 xy. Sx=Sy x=y f. f0 ( x. fx f(sx)) x.fx y. 0+y = y xy. Sx+y = x+sy
27 Russells Satz f:σσb. x. y. fxy = fyy Rasierproblem σ fxy Männer in einem Dorf x rasiert y Mengenproblem σ fxy Mengen y x Halteproblem σ fxy Prozeduren x terminiert für y
28 Turings Satz Es gibt keine Prozedur, die entscheidet, ob eine Prozedur für ein bestimmtes Argument terminiert
29 Alan Turing
30 Beweisregeln s t s t s = t C[ s] C[ t] Modus Ponens Ersetzung s s x t Einsetzung
31 Gültige Formeln als Ausgangspunkte s st st s s = ( s F ) ( s t) = ( t s) Beweis durch Widerspruch Kontraposition x ( λ x. s) t = s t Beta-Konversion
32 Gerhard Gentzen
33 Sequenzen und Rückwärtsstrategie Beweisregeln für Sequenzen statt für Formeln Sequenz s 1,, s n t besteht aus n Annahmen und einer Behauptung Rückwärtsanwendung der Beweisregeln A, t F A t A, sx t x neu A, s t A, s1 t A, s2 t A, s s t 1 2 A s A, s t A t
34 Beweis von Turings Satz f. x. y. fxy= fyy f. x. y. fxy= fyy f. x. y. fxy= fyy y. fxy= fyy fxx= fxx durch Wid. De Morgan ext. Zeugen y:=x F
35 Beweis von Cantors Satz f:σσb. g. x. fxg=g f. g. x. fx=g g. x. fx=g x. fx=λx. fxx fy=λx. fxx fyy=(λx. fxx)y fyy= fyy F durch Wid. Neg, ex. Zeuge g=λx. fxx ex. Zeuge Funktion Beta
36 Beweiser Softwaresysteme, mit denen formale Beweise geführt werden können Interaktiv: Isabelle, Coq, Vollautomatisch: Spass, Vampire, Beweiser werden eingesetzt, um Sicherheitseigenschaften von Computersysteme zu verifizieren Mit Beweisern geführte Beweise sind garantiert korrekt
37 Gödels Unvollständigkeitssatz Es gibt kein endliches Beweissystem, mit dem alle gültige Formeln für z.b. die natürlichen Zahlen abgeleitet werden können. Ab und zu braucht man neue Beweisregeln Enger Zusammenhang mit Turings Satz
38 Kurt Gödel
39 Diät-Beispiel 1. Wenn ich kein Bier zu einer Mahlzeit trinke, esse ich immer Fisch 2. Ich verzichte auf Eis, wenn ich Bier trinke und Fisch esse 3. Wenn ich Eis esse oder kein Bier trinke, dann esse ich keinen Fisch 1. bx fx 2. bx fx ex 3. ex bx fx Äquivalent zu bx (fx ex)
40 Zusammenfassung Logische Operationen können als Funktionen beschrieben werden Logische Sprachen sind einfache funktionale Sprachen Für logische Sprachen können Beweisregeln formuliert werden Formale Beweise kann man mit dem Computer führen und validieren Logik braucht man immer dann, wenn es um Sprache geht Logik ist eine der wichtigsten Grundlagen der Informatik
Termersetzungssysteme Vorlesung 3
Termersetzungssysteme Vorlesung 3 Stephan Falke Verifikation trifft Algorithmik Karlsruher Institut für Technologie (KIT) 14.06.2010 Stephan Falke (VeriAlg) Termersetzungssysteme Vorlesung 3 14.06.2010
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 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 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 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 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 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 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 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 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 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 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 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 mereRejse At Spise Ude. At Spise Ude - Ved Indgangen. At Spise Ude - At bestille mad
- Ved Indgangen Jeg vil gerne bestille et bord til _[antal af mennesker]_ til _[tidspunkt]_. At lave en reservation Et bord til _[antal af mennesker]_, tak. At spørge efter et bord Tager I imod kreditkort?
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 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 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 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 mereAntrag auf Fördermittel für ein kultkit-mikroprojekt/ Ansøgning omtilskud til et kultkit mikroprojekt
Antrag auf Fördermittel für ein kultkit-mikroprojekt/ Ansøgning omtilskud til et kultkit mikroprojekt 1. Titel des Projekts / Projekttitel 2a) Verantwortlicher Partner in Deutschland/ Ansvarlig partner
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 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 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 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 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 mereGothic, Sportler oder Hip-Hop?
Kopiark 3 Gothic, Sportler oder Hip-Hop? Gå rundt i klassen og find en partner. Stil et spørgsmål. Din partner svarer, hvis han kan, og du skriver svaret på dit ark. Din partner tjekker og underskriver.
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 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 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 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 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 mereKompetencer interaktion forståelse Kompetenz Interaktion Verständnis. kultkit-kickoff 28. 11. 2015. Rønnebæksholm Næstved
Kompetencer interaktion forståelse Kompetenz Interaktion Verständnis kultkit-kickoff 28. 11. 2015 Rønnebæksholm Næstved Velkomst Begrüßung Linda Frederiksen Kulturudvalgsformand i Næstved Kommune Vorsitzende
Læs mereWeinachten - jul Deutsch anfänger - tysk begynder
Weinachten - jul Deutsch anfänger - tysk begynder MÅL: At styrke mit ordforråd i tysk At kunne lave en quiz om jul på tysk At kunne skrive og indtale en samtale om jul på tysk INDHOLD: Indhold 4 Find juleord
Læs mereSlægtsforskning i Tyskland
Slægtsforskning i Tyskland Hvis man ikke har fødselssted og dato fra folketællinger, kan de måske findes i pasprotokoller. Når man har fødselsstedet og fødselsdatoen man søge i: http://www.familysearch.org/eng/default.asp
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 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 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 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 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 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 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 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 mereJeg skal have en kop kaffe.
Jeg skal have en kop kaffe. Getränke und Speisen auswählen; im Café etwas bestellen; über den Geschmack von Getränken und Speisen sprechen 1 På café a) Hvad kalder man drikke- og madvarerne på dansk? Hvad
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 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 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 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 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 mereJeg skal have en kop kaffe. Erläuterungen
Jeg skal have en kop kaffe. Erläuterungen KB 1 5 Die unbestimmten Artikel Im Dänischen gibt es zwei unbestimmte Artikel: en und et. Welchen Artikel man verwendet, hängt vom Geschlecht des jeweiligen Substantivs.
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 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 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 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 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 mereAngepasst mehrsprachig. Die Verhandlung sprachlicher Normen bei Jugendlichen. Birte Dreier Roskilde Universitet bdreier@ruc.dk
Angepasst mehrsprachig. Die Verhandlung sprachlicher Normen bei Jugendlichen. Birte Dreier Roskilde Universitet bdreier@ruc.dk Gliederung Das Amagerprojekt Untersuchungsmaterial Was ist Sprache? Normen
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 mereGödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige Folkeuniversitetet i København, efteråret 2009 Thomas Bolander, FUKBH 09 s. 1/27 Gödels første ufuldstændighedssætning
Læs mereBESTYRELSESMØDE - REFERAT BENNIKSGAARD GOLFKLUB
BESTYRELSESMØDE - REFERAT BENNIKSGAARD GOLFKLUB DATO: 20-02-2017 DELTAGERE: Finn Nielsen(FN), Rene Klausen(), Jørgen Nøhr(JN), Bettina Enemark(BE), Kirsten Palmgren(KP), Jens Enemark (JE), Flemming Kehlet(FK).
Læs mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Institution Uddannelse Fag og niveau Lærer(e) Hold Maj-juni 2018/2019 Gymnasiet HHX Ringkøbing, Uddannelsescenter
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 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 mereGödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige 2 Folkeuniversitetet i København, efteråret 2011 Thomas Bolander, FUKBH 11 s. 1/21 Gödels ufuldstændighedssætning
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 mereUndervisningsbeskrivelse
Undervisningsbeskrivelse Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin Maj-juni 2012 Institution Handelsskolen Silkeborg Uddannelse Fag og niveau Lærer Hold hhx Tysk fortsættersprog
Læs mereUdvalgsaksiomet. Onsdag den 18. november 2009
Udvalgsaksiomet Onsdag den 18. november 2009 Eksempler Fourier udvikling af f(x)=x 4 3 5 10 2 1 1 2 0 1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 1 2 3 4
Læs mereUndervisningsplan. Stamoplysninger til brug ved prøver til gymnasiale uddannelser. Oversigt over forløb
Undervisningsplan Stamoplysninger til brug ved prøver til gymnasiale uddannelser Termin maj-juni 2014 Institution IBC Fredericia Uddannelse Fag og niveau Lærer(e) Hold hhx Tysk A Susanne Krarup Schrøder
Læs mereTorben Recke. Kære selvstuderende i: (fag/niveau) Herunder ser du et forslag til materiale, der kan udgøre dit eksaminationsgrundlag.
Kære selvstuderende i: (fag/niveau) Herunder ser du et forslag til materiale, der kan udgøre dit eksaminationsgrundlag. Jeg træffes efter aftale På mailadressen: tt@kvuc.dk Eller telefonnr.: Med venlig
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 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 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 mereLJM s cylinder program kan også fås med enten indbyggede pilotstyrede kontraventiler eller overcentreventiler.
Indbyggede ventiler LJM s cylinder program kan også fås med enten indbyggede pilotstyrede kontraventiler eller overcentreventiler. Pilotstyret kontraventil Overcentreventil eller lastholdeventil. * Enkelt-
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 mere1 Hjemme - Substantiver P
1 Hjemme - Substantiver P Opgave Find den rigtige substantivform i singularis ubestemt og pluralis ubestemt. -e Singularis ubestemt Pluralis ubestemt 1a) Rasmus har. 1b) Mie har to. 2a) Peter ser. 2b)
Læs mereHovedudsagnsord i datid
Hovedudsagnsord i datid Hvis du engang før har skullet lære at bøje tyske udsagnsord i datid, har du måske lært, at der fandtes "svage" og "stærke" verber, som i datid havde hver sit sæt endelser, som
Læs mereUndervisningsbeskrivelse tysk A 2014/2015
Undervisningsbeskrivelse tysk A 2014/2015 Termin Juni 2015 Institution Handelsgymnasiet Silkeborg Uddannelse HHX Fag og niveau Tysk A fortsættersprog Lærer(e) Hold Susanne Troensegaard Ht3tya14 Undervisningsforløb
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 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 mereÅrsplan for Tysk i 8. klasse for skoleåret 2013-14
Materiale: Tekstbog: Alles Klappt! 2, Forlag Gyldendal Arbejdsbog: Alles Klappt! 2, Forlag Gyldendal Tysk Øvehæfte 3: Forlaget Sprogbøger Film: Operation Walkyrie Sophie Scholl Lærer: Eva Suhr Årsplan
Læs merePROFESSIONELLEHYGIENE
PROFESSIONELLEHYGIENE WirerforschenLösungen DIEBESTEHYGIENEFÜRNUTZTIERE ÜBERDESTEK Destek ProfessioneleHygiene DestekisteindänischesProduktions-undHandelsunternehmen,dasim Juni2002gegründetwurde. DieEigentümersindJackieB.MahlertundRobertFalkenstrøm.Mitdem
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 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 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 mereKrankheitspolitik (Stand Januar 2019)
Krankheitspolitik (Stand Januar 2019) Krankheitspolitik für die Kinder des Dänisch- Deutschen Kinderhauses. Wenn euer Kind in einem neuen Kinderhaus- insbesondere in der Krippe- anfängt, ist es höchstwahrscheinlich
Læs mereKursus- og servicehefte
Kursus- og servicehefte 1 Kurser/tilbud SSWs servicetilbud Kursuskalender 2013 Orientering til SSWs kommunalpolitikere For os i Sydslesvig. 2 Kære kursister! Igen har SSW-Landsforbundet den glæde at kunne
Læs mereDer erste Schultag
Der Nordschleswiger www.nordschleswiger.dk Artikel Der erste Schultag Die Lehrerinnen Pia Frank (l.) und Gabriele Ferg (r.) mit den Nulltkla sslern: hinten v. l.: Mikkel Markus Houlberg Andersen, Victoria
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 mereUndervisning med samarbejdsstrukturer Cooperative Learning, Jette Stenlev/Spencer Kagan, Alinea 2009
Schmeckt s gut? Et undervisningsforløb til tysk, 7.-8.klasse Undervisningsforløbet tager udgangspunkt i materialer fra CFU s udlånssamling suppleret med enkelte tekster /opgaver fra materiale på infosamlingen.
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 merewww.cfufilmogtv.dk Tema: Das Wetter Fag: Tysk Målgruppe: 8.-10. klasse Titel: Das Wetter Vejledning Lærer/elev
Das Wetter ZDF, 2010, 5 min. Billedet er fra tv-udsendelsen. Indholdsbeskrivelse: Tysk vintervejrudsigt. Emneord: Das Wetter, die Wettervorhersage, der Wetterbericht Overordnet mål at kunne forstå og videreformidle
Læs mereHerunder ser du et forslag til materiale, der kan udgøre dit eksaminationsgrundlag.
Kære selvstuderende i: Tysk B Herunder ser du et forslag til materiale, der kan udgøre dit eksaminationsgrundlag. På mailadressen: tt@kvuc.dk Med venlig hilsen Torben Recke Eksaminationsgrundlag for selvstuderende
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 mereBliv medlem af en af de danske menigheder tilknyttet. Dansk Kirke i Sydslesvig
Dansk Kirke i Sydslesvig Bliv medlem af en af de danske menigheder tilknyttet Dansk Kirke i Sydslesvig HVILKEN MENIGHED? Spørg præsten i det område, hvor du bor. Adresse: se adresselisten side 5. HVORDAN
Læs mereVorwort // Forord. Die Jahresuhr mit Professor Dr. ABC. Året rundt med Professor dr. ABC. Impressum // Kolofon
MaleB Vorwort // Forord Die Jahresuhr mit Professor Dr. ABC Frühling, Sommer, Herbst, Winter. Erst hat der Professor Dr. ABC seine Wintermütze auf, dann trägt er Badehosen und plötzlich braucht er wieder
Læs mereBjælkesko Type U. Beam shoes Type U. Balkenschuhe Typ U DK UK D
DK UK D Anvendelse: Bjælkesko anvendes til samling af bjælker og bjælkelag i samme plan, såvel træ mod træ, som træ mod beton eller murværk. Beslagene: Er udført i 2 mm varmforzinket stålplade og forsynet
Læs mereRejse Almen. Almen - Essentielle. Almen - Samtale. At spørge efter hjælp. At spørge efter om en person snakker engelsk
- Essentielle Kan du hjælpe mig, tak? At spørge efter hjælp Snakker du engelsk? At spørge efter om en person snakker engelsk Können Sie mir bitte helfen? Sprechen Sie Englisch? snakker du _[language]_?
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 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 mere14. Forholdsord med dativ
ØVELSE 5 Lav sætninger efter følgende mønster. (Husk at aus og bei styrer dativ!) ❿ Ich - die Schweiz - ein Rechtsanwalt. Ich stamme aus der Schweiz und arbeite bei einem Rechtsanwalt. 1. Jochen - das
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 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