Logik für Informatiker
|
|
- Christian Nyberg
- för 5 år sedan
- Visningar:
Transkript
1 Logik für Informatiker Vorlesung 7: Resolution Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca 16. November /47
2 ZUSAMMENFASSUNG Algorithmische Entscheidung ob eine Formel erfüllbar oder unerfüllbar ist. DPLL, GSAT, WALKSAT, Markierungsalgorithmus für Hornformeln. Weshalb? Mit welchem Ziel? 2/47
3 ZUSAMMENFASSUNG Algorithmische Entscheidung ob eine Formel erfüllbar oder unerfüllbar ist. DPLL, GSAT, WALKSAT, Markierungsalgorithmus für Hornformeln. Weshalb? Mit welchem Ziel? Industrie Anwendung: KI, Industrie 4.0 Lösen von NP-vollständige Probleme in technische Anwendungen: Stichwort sehr großer Suchraum. Die Logikschaltungen, aus denen die Computern bestehen, sind elektronische Implementierungen der Logik. 2/47
4 ANWENDUNGEN DER LOGIK 3/47
5 ANWENDUNGEN Ein Prozessor (wie in Ihrem Computer oder Mobiltelefon oder in jedem nicht-trivialen elektronischen Gerät) ist nur ein großer Satz, der in der Aussagenlogik geschrieben ist. Weitere Anwendungen: Programmieren Die merge Phase des merge sort Algorithmus: Mergesort betrachtet die zu sortierenden Daten als Liste und zerlegt sie in kleinere Listen, die jede für sich sortiert werden. Die sortierten kleinen Listen werden dann im Reißverschlussverfahren zu größeren Listen zusammengefügt (engl. (to) merge), bis wieder eine sortierte Gesamtliste erreicht ist. Das Verfahren arbeitet bei Arrays in der Regel nicht in-place, es sind dafür aber (trickreiche) Implementierungen bekannt, in welchen die Teil-Arrays üblicherweise rekursiv zusammengeführt werden. Verkettete Listen sind besonders geeignet zur Implementierung von Mergesort, dabei ergibt sich die in-place-sortierung fast von selbst. 4/47
6 MERGE-SORT ALGORITHMUS Das Befehl if q = k or (p not= j and B[p] < B[q]) then (A[r] := B[p]; p:=p+1) else (A[r] := B[q]; q:=q+1) reduziert sich auf: Gegeben not(p and Q) zeige not( Q or (not P and R)) = (P or (not Q and not R)) 5/47
7 KLAUSELMENGEN 6/47
8 : IDEE Beobachtung Prüfen auf Allgemeingültigkeit kann auf Prüfen von Unerfüllbarkeit zurückgeführt werden. Formel φ allgemeingültig gdw. φ unerfüllbar. Resolution: Idee Methode, um Unerfüllbarkeit einer Formel φ zu prüfen. Idee: Leite aus φ neue Formeln ab, die aus φ logisch folgen. Wenn leere Klausel abgeleitet werden kann, dann ist φ unerfüllbar. 7/47
9 SKALKÜL 8/47
10 BEISPIEL 9/47
11 BEISPIEL 10/47
12 BEISPIEL 11/47
13 BEISPIEL 12/47
14 BEISPIEL 13/47
15 BEISPIEL 14/47
16 BEISPIEL 15/47
17 BEISPIEL 16/47
18 BEISPIEL 17/47
19 BEISPIEL 18/47
20 BEISPIEL 19/47
21 BEISPIEL 20/47
22 BEISPIEL 21/47
23 BEISPIEL 22/47
24 : BEMERKUNGEN Vorsicht bei Klauseln mit mehreren Resolutionsmöglichkeiten Zwei Klauseln können mehr als eine Resolvente haben z.b.: {A, B} und { A, B} {A, B, C} und { A, B, D} haben NICHT {C, D} als Resolvente Heuristik: Immer möglichst kleine Klauseln ableiten! 23/47
25 SREGEL GRAPHISCHE DARSTELLUNG 24/47
26 SVERFAHREN 1 Starte mit Klauselmenge C 2 Wähle Elternklauseln E 1, E 2 aus C 3 Füge Resolvente R zur Klauselmenge C hinzu: C := C {R} 4 Iteriere die obigen Schritte solange bis: Keine neue Resolvente mehr herleitbar, oder C enthält die leere Klausel. 25/47
27 BEISPIEL 26/47
28 BEISPIEL 27/47
29 RESOLVENTE 28/47
30 RESOLVENTE 29/47
31 RESOLVENTE 30/47
32 BEISPIEL 31/47
33 BEISPIEL 32/47
34 KORREKTHEIT UND VOLLSTÄNDIGKEIT 33/47
35 KORREKTHEIT 34/47
36 KORREKTHEIT Theorem (Korrektheit) Für eine Menge M von Klauseln gilt: Falls wir aus M mit Hilfe des Resolutionsverfahrens das Falsum herleiten können, so ist M unerfüllbar. Beweis: 1 Wir zeigen, dass falls C Res (M), so M M {C}. (M {C}: Notation für M C.) 2 Es folgt, dass falls aus M Falsum herleitbar ist, so ist in der Resolvente von M, d.h. M M { }. 3 Aber M { } ist unerfüllbar, deshalb ist auch M unerfüllbar. 35/47
37 KORREKTHEIT 36/47
38 KORREKTHEIT 37/47
39 VOLLSTÄNDIGKEIT 38/47
40 VOLLSTÄNDIGKEIT 39/47
41 VOLLSTÄNDIGKEIT 40/47
42 VOLLSTÄNDIGKEIT 41/47
43 VOLLSTÄNDIGKEIT 42/47
44 VOLLSTÄNDIGKEIT 43/47
45 VOLLSTÄNDIGKEIT 44/47
46 VOLLSTÄNDIGKEIT 45/47
47 TERMINIERUNG 46/47
48 TERMINIERUNG 47/47
Metallmaßstäbe RL. Inhaltsverzeichnis
Metallmaßstäbe RL Inhaltsverzeichnis Metallmaßstäbe RL 2 Technische Daten für Metallmaßstäbe RL 3 RL-100-1 3 RL-100-1-LED 4 RL-100-2 4 RL-100-2-LED 5 RL-212-1 5 RL-212-1-LED 6 RL-212-2 6 RL-212-2-LED 7
Läs merAkademiker Öppning. Öppning - Introduktion. I denna uppsats kommer jag att undersöka/utreda/utvärdera/analysera...
- Introduktion I denna uppsats kommer jag att undersöka/utreda/utvärdera/analysera... Allmän öppning för en uppsats/avhandling In diesem Aufsatz / dieser Abhandlung / dieser Arbeit werde ich... untersuchen
Läs merNachrichten auf Deutsch
SÄNDNINGSDATUM: 20130316 Nachrichten auf Deutsch 16. März 2013 Fragen zu den Nachrichten Pass 1. Wofür müssen sich 3.300 junge Menschen in Deutschland entscheiden? a) Für einen Sprache. b) Für einen Pass.
Läs mer301 Tage, Deutschland
301 Tage, Deutschland Die Familie 300 und 1 Tag, Deutschland! Hejsan, jag heter Elin Vorbrodt och jag bor i den lilla staden Blosswitz som ligger här i Tyskland och jag går och pluggar på ett gymnasium
Läs merPPV-Serie. DIN Axialkolben Verstellpumpe für LKW Nebenabtrieb mit Load Sensing-Regler. Erstinbetriebnahme: Saugstutzen muß separat bestellt werden
IN AxialkolbenVerstelllpumpen ruckregler Anfang IN Axialkolben Verstellpumpe für LKW Nebenabtrieb mit Load Sensing-Regler PPV-Serie PPV PPV 9 - PPV11 Födervolumen in cm³/u linksdrehend rechtsdrehend auerdruck
Läs merLogik für Informatiker
Logik für Informatiker Vorlesung 6: Normalformen Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 10. November 2016 1/65 MOTIVATION FÜR AUSSAGENLOGIK Aussagenlogik
Läs merTürkisch für Anfänger
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Ideenkiste (auf Deutsch) 3. om serien (på svenska) 4. Basarbetsblad (på svenska) 5. Theater spielen 1. Vokabeln zur Sendung verklemmt Du Penner!
Läs merTYSKA. Mango, das Zebra. Baby-Tiere. Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Aufgaben zur Sendung 3. Lösungen ARBETSBLAD 2007/08
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Aufgaben zur Sendung 3. Lösungen 1. Vokabeln zur Sendung trocken beginnen die Regenzeit Viele kleine Zebras werden geboren. zum Beispiel erst ein
Läs merHej! God morgon! Tjänare! Hejsan! 1 Hej!
Hej! sich egrüßen nach Namen und Herkunft fragen das Alphaet uchstaieren sich selst und jemand anderen vorstellen Sprachkenntnisse nach der Bedeutung eines Wortes fragen sich veraschieden Ländernamen 1
Läs merMycket formellt, mottagaren har en speciell titel som ska användas i stället för namnet
- Öppning Svenska Tyska Bäste herr ordförande, Sehr geehrter Herr Präsident, Mycket formellt, mottagaren har en speciell titel som ska användas i stället för namnet Bäste herrn, Formellt, manlig mottagare,
Läs merARBETSBLAD KORTFILMSKLUBBEN TYSKA. Durch die Blumen (lätt) Ordkunskap Välj ut 10 av orden/fraserna nedan och sätt ihop en dialog på tyska!
ARBETSBLAD PEDAGOG: JOHAN POPPEN PROJEKTLEDARE: GABRIELLA THINSZ KORTFILMSKLUBBEN TYSKA Durch die Blumen (lätt) Ordkunskap Välj ut 10 av orden/fraserna nedan och sätt ihop en dialog på tyska! Deutsch etwas
Läs merSchwedenQuiz. Quiz & Spiele. Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Was weißt du über Schweden? (frågeformulär) 3.
PRODUCENTER: Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Was weißt du über Schweden? (frågeformulär) 3. Lösungen PRODUCENTER: 1. Vokabeln zur Sendung eher unbekannt schwierig auf dem Lande
Läs merHallo und herzlich willkommen zu Unsere Hitliste! Ich bin Niklas, und hier sind meine vier Freunde...
SÄNDNINGSDATUM: 2007-11-20 MANUS: DAGMAR PIRNTKE PRODUCENT: KRISTINA BLIDBERG Musik & Co. Programmanus... Ronja,... Hallo und herzlich willkommen zu! Ich bin Niklas, und hier sind meine vier Freunde......
Läs merARBETSBLAD. KORTFILMSKLUBBEN TYSKA Bamboule
ARBETSBLAD PEDAGOG: JOHAN POPPEN PROJEKTLEDARE: GABRIELLA THINSZ BESTÄLLNINGSNUMMER: 101546/TV39 KORTFILMSKLUBBEN TYSKA Bamboule Vokabeln und Phrasen (lätt) Wähle 10 von den Vokabeln/Phrasen aus und schreibe
Läs merNachrichten auf Deutsch 09. April 2011
Nachrichten auf Deutsch 09. April 2011 Fragen zu den Nachrichten Mobbing 1. Was ist isharegossip? a) Eine Internetseite von Lehrern für Schüler.. b) Eine Internetseite mit Musikvideos. c) Eine Internetseite,
Läs merLeroy. Teil 1. A R B E T S B L A D PROGRAMNR / tv1
Diese Arbeitsblätter gibt es: 1. Über den Film/Om filmen 2. Vokabeln zur Sendung und Worterklärungen 3. Ideenkiste (auf Deutsch) 4. Basarbetsblad (på svenska) 1. Über den Film/Om filmen über den Film ist
Läs merSERVICEINSTRUKTION Värmeproduktion. SERVICE INSTRUCTION Heat production. Wärmeerzeugung SIT SE/GB/DE M10383 FIGHTER 1320
SIT SE/GB/DE 0608-1 M10383 FIGHTER 1320 SE GB DE SERVICEINSTRUKTION Värmeproduktion SERVICE INSTRUCTION Heat production SERVICEINSTRUKTION Wärmeerzeugung NIBE AB - Villavärme Box 14, 285 21 Markaryd Tel
Läs merTYSKA, KORT LÄROKURS, skriftlig del
TYSKA, KORT LÄROKURS, skriftlig del 3.10.2016 Innehållet i dessa exempel på fullpoängssvar är inte bindande vid studentexamensnämndens bedömning. Den slutgiltiga bedömningen fastställs av examensämnets
Läs merNachrichten auf Deutsch
Nachrichten auf Deutsch 24. November 2009 Fragen zu den Nachrichten Der Tod von Robert Enke Wer war Robert Enke? 1) Ein Nationaltorwart 2) Ein Politiker 3) Ein Musiker An was litt Robert Enke? 1) An einem
Läs merSeminar Rough Sets. Präsentation von Christian Köllner Betreuer: Philipp Bender. Wintersemester 2003 / 04
Seminar Rough Sets Präsentation von Christian Köllner Betreuer: Philipp Bender Wintersemester 2003 / 04 1 2 Rough set theory In den frühen 1980ern von Zdislaw Pawlak eingeführt Ein mathematisches Instrument,
Läs merTYSKA. Türkisch für Anfänger. Teil 5. Diese Arbeitsblätter gibt es:
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Ideenkiste (auf Deutsch) 3. om serien (på svenska) 4. Basarbetsblad (på svenska) 5. Theater spielen 1. Vokabeln zur Sendung in Bezug auf demütigend
Läs merTAXUD/801/2004 DE Nachtrag Nr.: 2 Datum: Das Handbuch Versandverfahren wird wie folgt geändert:
Das Handbuch Versandverfahren wird wie folgt geändert: X Teil II/ Anlage 8.2 / Anlage B 1) wird ersetzt durch den Text in der Anlage 2) wird gestrichen 3) die Angaben zu Schweden werden ersetzt durch die
Läs merKan jag ta ut pengar i [land] utan att behöva betala extra avgifter? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt
- Allgemeines Kan jag ta ut pengar i [land] utan att behöva betala extra avgifter? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt Vad är avgifterna om jag använder bankautomater
Läs merJurtor-by på JUVENGÅRD
Jurtor-by på JUVENGÅRD SÅ FINA OCH FRÄSCHA SÅ ATT DE STRÅLAR SOM STJÄRNOR MOT HIMLEN Jurtor-by, Sida 1 Äntligen står de på vår äng - så fina och fräscha så att de strålar som stjärnor mot himlen - våra
Läs merTYSKA. Türkisch für Anfänger. Teil 6. Diese Arbeitsblätter gibt es:
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Ideenkiste (auf Deutsch) 3. om serien (på svenska) 4. Basarbetsblad (på svenska) 5. Theater spielen 1. Vokabeln zur Sendung das Waisenhaus -er die
Läs merEinstufungstest Välkomna! Aufgabenblätter
Einstufungstest Välkomna! Aufgabenblätter Mit Hilfe dieser Bögen können Sie jetzt in einen Schwedischkurs eingestuft werden, der Ihrem Kenntnisstand entspricht. Zum Einstufungstest gehören Aufgabenblätter
Läs merBewerbung Anschreiben
- Einleitung Bäste herrn, Formell, männlicher Empfänger, Name unbekannt Bästa fru, Formell, weibliche Empfängerin, Name unbekannt Bäste herrn, Bästa fru, Bästa herr eller fru, Formell, Name und Geschlecht
Läs merOptioner Options Optionen
Optioner Options Optionen Program KSMEval är ett program avsett att analysera mätvärden från KSM. Det kan även installeras på en normal kontorsdator med Windows om KSM mätvärden lagras på en Server eller
Läs merNachrichten auf Deutsch
Nachrichten auf Deutsch 21. Mai 2011 Fragen zu den Nachrichten Fußball 1. Wie oft ist die Deutsche Damenmannschaft schon Weltmeister geworden? a) Einmal b) Zweimal c) Dreimal 2. Wie heißt die Trainerin?
Läs merAspekte zur Character Semantik
Aspekte zur Character Semantik Tilo Henke Senior Berater Oracle Berlin DOAG Regionaltreffen Berlin Brandenburg 10.12.2003 Motivation Web Clients 5. Response 1. Request LDAP OID + Portal Repository WE8ISO8859P1
Läs merIch bin der Jens ich bin der Jens Jansen ich bin hier der Vater der Familie von Mette, Gesa, Helge, Sonja und jetzt auch von Sofi.
SÄNDNINGSDATUM: 2006-11-14 REPORTER/PRODUCENT: ANGELICA ISRAELSSON Abenteuer Ausland Programmanus Alltså i början hade jag jättehemlängtan. Jag tänkte hela tiden: Vad gör jag här? Vad håller jag på med?
Läs merK j on unkti ktioner
Konjunktioner KONJUNKTIONER MED SAMMANBLANDNINGSPROBLEM Vad är konjunktioner? Skilj mellan: Samordnande konjunktioner som binder samman satser eller satsdelar av samma slag underordnande konjunktioner
Läs merTürkisch für Anfänger
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Ideenkiste (auf Deutsch) 3. om serien (på svenska) 4. Basarbetsblad (på svenska) 5. Theater spielen 1. Vokabeln zur Sendung der Schrägstrich -e
Läs merGeschäftskorrespondenz
- Einleitung Bäste herr ordförande, Bäste herr ordförande, Sehr formell, Empfänger hat einen besonderen Titel, der anstelle seines Namens benutzt wird Bäste herrn, Formell, männlicher Empfänger, Name unbekannt
Läs merBÄTTRE ÄN NÅGONSIN. Bäste medarbetare
BÄTTRE ÄN NÅGONSIN Bäste medarbetare Det känns verkligen underbart att se tillbaka på ett fantastiskt framgångsrikt verksamhetsår. Jag är verkligen tacksam och uppskattar det fina arbete ni alla gjort
Läs merBeispiel Magazin. TV-Möbel Romina % [ + [ 7 FP 'LPPEDUH ZHL H /(' %HO inklusive Fernbedienung. TV-Möbel Vicenza % [ + [ 7 FP
Beispiel Magazin TV-Möbel Lenia Media % [ + [ 7 FP,QNO LED Beleuchtung MDF matt lackiert + Glas 2 Türen, 1 Schubkasten, R HQHV )DFK $UWLNHO 1U 329,- TV-Möbel Vicenza % [ + [ 7 FP MDF Hochglanz lackiert
Läs mer301 Tage, Deutschland
301 Tage, Deutschland In der Stadt 300 und 1 Tag, Deutschland! Hejsan, jag heter Elin Vorbrodt och jag bor i den lilla staden Blosswitz som ligger här i Tyskland och jag går och pluggar på ett gymnasium
Läs merGrammatikübungsbuch Schwedisch
Grammatikübungsbuch Schwedisch Bearbeitet von Lothar Adelt, Irmela Adelt 1. Auflage 2011. Taschenbuch. 160 S. Paperback ISBN 978 3 87548 578 3 Format (B x L): 14,8 x 21,3 cm Gewicht: 252 g Weitere Fachgebiete
Läs merS in Stockholm, Göteborg, Malmö und Lund. Neue Regelungen
Umweltzonen S in Stockholm, Göteborg, Malmö und Lund 2007 Neue Regelungen Warum Umweltzonen? Wie mehrere andere Städte in Europa haben auch wir Probleme mit mangelhafter Luftqualität aufgrund von zu starken
Läs merJa, es ist ein Platz, wo oft Veranstaltungen sind, das heißt, man kann sich hier mit Freunden treffen...
Manus, intervju, produktion: Kjell Albin Abrahamson Sändningsdatum: P2 den 3.9.2002 kl 9.30 Programlängd: 10 min Producent: Kristina Blidberg Välkomna till "" och jag står här på Heldenplatz tillsammans
Läs mer301 Tage, Deutschland
301 Tage, Deutschland Das Essen 300 und 1 Tag, Deutschland! Hejsan, jag heter Elin Vorbrodt och jag i den lilla staden Blosswitz som ligger här i Tyskland och jag går och pluggar på ett gymnasium i Riesa.
Läs merNachrichten auf Deutsch 12. März 2011
Nachrichten auf Deutsch 12. März 2011 Fragen zu den Nachrichten Feiern in Deutschland 1. Was wurde gerade in Deutschland gefeiert? a) Wiedervereinigung. b) Karneval. c) Weihnachten. 2. Wie nennt man diese
Läs merVälkomna! Einstufungstest. Aufgabenblätter
Einstufungstest Aufgabenblätter Mit Hilfe dieser Bögen können Sie jetzt in einen Schwedischkurs eingestuft werden, der Ihrem Kenntnisstand entspricht. Zum Einstufungstest gehören Aufgabenblätter und Antwortblätter.
Läs merWiLlk. VÄLKo. WiLlkommen. VÄLkOMMEN
VÄLKo VÄLkOMMEN WiLlkommen WiLlk eld Tunré 2015 Dschinn-Fire kommer till Sverige mellan Metallsvenskan 2015 och Eld & Järn i Gruvparken En unik chans för dig som tar hand om historiska platser i järnhistorias
Läs merTürkisch für Anfänger
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Ideenkiste (auf Deutsch) 3. om serien (på svenska) 4. Basarbetsblad (på svenska) 1. Vokabeln zur Sendung einen mit einem verkuppeln auf etwas pochen
Läs merTürkisch für Anfänger
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Ideenkiste (auf Deutsch) 3. om serien (på svenska) 4. Basarbetsblad (på svenska) 1. Vokabeln zur Sendung der Zwitter - baff! prollig überholt Schiss
Läs merVeranda. DE Installationshandbuch V17/16
Veranda DE Installationshandbuch V17/16 E nstalla onshandbuch Veranda Handbuch für den Endnutzer und den Monteur Sehr geehrter Kunde, vielen Dank für die Anscha ung der eranda Dieses Handbuch enthält alle
Läs merVar kan jag hitta formuläret för? Var kan jag hitta formuläret för? Fragen wo man ein Formular findet
- Allgemeines Var kan jag hitta formuläret för? Var kan jag hitta formuläret för? Fragen wo man ein Formular findet När var ditt [dokument] utfärdat? Fragen wann ein Dokument ausgestellt wurde Vart var
Läs merSERVICEINSTRUKTION Tider. SERVICE INSTRUCTION Times. Zeiten SIT SE/GB/DE 0612-1 M10401 FIGHTER 2005/2010
SIT SE/GB/DE 061-1 M10401 FIGHTER 005/010 SE GB DE SERVICEINSTRUKTION Tider SERVICE INSTRUCTION Times SERVICEINSTRUKTION Zeiten NIBE AB - Villavärme Box 14, 85 1 Markaryd Tel 0433-73 000 Fax 0433-73 190
Läs mer0/22. Proseminar Programmiersysteme WS 2003/04. Typklassen: Haskell. Mark Kaminski. Betreuer: Andreas Rossberg. 1. April 2004
Proseminar Programmiersysteme WS 2003/04 0/22 Typklassen: Haskell Mark Kaminski Betreuer: Andreas Rossberg 1. April 2004 Zwei Arten von Polymorphismus parametrischer Polymorphismus 1/22 Prozedur definiert
Läs merLektion. 1Hej! Vad heter du? Sprachkurs Schwedisch, Buch 2012 Hueber Verlag, Ismaning, ISBN 978-3-19-215308-2
1Hej! Vad heter du? 1 Hej! Vad heter du? Dialog 1 Lektion 1 2 Familie Müller aus Deutschland hat ein Ferienhaus in einem Feriendorf in Schweden gemietet. Klaus Müller unter hält sich mit seinem schwedischen
Läs merPrävention alkoholbedingter Jugendgewalt (PAJ) Radioprojekt Webgeflüster
Prävention alkoholbedingter Jugendgewalt (PAJ) Radioprojekt Webgeflüster Gefördert durch: Beantragung der Fördermittel ausgeschriebenes Förderprogramm des LKA zur Sucht- u. Gewaltprävention mit vernetztem
Läs merTYSKA, KORT LÄROKURS
TYSKA, KORT LÄROKURS 24.9.2018 Innehållet i dessa exempel på fullpoängssvar är inte bindande vid studentexamensnämndens bedömning. Den slutgiltiga bedömningen fastställs av examensämnets censorer. I bedömningen
Läs merImmigration Bostad. Bostad - Hyra. Ange att du vill hyra någonting. ein Zimmer Typ av bostad. eine Wohnung/ ein Apartment Typ av bostad.
- Hyra Tyska Ich möchte mieten. Ange att du vill hyra någonting ein Zimmer eine Wohnung/ ein Apartment ein Studioapartment ein Einfamilienhaus ein Doppelhaus ein Reihenhaus Wie viel beträgt die Miete pro
Läs merIch rufe Sie morgen um zehn an!
KAPITEL Ich rufe Sie morgen um zehn an! L = Frau Lindholm, Borlänge B = Herr Baumeister, Hannover B: Hallo, Frau Lindholm! Wie geht s? L: Hallo, Herr Baumeister! Danke, gut, und Ihnen? B: Danke, auch gut.
Läs merBuske Sprachkalender SCHWEDISCH 2016
Buske Sprachkalender SCHWEDISCH 2016 von Gesa Füßle Der Helmut Buske Verlag hat keinerlei Einfluss auf die Inhalte und die aktuelle und zukünftige Gestaltung der im Kalender genannten Internetseiten. Er
Läs merPräpositionen. efter. från. von: beim Passiv zur Angabe des Urhebers Tavlan är målad av en svensk konstnär.
av Präpositionen von: beim Passiv zur Angabe des Urhebers Tavlan är målad av en svensk konstnär. von: zur Angabe eines partitiven Verhältnisses Vem av löparna leder? von: anderer Fall Vem har du fått boken
Läs merBalzar Beskow - quality furniture since Balzar Beskow - Qualitätsmöbel seit Balzar Beskow - kvalitetsmöbler sedan 1957
Balzar Beskow Table of contents S-393 6 Line 10 Line - expand 12 B-54, B-55 16 Step 18 Curve 22 Chat 24 S-394 30 B-100 34 S-397 36 Basic 39 KS-391 42 S-393 44 S-293 47 S-312 & SO-360 48 Flea 50 Orto 52
Läs merHörbeispiel Nummer des Tracks auf der CD. Nummer der Übung
CD Hueber Verlag, Ismaning https://shop.hueber.de/de/javisst-cd-zum-kb.html ISBN 978-3-19-055405-8 track02 Hörbeispiel Nummer des Tracks auf der CD Übung Ö1 Nummer der Übung Grammatikteil slide1 Nummer
Läs merMusik für jede Laune. Sag s mir!
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Aufgaben zur Sendung 4. Lösungen 1. Vokabeln zur Sendung das Lieblingslied -er etwas vorstellen das Mitglied -er favoritlåt presentera något medlem
Läs merVi hoppas att du ser fram emot att lära dig ännu mera tyska. För att det ska gå så bra som möjligt får du här några tips från oss.
Välkommen till! Vi hoppas att du ser fram emot att lära dig ännu mera tyska. För att det ska gå så bra som möjligt får du här några tips från oss. BOKENS UPPBYGGNAD Mahlzeit C består av fyra sektioner.
Läs merAntrag auf Behandlung als unbeschränkt einkommensteuer-
Antrag auf Behandlung als unbeschränkt einkommensteuer- Zur Beachtung: Für Arbeitnehmer mit Staatsangehörigkeit zu einem EU/EWR-Mitgliedstaat, die in der Bundesrepublik Deutschland weder einen Wohnsitz
Läs mer4. Dialogövning Läroplanen säger: Olika former av samtal, dialoger och intervjuer.
ARBETSBLAD SÄNDNINGSDATUM: 2013-12-08 KONCEPTUTVECKLING AV ARBETSBLAD: JOHAN POPPEN & ANNA NYMAN PEDAGOG: JOHAN POPPEN PROGRAMNR: 103258/TV08 KONTAKT: KUNDTJANST@UR.SE DER BANKRAUB EPISOD 8: DER BRIEF
Läs merEine haarige Verwandlung
PRODUCENT: KRISTINA BLIDBERG T Y S K A Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Aufgaben zur Sendung 3. das Spiel 4. Lärartips: Laufdiktat PRODUCENT: KRISTINA BLIDBERG T Y S K A 1. Vokabeln
Läs merF1220, F1230, F1120, F1130
SIT SE/GB/DE 0608-1 M10379 F1220, F1230, F1120, F1130 SE GB DE SERVICEINSTRUKTION Oljepanna dockning 3 SERVICE INSTRUCTION Oil-fired boiler docking 3 SERVICEINSTRUKTION Ölkessel anschluss 3 NIBE AB - Villavärme
Läs merDeutsche Hits. Diese Arbeitsblätter gibt es:
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Top 5 (röstningsmall) 3. Übersetze die Zitate! 4. Was meinst du? (ord och uttryck för att diskutera musik) 5. Lösungen 1. Vokabeln zur Sendung das
Läs merWALLMEK i Kungälv AB Special tools for auto repairs
Arbetsinstruktion för framhjulslagersats 1090-20 Används med hydraulcylinder nr 1090-01 eller 1090-02 1. Drivaxelpressning, OBS! Max 16 ton Montera pressbygelns öppna del mellan hjulnav och spindel samt
Läs merFußball und Skate. Eliteschule - Training - trainieren - Sport - Verein - Fußballerin - laufen - skaten - schwimmen - Fahrrad fahren
PRODUCENT: THÉRÈSE AMNÉUS ARBETSBLAD: JOHAN POPPEN PROGRAMNUMMER: 68010367007 SÄNDNINGSDATUM: 2015-10-18 Fußball und Skate Vad gillar tyska ungdomar för sporter? Programledare Merih Ugur träffar tjejerna
Läs merSchweiz kvinnlig rösträtt
SÄNDNINGSDATUM: 2010-12-18 PROGRAMLEDARE/PRODUCENT: ANGELICA ISRAELSSON KONTAKT: tyska@ur.se PROGRAMNR: 101753/ra10 ANACONDA GESELLSCHAFT Schweiz kvinnlig rösträtt Viktiga ord Miah Eintauche Wut Ungerechtigkeit
Läs mer301 Tage, Deutschland
301 Tage, Deutschland Die Schule 300 und 1 Tag, Deutschland! Hejsan, jag heter Elin Vorbrodt och jag bor i den lilla staden Blosswitz som ligger här i Tyskland och jag går och pluggar på ett gymnasium
Läs merWALLMEK i Kungälv AB Special tools for auto repairs
Handhavandeinstruktion till sats 01-00014 för byte av bakvagnsbussningar på Hyundai Santa Fe. Bakaxeln demonteras från sina infästningar och sänks ned med en lyft tills de fasta bultarna i golvet släpper
Läs merPersonligt Brev. Brev - Adress. Herrn Peter Müller Falkenstraße Hamburg Deutschland
- Adress Herrn Peter Müller Falkenstraße 28 20140 Hamburg Deutschland Mr. N. Summerbee Tyres of Manhattan 335 Main Street New York NY 92926 Standard engelskt adressformat:, företagets namn, gatunummer
Läs merPersonligt Brev. Brev - Adress. Mr. N. Summerbee Tyres of Manhattan 335 Main Street New York NY 92926
- Adress Mr. N. Summerbee Tyres of Manhattan 335 Main Street New York NY 92926 Herrn Peter Müller Falkenstraße 28 20140 Hamburg Deutschland Standard engelskt adressformat:, företagets namn, gatunummer
Läs merMr. Adam Smith Smith Plastics 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ
- Adress Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs, CA 92926 Amerikanskt adressformat: Företagsnamn Stadens namn + statens namn + statens förkortning + postnummer Mr.
Läs merMr. Adam Smith Smith's Plastics 8 Crossfield Road Selly Oak Birmingham West Midlands B29 1WQ
- Adress Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Amerikanskt adressformat: Företagsnamn Stadens namn + statens namn + statens förkortning + postnummer Mr. J.
Läs merErinnerung VL vom
Erinnerung VL vom 20.04.2016 Karatsuba-Ofman-Langzahlmultiplikation Vereinbarungen: Heute: Algorithmenanalyse (Asymptotik) Maschinenmodell (Variante des RAM-Modells) Mehr Vereinbarungen (Pseudocode, Graphen)
Läs merKulturminnesvårdens perifera organisation Bergstrand, Axel Fornvännen 1939(34), s. 240-243 http://kulturarvsdata.se/raa/fornvannen/html/1939_240
Kulturminnesvårdens perifera organisation Bergstrand, Axel Fornvännen 1939(34), s. 240-243 http://kulturarvsdata.se/raa/fornvannen/html/1939_240 Ingår i: samla.raa.se KULTURMINNESVÅRDENS PERIFERA ORGANISATION
Läs merHANDPUMP H-11 DIRECTIONS FOR USE BRUKSANVISNING GEBRAUCHANWEISUNG
E-417 HANDPUMP H-11 DIRECTIONS FOR USE BRUKSANVISNING GEBRAUCHANWEISUNG HAND PUMP H-11 Detta är en 2-stegs hydraulpump med ett inbyggt kombinerat låg- och hög- tryckssystem som automatiskt växlar från
Läs merTala: die Schule und der Stundenplan. Skriva: kennen lernen (träna perfekt) Drama: Levon lernt Svetlana kennen
Mein Berlin Levon Mitt Berlin Levon Läsa Ordkunskap Höra Skriva/översätta Tala/samtala Drama I det här avsnittet ingår: Höra: Levon stellt sich vor Tala: die Schule und der Stundenplan Läsa: Stundenplan
Läs merCTC Rumsdisplay... 2. CTC Roomdisplay... 4. Installations- och skötselanvisning. Installation and maintenance instructions
161 501 40-2 2007-11-12 Installations- och skötselanvisning CTC Rumsdisplay... 2 Installation and maintenance instructions CTC Roomdisplay... 4 Installations- und Wartungsanleitung CTC Raumdisplay... 6
Läs merTYSKA. Unsere Hitliste. Musik & Co. Diese Arbeitsblätter gibt es:
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Inhaltsfragen und Top 5 (röstningsmall) 3. Was meinst du? (ord och uttryck för att diskutera musik) 4. Lösungen 1. Vokabeln zur Sendung das Lieblingslied
Läs merResa Logi Logi - Hitta boende Svenska Tyska Wo kann ich finden? ... ein Zimmer zu vermieten? ... ein Hostel? ... ein Hotel?
- Hitta boende Var hittar jag? Fråga om vägen till olika former av boenden Wo kann ich finden?... ett rum att hyra?... ein Zimmer zu vermieten?... ett vandrarhem?... ein Hostel?... ett hotell?... ein Hotel?...
Läs merResa Logi Logi - Hitta boende Tyska Svenska Var hittar jag? ... ett rum att hyra? ... ett vandrarhem? ... ett hotell? ... ett bed-and-breakfast?
- Hitta boende Wo kann ich finden? Fråga om vägen till olika former av boenden Var hittar jag?... ein Zimmer zu vermieten?... ett rum att hyra?... ein Hostel?... ett vandrarhem?... ein Hotel?... ett hotell?...
Läs merLisa Dobrosch Exposé für die Magisterarbeit:
Lisa Dobrosch Exposé für die Magisterarbeit: Die Kultur- und Bildungspolitik der Sveriges socialdemokratiska ungdomsförbund und der Sveriges socialdemokratiska arbetareparti zwischen 1903 und 1909 ein
Läs merReisen Unterwegs. Unterwegs - Ort. Jag har gått vilse. Du weißt nicht, wo Du bist
- Jag har gått vilse. Du weißt nicht, wo Du bist Kan du visa mig var det är på kartan? Nach einem bestimmten auf der Karte fragen Var kan jag hitta? Nach einem bestimmten fragen... en toalett? Zimmer...
Läs merOPERATIONS RESEARCH. Version v Skript: Ingo Wegener. (mit kleinen Anderungen) Universitat Dortmund. D{44221 Dortmund
OPERATIONS RESEARCH WS 1998/99 Version v. 14.07.99 Vorlesung: Thomas Hofmeister Skript: Ingo Wegener (mit kleinen Anderungen) Universitat Dortmund Lehrstuhl Informatik 2 D{44221 Dortmund Das Werk einschlielich
Läs merSchwedisch A1, 2. Februar 2017 S. 1/9
Schwedisch A1, 2. Februar 2017 S. 1/9 Ihr Name (Druckbuchstaben): Aufgabe 1: Die Nominalphrase Substantiv(, Adjektiv) und Artikelwort. max..../24 Schreiben Sie die Übersetzungen in die darunterstehenden
Läs merLagrange-Projektion. LMU München, Germany Thomas Schöps. Hüttenseminar im Zillertal bei Prof. Lars Diening Wintersemester 2014/2015
LMU München, Germany Thomas Schöps Lagrange-Projektion Hüttenseminar im Zillertal bei Prof. Lars Diening Wintersemester 2014/2015 Thomas Schöps Lagrange-Projektion 1/13 Idee der Präsentation Thomas Schöps
Läs mer#1230 RÖKLÅDA SMOKING OVEN RÄUCHEROFEN.
#1230 RÖKLÅDA SMOKING OVEN RÄUCHEROFEN www.fladenfishing.se Innehåll Röklåda: 2st brännare Rostfri röklåda Lock med ventilationsreglage Tvåvånings rökgaller Rostfri dropp-plåt Vindskydd för brännare The
Läs merNürnberg, Germany, Oktober 2018 VERANSTALTUNGS- ANALYSE
Nürnberg, Germany, 9. 11. Oktober 2018 VERANSTALTUNGS- ANALYSE it-sa 2018 Strukturdaten Kongress Medien 1. STRUKTURDATEN GESAMT DEUTSCHLAND INTERNATIONAL Aussteller Besucher Ausstellungsfläche brutto (in
Läs merRajd Instruction. Svenska Deutsch English
Rajd Instruction Rajd innehåller shelter, staglinor och 10 markpinnar inga stänger eftersom du kan använda 2 vandringsstavar eller grenar. Tältstänger (längd 115 cm) och extra skyddsgolv säljs separat
Läs merBUNDESGESETZBLATT FÜR DIE REPUBLIK ÖSTERREICH. Jahrgang 1997 Ausgegeben am 6. Mai 1997 Teil III
P. b. b. Erscheinungsort Wien, Verlagspostamt 1030 Wien BUNDESGESETZBLATT FÜR DIE REPUBLIK ÖSTERREICH Jahrgang 1997 Ausgegeben am 6. Mai 1997 Teil III 72. Abkommen zwischen der Republik Österreich und
Läs merScala DESIGN RUUD EKSTRAND
Scala DESIGN RUUD EKSTRAND Scala Scala, design Ruud Ekstrand är en miljöskärm i trä för offentliga miljöer. Klara former och ett brett materialval gör Scala till en flexibel rumsavskiljare i många inredningar.
Läs merInnehäll. F Wir übersetzen ins Deutsche (Översättning av mask. subst. och motsvarande pers. pron.) 14
Innehäll Teckenförklaring ljudband eller kassett extrauppgift rollspel, dramatisering»-översikt Kryssa i rutan framför en övning, när du är färdig med den. Dä fär du själv och din lärare en snabb överblick
Läs merFortbildningsaktiviteter april i samband med SFÖ:s konferens i Lund
Fortbildningsaktiviteter 19 22 april i samband med SFÖ:s konferens i Lund Fortbildningsgruppen knyter an till konferensens tema Översättning och kunskap genom att arrangera kurser torsdagen den 19 april
Läs merDeutsch lernen und lehren I, 3 högskolepoäng
UMEÅ UNIVERSITET Inst för språkstudier Malmqvist/Valfridsson/Jendis Deutsch lernen und lehren I, 3 högskolepoäng Examination 1. Auskultation (totalt 6 dagar) 2. Aktivt deltagande i seminarierna 3. Portfolio
Läs merDie Johannesschüssel aus Norrby im Historischen Museum zu Stockholm : ein Werk des Henning von der Heide Paatz, Walter Fornvännen 155-161
Die Johannesschüssel aus Norrby im Historischen Museum zu Stockholm : ein Werk des Henning von der Heide Paatz, Walter Fornvännen 155-161 http://kulturarvsdata.se/raa/fornvannen/html/1929_155 Ingår i:
Läs merAnsökan Följebrev. Följebrev - Inledning. Formellt, manlig mottagare, namnet okänt. Formellt, kvinnlig mottagare, namnet okänt
- Inledning Bäste herrn, Formellt, manlig mottagare, namnet okänt Bästa fru, Formellt, kvinnlig mottagare, namnet okänt Bästa herr eller fru, Formellt, både mottagarens namn och kön är okända Sehr geehrter
Läs merTYSKA. Türkisch für Anfänger. Teil 3. Diese Arbeitsblätter gibt es:
Diese Arbeitsblätter gibt es: 1. Vokabeln zur Sendung 2. Ideenkiste (auf Deutsch) 3. om serien (på svenska) 4. Basarbetsblad (på svenska) 5. Theater spielen 1. Vokabeln zur Sendung sich aus etwas rausreden
Läs merJonathan Hedlund heter jag, är 20 år och jobbar här i Zürich som au pair för tre killar.
SÄNDNINGSDATUM: 2006-11-07 PRODUCENT: ANGELICA ISRAELSSON Abenteuer Ausland Programmanus Torsdag idag, som vanligt pannkaksdag och det blir en del pannkakor, 100 stycken typ Nä, men pannkakor tycker de
Läs mer