Logik und Beweisbarkeit
|
|
- Μέντωρ Νικολάκος
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Logik und Beweisbarkeit Kap. I - Aussagenlogik (Sommer 2017) Martin Mundhenk Univ. Jena, Institut für Informatik 19. April 2017
2 Vorlesung Logik und Beweisbarkeit (Sommer 2017) 1. Aussagenlogik 2. Arithmetik 3. Berechenbarkeitstheorie 4. Unvollständigkeitssätze
3 Aussagenlogik 1. Aussagenlogik Grundbegriffe Natürliches Schließen (Literatur: Schöning: Logik für Informatiker van Dalen: Logic and Structure )
4 Grundbegriffe der Aussagenlogik 1. Aussagenlogik Grundbegriffe Sprache (Formeln) Semantik (Belegungen und die Erfüllungsrelation) Erfüllbarkeit und Gültigkeit Äquivalenz und adäquate Formelmengen Semantische Folgerung Natürliches Schließen
5 1.1.1 Syntax: Formeln Definition 1.1 (Aussagenlogische Formeln) Eine atomare Formel (kurz: Atom) hat die Form A i für i = 0, 1, 2,... (Aussagenlogische) Formeln sind induktiv definiert wie folgt. 1. Die Konstanten (falsum) und (verum) und alle Atome sind Formeln. 2. Für alle Formeln α ist α (Negation von α) ebenfalls eine Formel. Für alle Formeln α und sind (α ) (Konjunktion von α und, logisches Und ), (α ) (Disjunktion von α und, logisches Oder ) und (α ) (Implikation von α und, logische Folgerung ) ebenfalls Formeln. (3. Es gibt keine anderen Formeln.)
6 1.1.2 Semantik: Belegung und Erfüllungsrelation Definition 1.2 (Belegung) Eine Belegung B ist eine Menge B {A 0, A 1, A 2,...} von Atomen. Definition 1.3 (Semantik der Aussagenlogik) Sei B eine Belegung, α und seien Formeln. Die Relation A zwischen Belegungen und Formeln ist wie folgt definiert. B A und B A B A A i gdw. A i B, für atomare Formeln A i B A α gdw. B B A (α ) gdw. B A α und B A B A (α ) gdw. B A α oder B A B A (α ) gdw. B α oder B A A A α
7 Sprechweisen Die Relation A heißt Erfüllungsrelation. Für B A α sagt man B erfüllt α. B A α ist die umgangssprachliche Negation von B A α man sagt dazu also B erfüllt α nicht. Für Formelmengen Γ bedeutet B A Γ dass B A ϕ für alle ϕ Γ gilt. ( B erfüllt Γ ),
8 Erfüllbarkeit und Gültigkeit Definition 1.4 (erfüllbare bzw. gültige Formeln) 1. Eine Formel heißt erfüllbar, wenn es eine Belegung gibt, die sie erfüllt. Anderenfalls heißt die Formel unerfüllbar (oder Kontradiktion). 2. Eine Formel heißt gültig, wenn sie von jeder Belegung erfüllt wird. Gültige Formeln nennt man auch Tautologien. Schreibweise für Formel α ist gültig : A α.
9 1.1.4 Äquivalenz und Adäquatheit Abkürzende Schreibweise: wir schreiben auch A, B, C,... für A 0, A 1, A 2,.... Die Formeln (A B) und ( A B) werden von den gleichen Belegungen erfüllt. Die Belegung {A, B} erfüllt beide Formeln. Die Belegungen, {A} und {B} erfüllen beide Formeln nicht. Jede andere Belegung entspricht für die Atome A und B einer der obigen Belegungen. Definition 1.5 (Äquivalenz von Formeln) Formeln α und heißen äquivalent (α ), falls für jede Belegung B gilt: B A α genau dann, wenn B A. ist offensichtlich eine Äquivalenzrelation.
10 Lemma 1.6 (grundlegende Äquivalenzen) Für alle Formeln α, und γ gelten die folgenden Äquivalenzen. Idempotenz: (α α) α (α α) α Kommutativität: (α ) ( α) (α ) ( α) Absorption: (α (α )) α (α (α )) α Doppelnegation: α α demorgan s Regeln: (α ) ( α ) (α ) ( α ) Tautologieregeln: (α ) α (α ) Kontradiktionsregeln: (α ) (α ) α
11 Negation von Konstanten: Gesetz des ausgeschlossenen Dritten: (α α) (α α) Implikation: (α ) (( α) ) Assoziativität von bzw. : ((α ) γ) (α ( γ)) ((α ) γ) (α ( γ)) Distributivität von und : (α ( γ)) ((α ) (α γ)) (α ( γ)) ((α ) (α γ)) Vereinfachende Schreibweisen: Klammern können weggelassen werden. überflüssige Wir schreiben auch ( n α i ) statt (... ((α 1 α 2 ) α 3 )... α n ) i=1 und ( n α i ) statt (... ((α 1 α 2 ) α 3 )... α n ). i=1
12 Lemma 1.7 (Ersetzungstheorem) Wenn man in einer Formel ϕ eine Teilformel α durch eine zu α äquivalente Formel ersetzt, so erhält man eine zu ϕ äquivalente Formel. Formaler ausgedrückt: Sei ϕ eine Formel mit der Teilformel α, und sei äquivalent zu α. Sei ϕ eine Formel, die aus ϕ entsteht, wenn ein Vorkommen der Teilformel α durch ersetzt wird. Dann sind ϕ und ϕ äquivalent. Beispiel: ϕ = (B (A (A B))) α = (A (A B)) = A ϕ = (B A) 1.1.9
13 Äquivalentes Umformen Die semantische Äquivalenz von Formeln lässt sich jetzt syntaktisch durch äquivalentes Umformen verifizieren (da eine Äquivalenzrelation ist). Beispiel 1: (A B) ( B A) (A B) ( A B) (Implikation) ( A B) (Doppelnegation) ( B A) (Kommutativität) ( B A) (Implikation)
14 Äquivalentes Umformen Beispiel 2: ((A B) C) (A (B C)) ((A B) C) ( (A B) C) (Implikation) (( A B) C) (demorgan) ( A ( B C)) (Assoziativität) ( A (B C)) (Implikation) (A (B C)) (Implikation) Allgemeiner gilt: ( n ) A i B (A1 (A 2 ( (A n B) ))) i=1
15 Äquivalentes Umformen Beispiel 3: ( ) ( ) ( ) (Implikation) ( ) (Negation von Konstanten) (Kontradiktionsregel) Beispiel 4: α (α ) für jede Formel α α ( α ) (Kontradiktionsregel) (α ) (Implikation)
16 Definition 1.8 (adäquate Mengen von Verknüpfungszeichen) Eine Menge M {,,,,,,...} von Verknüpfungszeichen heißt adäquat, falls es für jede Formel eine äquivalente Formel gibt, die nur aus Atomen sowie Verknüpfungszeichen aus M besteht. Da (( α) ) (α ), kann man alle Formeln äquivalent durch Formeln ohne ausdrücken. Also ist {,,,, } adäquat.
17 Lemma 1.9 ({, } ist adäquat) Für jede aussagenlogische Formel ϕ gibt es eine äquivalente Formel ϕ, die nur aus Atomen, und besteht. Der Beweis soll mittels Induktion über den Formelaufbau von ϕ geführt werden. Was ist zu zeigen? Induktionsanfang: Für jede aussagenlogische Formel ϕ, die, oder ein Atom ist, gibt es eine äquivalente Formel ϕ, die nur aus Atomen, und besteht. Induktionsschritt: Für alle aussagenlogischen Formeln α und gilt: wenn α und äquivalente Formeln besitzen, die nur aus Atomen, und bestehen, dann gibt es auch für α, (α ), (α ) und (α ) äquivalente Formeln, die nur aus Atomen, und bestehen. Der Induktionsschritt wird in zwei Teile aufgeteilt: Induktionsvoraussetzung: α und seien beliebige Formeln mit äquivalenten Formeln α α bzw., die nur aus Atomen, und bestehen. Induktionsschluss für α und aus der Induktionsvoraussetzung ist zu zeigen: α, (α ), (α ) und (α ) besitzen äquivalente Formeln, die nur aus Atomen, und bestehen.
18 Beweis: mittels Induktion über den Formelaufbau der Formel ϕ. Induktionsanfang (IA): Zu zeigen ist: Für jede aussagenlogische Formel ϕ, die, oder ein Atom ist, gibt es eine äquivalente Formel ϕ, die nur aus Atomen, und besteht. Fall 1: ϕ =. Dann ist ϕ = äquivalent zu ϕ, und ϕ besteht nur aus Atomen, und. Fall 2: ϕ =. Dann ist ϕ = ( ) äquivalent zu ϕ, und ϕ besteht nur aus Atomen, und. Fall 3: ϕ = A i. Dann ist ϕ = A i äquivalent zu ϕ, und ϕ besteht nur aus Atomen, und.
19 Induktionsvoraussetzung (IV): α und besitzen äquivalente Formeln α bzw., die nur aus Atomen, und bestehen. Induktionsschluss (IS) Zu zeigen ist: α, (α ), (α ) und (α ) besitzen äquivalente Formeln, die nur aus Atomen, und bestehen. Fall 1: ϕ = α. Es gilt: α α (IV und Satz 1.7) (α ) (Beispiel 4) Also ist ϕ = (α ) äquivalent zu ϕ, und in ϕ kommen laut IV nur Atome, und vor. Fall 2: ϕ = (α ). Es gilt: (α ) (α ) (IV und Satz 1.7) ( α ) (Doppelnegation und Satz 1.7) ( α ) (demorgan s Regel) (( α ) ) (Beispiel 4) ((α ) ) (Implikation und Satz 1.7) ((α ( )) ) (Beispiel 4 und Satz 1.7)
20 Also ist ϕ = ((α ( )) ) äquivalent zu ϕ, und in ϕ kommen gemäß IV nur Atome, und vor. Fall 3: ϕ = (α ). Es gilt: (α ) (α ) (IV und Satz 1.7) ( α ) (Doppelnegation und Satz 1.7) ( α ) (Implikation) ((α ) ) (Beispiel 4 und Satz 1.7) Dann ist ϕ = ((α ) ) äquivalent zu ϕ, und in ϕ kommen gemäß IV nur Atome, und vor. Fall 4: ϕ = (α ). Dann ist ϕ = (α ) äquivalent zu ϕ (IV und Satz 1.7), und in ϕ kommen gemäß IV nur Atome, und vor.
21 Satz 1.10 (Adäquate Mengen von Verknüpfungszeichen) Die folgenden Mengen von Verknüpfungszeichen sind adäquat. 1. {, } 2. {, } 3. {, } 4. {, }
22 1.1.5 Semantische Folgerung Definition 1.11 (Semantische Folgerung) Formel ϕ ist eine Folgerung aus der Formelmenge Γ (Γ A ϕ), wenn jede Belegung, die Γ erfüllt, ebenfalls ϕ erfüllt. (D.h.:... wenn für jede Belegung B gilt: wenn B A Γ, dann B A ϕ.) Schreibweisen: Mengenklammern und Vereinigungszeichen lässt man gerne weg: z.b. schreibt man α 1,..., α n A ϕ oder Γ, α A ϕ. Statt A ϕ schreibt man A ϕ. Lemma 1.12 ( A verallgemeinert A ) Sei ϕ eine Formel. Dann gilt: A ϕ genau dann, wenn A ϕ
23 Folgerung und Gültigkeit Lemma 1.13 (Zusammenhang zwischen A und ) Die folgenden Aussagen sind äquivalent für alle n N und i = 1, 2,..., n α 1,..., α n ϕ A 2. α 1,..., α i 1 (α A i (α i+1... (α n ϕ)...)) 3. α 1,..., α i 1 A ( n ( α j ) ϕ ) j=i Insbesondere gelten also folgende Äquivalenzen zu : A (α 1 (α 2... (α n ϕ)...)) A (( n α i ) ϕ) i=1
24 1.2 Natürliches Schließen in der Aussagenlogik 1. Aussagenlogik Grundbegriffe Natürliches Schließen Schlussregeln für (informell) Schlussregeln für (informell) Formale Definition Korrektheit Vollständigkeit Anhang: Natürliches Schließen für weitere Verknüpfungszeichen
25 Das Natürliche Schließen dient dem Herleiten von Formeln mittels Axiomen und Schlussregeln. Wir werden zeigen, dass man genau die gültigen Formeln herleiten kann (Satz 1.24). Wir betrachten nur Formeln aus Atomen, und. Nach Satz 1.10 reicht das aus. Wir benutzen α jetzt als abkürzende Schreibweise für α. (Literatur: van Dalen: Logic and Structure)
26 1.2.1 Schlussregeln für Informelle Einführung Die Implikations-Elimination: α α Die Implikations-Introduktion ohne und mit Auflösung einer Hypothese: [α]. α α Eine Herleitung wird als Baum dargestellt, der mit Hypothesen beginnt (Blätter) und an dessen Wurzel die hergeleitete Formel steht. Statt Kanten werden waagerechte Striche für Anwendungen von Schlussregeln gezeichnet.
27 Herleitung von A (B A) und α ( α) [α]. Die Implikations-Regeln: α α
28 Herleitung von A (B A) und α ( α) A [α]. Die Implikations-Regeln: α α
29 Herleitung von A (B A) und α ( α) A B A [α]. Die Implikations-Regeln: α α
30 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) [α]. Die Implikations-Regeln: α α
31 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) α [α]. Die Implikations-Regeln: α α
32 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) α α [α]. Die Implikations-Regeln: α α
33 Herleitung von A (B A) und α ( α) [A] 1 B A 1 A (B A) [α] 1 α 1 α ( α) Damit sind Herleitungen für alle Formeln der Form α ( α) angegeben. [α]. Die Implikations-Regeln: α α
34 1.2.5 Herleitung von (α ) ( α) Die Implikations-Regeln: α [α]. α α α
35 1.2.5 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α
36 1.2.5 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α
37 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α
38 Herleitung von (α ) ( α) α α Die Implikations-Regeln: α [α]. α α α
39 Herleitung von (α ) ( α) [α] 1 α 1 α Die Implikations-Regeln: α [α].. α α α
40 Herleitung von (α ) ( α) [α] 1 α [ ] 2 1 α 2 α Die Implikations-Regeln: α [α].. α α α
41 Herleitung von (α ) ( α) [α] 1 [α ] 3 [ ] 2 1 α 2 α 3 (α ) ( α) Die Implikations-Regeln: α [α].. α α α
42 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) Die Regeln: α [α]. α α α
43 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) α α α α Die Regeln: α [α]. α α α
44 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) α α α α Die Regeln: α [α]. α α α
45 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) α [ α] 1 1 α α [α ] 1 1 (α ) Die Regeln: α [α]. α α α
46 1.2.6 Herleitung des Doppelnegationsgesetzes (erste Hälfte) Herleitung von α α d.h. α ((α ) ) [α] 2 [ α] 1 1 α 2 α α [α] 2 [α ] 1 1 (α ) 2 α ((α ) ) Die Regeln: α [α]. α α α
47 Schlussregeln für Informelle Einführung Ex falso quod libet α ( ) Reductio ad absurdum [ α]. α (RAA)
48 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: Die Regeln: α [α]. α α α [ α].. α (RAA)
49 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: α α (α ) α Die Regeln: α [α]. α α α [ α]. α (RAA)
50 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: α α (α ) α Die Regeln: α [α]. α α α [ α]. α (RAA)
51 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: α [ α] 1 (RAA)1 α (α ) [α ] 1 (RAA) 1 α Die Regeln: α [α]. α α α [ α]. α (RAA)
52 1.2.8 Herleitung des Doppelnegationsgesetzes (zweite Hälfte) Herleitung von α α: [ α] 2 [ α] 1 (RAA)1 α 2 α α [(α ) ] 2 [α ] 1 (RAA) 1 α 2 ((α ) ) α Die Regeln: α [α]. α α α [ α]. α (RAA)
53 Herleitung von α (α ) Die Regeln: [α]. α α α α ( )
54 1.2.9 Herleitung von α (α ) α α Die Regeln: [α]. α α α α ( )
55 1.2.9 Herleitung von α (α ) α α Die Regeln: [α]. α α α α ( )
56 1.2.9 Herleitung von α (α ) α α ( ) Die Regeln: [α]. α α α α ( )
57 1.2.9 Herleitung von α (α ) α [α] 1 ( ) α 1 Die Regeln: [α]. α α α α ( )
58 1.2.9 Herleitung von α (α ) [ α] 2 [α] 1 ( ) 1 α 2 α (α ) Die Regeln: [α]. α α α α ( )
59 1.2.3 Natürliches Schließen formal Formaler gesehen geht es beim Natürlichen Schließen nicht um das Herleiten von Formeln, sondern um das Herleiten von Sequenten aus Hypothesen und einer Formel. Definition 1.14 (Sequent) Ein Sequent ist ein Paar Γ ϕ, wobei Γ eine endliche Formelmenge und ϕ eine Formel ist. Statt ϕ schreiben wir vereinfachen ϕ, und statt Γ {α} ϕ schreiben wir vereinfachend Γ, α ϕ etc. Die Herleitungen beginnen mit Axiomen und werden durch Anwendungen von Regeln fortgesetzt. Da wir für die verschiedenen Logiken verschiedene Systeme von Anwendungen und Regeln benutzen werden, definieren wir den Prozess der Herleitung erstmal abstrakt für beliebige Axiome und Regeln
60 Definition 1.15 (Herleitung in einem Beweissystem) 1. Ein Beweissystem besteht aus einer Menge von Axiomen Ax und einer Menge von Schlussregeln Sr. 2. Eine Herleitung eines Sequenten Γ α aus Ax und Sr ist eine Folge Γ 1 α 1, Γ 2 α 2,..., Γ l α l von Sequenten, so dass Γ = Γ l, α = α l und für i = 1, 2,..., l gilt: Γi α i ist in Ax (also ein Axiom), oder es gibt Γa α a und ggf. Γ b α b mit a, b < i, aus denen Γ i α i in einem Schritt mit einer Schlussregel in Sr hergeleitet werden kann. 3. Γ α aus Ax und Sr bedeutet, dass es eine Herleitung eines Sequenten Γ α für ein Γ Γ aus Ax und Sr gibt. α ist Schreibweise für α.
61 Wir können nun das Natürliche Schließen für die Aussagenlogik als Axiome und Regeln für ein Beweissystem mit Sequenten aufschreiben dadurch wird das bisher etwas schwammige Auflösen von Hypothesen klar definiert.
62 Definition 1.16 (Natürliches Schließen für die Aussagenlogik A ) Sei ϕ eine aussagenlogische Formel aus Atomen, und, und Γ sei eine Menge solcher Formeln. Γ A ϕ ( ϕ ist aus Γ mittels natürlichem Schließen herleitbar ) bedeutet, dass Γ ϕ aus folgenden Axiomen und Schlussregeln: 1. Die Axiome sind Sequenten α α für alle Formeln α. 2. Die Schlussregeln sind für Formelmengen Γ, und Formeln α, : ( Γ, steht für Γ ) Γ, α Γ α Γ α α Γ, Γ, Γ (RAA) Γ α Γ, α (Hyp) (Bem.: Alte Regeln ohne Hypothesenauflösung werden unter Verwendung von (Hyp) dargestellt.)
63 Beispiel: A α ( α) (1) α α (2) α, α (Hyp)(1) (3) α α (2) (4) α ( α) (3)
64 Beispiel: A α α (1) α α (2) α α (3) α, α (1), (2) (4) α α (3) (5) α α (4)
65 Beispiel: A (α ) ( α) (1) α α (2) α α (3) α, α (1), (2) (4) (5) α, α, (3), (4) (6) α, α (5) (7) α α (6) (8) (α ) ( α) (7)
66 Beispiel: A α α (1) α α (2) α α (3) α, α (1), (2) (4) α α (RAA)(3) (5) α α (4)
67 Was wir später nochmal benutzen werden Satz 1.17 Für alle Formeln α und gilt 1. A α α 2. A 3. A 4. A α (α ) α ( (α )) (α ) (( α ) ) Die Beweise folgen auf den nächsten Seiten.
68 Beweis für A α α (1) α α (2) α α (1)
69 Beweis für A α (α ) (1) α α (2) α α (3) α, α (1), (2) (4) α, α, (Hyp)(3) (5) α, α (RAA)(4) (6) α α (5) (7) α (α ) (6)
70 Beweis für A α ( (α )) (1) α α (2) (3) α α (4) α, α (1), (3) (5) α,, α (2), (4) (6) α, (α ) (5) (7) α (α ) (6) (8) α ( (α )) (7)
71 Beweis für A (α ) (( α ) ) (1) α α (2) α α (3) α, α (1)(2) (4) (5) α, α, (3)(4) (6) α, α (5) (7) α α (8) α,, α (6)(7) (9) α,, α (4)(8) (10) α, α (RAA)(9) (11) α ( α ) (10) (12) (α ) (( α ) ) (11)
72 Beweis für α A α (α ) (( α ) )
73 Beweis für A (α ) (( α ) ) α α
74 Beweis für A (α ) (( α ) ) α α
75 Beweis für A (α ) (( α ) ) α α
76 Beweis für A (α ) (( α ) ) α [α] 1 α 1
77 Beweis für A (α ) (( α ) ) α [α] 1 1 α α
78 Beweis für A (α ) (( α ) ) α [α] 1 1 α α
79 Beweis für A (α ) (( α ) ) α [α] 1 1 α α
80 Beweis für A (α ) (( α ) ) α [α] 1 1 α α
81 Beweis für A (α ) (( α ) ) α [α] 1 [ ] 2 1 α α [ ] 2 (RAA) 2
82 Beweis für A (α ) (( α ) ) α [α] 1 [ ] 2 1 α [ α ] 3 [ ] 2 (RAA) 2 3 ( α )
83 Beweis für A (α ) (( α ) ) [α ] 4 [α] 1 [ ] 2 1 α [ α ] 3 [ ] 2 (RAA) 2 3 ( α ) 4 (α ) (( α ) )
84 1.2.4 Korrektheit des Natürlichen Schließens Das Natürliche Schließen unterteilt die Menge aller Formeln in herleitbare Formeln und nicht-herleitbare Formeln. Sind alle herleitbaren Formeln gültig? (Korrektheit von A ) Sind alle gültigen Formeln herleitbar? (Vollständigkeit von A ) Ziel ist der Beweis eines Vollständigkeitssatzes (Satz 1.24): Die herleitbaren Formeln sind genau die gültigen Formeln. Wenn man einen Beweis-Kalkül als Maschine betrachtet, die unendlich laufend alle herleitbaren Formeln ausgibt, dann bedeutet Korrektheit: es werden nur gültige Formeln ausgegeben, und Vollständigkeit: jede gültige Formel wird irgendwann ausgegeben.
85 Korrektheit von A Da man beim Natürlichen Schließen mit Sequenten arbeitet, ist es einfacher, etwas Allgemeineres zu beweisen. Lemma 1.18 (Verallgemeinerte Korrektheit von A ) Sei Γ eine aussagenlogische Formelmenge und α eine aussagenlogische Formel. Dann gilt: wenn Γ A α, dann Γ A α.
86 Verallgemeinerte Korrektheit von A : Beweis Wir zeigen die Behauptung mittels Induktion über die Länge der Herleitung von α aus Γ. Induktionsanfang: Γ A α mit einer Herleitung der Länge 1. Dann besteht die Herleitung nur aus dem Sequenten α α (also Γ {α}), und offensichtlich gilt Γ A α für Γ {α}. Induktionsvoraussetzung: wenn Γ A α mit einer Herleitung der Länge n, dann gilt Γ A α. Induktionsschluss: zu zeigen: wenn Γ A α mit einer Herleitung der Länge n + 1, dann gilt Γ A α.
87 Sei Γ A α mit einer Herleitung von Γ α der Länge n + 1 für ein Γ Γ. Wir unterscheiden, welche Regel im letzten Herleitungsschritt angewendet wird. Fall 1: im letzten Herleitungsschritt wird das Axiom α α benutzt. Offensichtlich gilt α A α und damit Γ A α. Fall 2: im letzten Herleitungsschritt wird verwendet. Dann ergibt der letzte Herleitungsschritt Γ ϕ (d.h. α = ϕ), und die Herleitung enthält Γ, ϕ, der mit n Schritten hergeleitet wird. Laut IV gilt Γ, A ϕ. Wir zeigen nun Γ ϕ, A d.h. für jede Belegung B gilt: wenn B A Γ, dann B A ϕ. Sei B eine Belegung mit B A Γ. Fall 2.1: B : dann folgt B ϕ (Semantik von ). A A Fall 2.2: B A : gemäß IV gilt Γ, A ϕ und damit B A ϕ. Gemäß Semantik von folgt ebenfalls B A ϕ. Da B beliebig gewählt wurde, folgt Γ A ϕ
88 Fall 3: im letzten Herleitungsschritt wird verwendet. Der letzte Herleitungsschritt ergibt Γ α und die Herleitung enthält Sequenten und α mit Γ =, die beide mit n Schritten hergeleitet werden. Laut IV gilt A und A α. Wir zeigen nun Γ A α, d.h. für jede Belegung B gilt: wenn B A Γ, dann B A α. Sei B eine Belegung mit B A Γ. Da, Γ, folgt B A und B A. Mit der IV folgt B A und B A α. Folglich gilt B A α. Da B beliebig gewählt wurde, folgt Γ A α.
89 Fall 4: im letzten Herleitungsschritt wird (Hyp) verwendet. Der letzte Herleitungsschritt ergibt Γ α, und die Herleitung enthält einen Sequenten Γ {} α, der mit n Schritten hergeleitet wird. Laut IV gilt Γ {} A α. Sei B eine Belegung mit B A Γ. Dann folgt B A Γ {}, und mit der IV folgt B A α. Da B beliebig gewählt wurde, folgt Γ A α. Fall 5: im letzten Herleitungsschritt wird (RAA) verwendet. Der letzte Herleitungsschritt ergibt Γ α, und die Herleitung enthält einen Sequenten Γ, α, der mit n Schritten hergeleitet wird. Laut IV gilt Γ, α A (d.h. Γ { α} ist unerfüllbar). Sei B eine Belegung mit B A Γ. Da B, folgt B α aus der IV und damit B α. A A A Da B beliebig gewählt wurde, folgt Γ α. A Also folgt in allen Fällen Γ A α. Da Γ Γ, folgt schließlich Γ A α.
90 Das Korrektheitslemma für A Für Γ = folgt aus Lemma 1.18 Folgerung 1.19 (Korrektheit von A ) Für alle aussagenlogischen Formeln α gilt: wenn A α, dann A α. D.h. jede mittels Natürlichem Schließen herleitbare Formel ist gültig. Da alle herleitbaren Formeln gültig sind, benutzt man statt herleitbar auch gerne den Begriff beweisbar.
91 1.2.5 Vollständigkeit des Natürlichen Schließens Wir wollen zeigen, dass alle gültigen Formeln beweisbar sind. Dazu geben wir an, wie man für jede gültige Formel einen Beweis konstruieren kann! Das folgende Diagramm stellt die Idee dar, aus welchen Teilen ein Beweis für eine gültige Formel α mit den Atomen A, B und C konstruiert wird. A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B, C A α A, B A α A, B A α A, B A α A, B A α A A α A A α Lemma 1.21 Lemma 1.22 A α
92 Definition 1.20 (At(ϕ) und B(ϕ)) Sei ϕ eine Formel. Dann bezeichnet At(ϕ) die Menge aller Atome in ϕ. Für eine Belegung B wird die Menge der Literale, die für ϕ wichtig sind und von B erfüllt werden, bezeichnet durch B(ϕ) = {A i A i At(ϕ) und A i B} { A i A i At(ϕ) und A i B}. Lemma 1.21 (Belegungen und Beweise) Sei B eine Belegung, ϕ eine Formel. Dann gilt: 1. Wenn B A ϕ, dann B(ϕ) A ϕ, und 2. wenn B ϕ, dann B(ϕ) ϕ. A A
93 Beispiel 1: A, B, C A ( A B) C Für B 0 = und ϕ = ( A B) C ist B 0 (ϕ) = { A, B, C}. A B C A A B ( A B) C
94 Beispiel 1: A, B, C A ( A B) C Für B 0 = und ϕ = ( A B) C ist B 0 (ϕ) = { A, B, C}. A B C A A B B C C IA A A (A ) (1.17(2)) A A IS (2) A B A ( B ( A B)) (1.17(3)) A, B ( A B) IS (3) ( A B) C ( A B) (( A B) C) (1.17(2)) A, B ( A B) C IS (2)
95 Beispiel 2: A, B, C A ( A B) C Für B 1 = {C} ist B 1 (ϕ) = { A, B, C}. A B C A A B ( A B) C
96 Beispiel 2: A, B, C A ( A B) C Für B 1 = {C} ist B 1 (ϕ) = { A, B, C}. A A A B B B C C C IA A A (A ) (1.17(2) A A IS (2) A B A ( B ( A B)) (1.17(3)) A, B ( A B) IS (3) ( A B) C C, A B C (Hyp) C ( A B) C IS (1)
97 Beispiel 3: A, B, C A (( A B) C) Für B 2 = {A, B} ist B 2 (ϕ) = {A, B, C}. A B C IA A IS (3) A B IS (2) ( A B) C IS (3)
98 Beispiel 3: A, B, C A (( A B) C) Für B 2 = {A, B} ist B 2 (ϕ) = {A, B, C}. A A A B B B C C C IA A A ( (A )) (1.17(3)) A A IS (3) A B A ( A B) (1.17(2)) A A B IS (2) ( A B) C ( A B) ( C (( A B) C)) (1.17(3)) A, C (( A B) C) IS (3)
99 Beweis (von Lemma 1.21): Sei B eine Belegung. Wir zeigen die Behauptung mittels Induktion über den Formelaufbau von ϕ. IA: Fall (1): ϕ =. Da B, ist B zu zeigen. Das folgt mit (1.17(1)) A. Fall (2): ϕ ist ein Atom, d.h. ϕ = A i. Wenn B A A i, dann ist A i B(A i ) und es folgt B(A i ) A A i. Wenn B A A i, dann ist A i B(A i ) und es folgt B(A i ) A A i. IV: Für beliebig gewählte Formeln α und gilt 1. Wenn B A α, dann B(α) A α, und wenn B A, dann B() A, 2. wenn B A α, dann B(α) A α, und wenn B A, dann B() A.
100 IS: z.z.: wenn B α, dann B(α ) A α und wenn B α, dann B(α ) A α. Fall (1): B A. Dann folgt B A α und z.z. ist B(α ) A α. Die IV liefert B() A, und mit (Hyp) und folgt B() A α. Folglich gilt auch B(α ) A α. Fall (2): B A α. Dann folgt B A α und z.z. ist B(α ) A α. Die IV liefert B(α) A α, und mit A α (α ) (1.17(2)) und folgt B(α) A α ; folglich gilt B(α ) A α. Fall (3): B A α und B. A Dann folgt B α und z.z. ist B(α ) (α ). A A Die IV liefert B(α) A α und B() A, und mit α ( (α )) (1.17(3)) und 2mal A folgt B(α) B() A (α ); folglich gilt B(α ) A (α ).
101 Lemma 1.22 (Teil-Belegungen und Beweise) Sei ϕ gültig. Für jede Belegung B und jede Teilmenge B B(ϕ) gilt B A ϕ. Beweis: Sei ϕ eine gültige Formel. Wir beweisen die Behauptung mittels Induktion über die Größe aller B in absteigender Ordnung, B = At(ϕ), At(ϕ) 1,..., 0. IA: Sei B eine Belegung und B B(ϕ) mit B = At(ϕ). Dann ist B = B(ϕ). Da B A ϕ, folgt B(ϕ) A ϕ aus (1.21). D.h. es gilt B A ϕ.
102 IV: Für alle Belegungen B und bel. l At(ϕ) gilt für alle B B(ϕ) mit B l: B A ϕ. IS: zu zeigen ist: für alle Belegungen B und alle B B(ϕ) mit B l 1 gilt B A ϕ. Sei B eine Belegung, und sei B B(ϕ) mit B = l 1 (für größere B gilt es laut IV). Da l 1 < At(ϕ), gibt es ein A i At(ϕ) mit A i, A i B. Nach IV gilt B {A i } A ϕ und B { A i } A ϕ. Mit folgen B A A i ϕ und B A A i ϕ. Mit A (A i ϕ) (( A i ϕ) ϕ) (1.17(4)) und folgt schließlich B A ϕ.
103 Beispiel für die Konstruktion Wir haben bereits die Herleitung von ϕ = ( A B) C aus L ϕ = { A, B, C} (1) A A (2) A (A ) (1.17) (3) A A (1)(2) (4) B B (5) A ( B ( A B)) (1.17) (6) A B ( A B) (3)(5) (7) A, B ( A B) (4)(6) (8) ( A B) (( A B) C) (1.17) (9) A, B ( A B) C (7), (8) (10) A, B, C ( A B) C (Hyp)(9) und aus L {C} ϕ = { A, B, C}: (11) C C (12) C, A B C (Hyp)(11) (13) C ( A B) C (12) Das wird wie folgt zur Herleitung aus { A, B} ergänzt. (14) A, B C (( A B) C) (10) (15) C (( A B) C)) (13) (16) (C (( A B) C)) (( C (( A B) C)) (( A B) C)) (1.17) (17) A, B ( A B) C 2mal (16)(15)(14)
104 Vollständigkeit von A Für B = folgt aus Lemma (1.22): Folgerung 1.23 (Vollständigkeit von A für die Aussagenlogik) Für alle aussagenlogischen Formeln ϕ gilt: wenn A ϕ, dann A ϕ (d.h. jede gültige Formel ist mit A beweisbar).
105 Der Vollständigkeitssatz für A Aussagenlogik in der Die Korrektheit (Lemma 1.19) und die Vollständigkeit (Lemma 1.23) des Natürlichen Schließens für die Aussagenlogik ergeben zusammen den Vollständigkeitssatz. Satz 1.24 (Vollständigkeitssatz für A in der Aussagenlogik) Für alle aussagenlogischen Formeln α gilt: α ist gültig genau dann, wenn α mit Natürlichem Schließen beweisbar ist (d.h. A α gdw. A α)
106 1.2.6 Schlussregeln für weitere Verknüpfungszeichen Wir werden später auch mal Formeln mit und herleiten. Die folgenden Regeln sind alle korrekt.
107 Schlussregeln für und Die Schlussregeln für sind recht intuitiv. α ( I ) α α α ( E) α ( E) Die für nicht sofort... α α ( I ) α ( I ) [α]. []. α ϕ ϕ ( E) ϕ
108 α α α
109 α α α α α ( I )
110 α α α ( I ) α α (α α)
111 α α [α] 1 ( I ) α α (α α) α 1
112 α α [α] 1 ( I ) α α (α α) α α α 1 ( I )
113 α α [α] 1 ( I ) α α (α α) 1 α ( I ) α α (α α)
114 α α [α] 1 ( I ) α α [ (α α)] 2 1 α ( I ) α α [ (α α)] 2 (RAA) 2 α α
115 ((α ) γ) (α γ) ( γ) [γ] 1 [γ] 2 [α ] 1 ( E) [α ] 2 ( E) α ( I ) ( I ) ( I ) ( I ) [(α ) γ] 3 α γ α γ ( E)1 [(α ) γ] 3 γ γ ( E)2 α γ γ ( I ) (α γ) ( γ) 3 ((α ) γ) ((α γ) ( γ))
116 Die -Elimination lässt sich auch mit und aufschreiben [α]. []. α ϕ ϕ ( E) ϕ und als Abkürzung für folgendes ansehen. [α] 1 [] 2.. ϕ [ ϕ] 3 ϕ [ ϕ] α α (RAA)3 ϕ
117 Aussagenlogik: Beweisen statt durchprobieren A B C C (C (A B)) F F F T F F T T F T F T F T T T B(ϕ) A ϕ B T F F T T F T T (1.21) T T F T T T T T A α [1.16] (RAA) (Hyp) A A α [1.4] A α gdw. A α (1.18) (1.24) A i [ α] 2 [α] 1 ( ) 1 α 2 α (α )
3 Lösungen zu Kapitel 3
3 Lösungen zu Kapitel 3 31 Lösungen der Aufgaben zu Abschnitt 31 311 Lösung Die Abbildung D : { R 4 R 4 R 4 R 4 R, a 1, a 2, a 3, a 4 ) D( a 1, a 2, a 3, a 4 ) definiere eine Determinantenform (auf R 4
Διαβάστε περισσότεραHauptseminar Mathematische Logik Pcf Theorie (S2A2) Das Galvin-Hajnal Theorem
Hauptseminar Mathematische Logik Pcf Theorie (S2A2) Das Galvin-Hajnal Theorem Jonas Fiege 21 Juli 2009 1 Theorem 1 (Galvin-Hajnal [1975]) Sei ℵ α eine singuläre, starke Limes-Kardinalzahl mit überabzählbarer
Διαβάστε περισσότεραGeometrische Methoden zur Analyse dynamischer Systeme
Geometrische Methoden zur Analyse dynamischer Systeme Markus Schöberl markus.schoeberl@jku.at Institut für Regelungstechnik und Prozessautomatisierung Johannes Kepler Universität Linz KV Ausgewählte Kapitel
Διαβάστε περισσότερα18. Normale Endomorphismen
18. Normale Endomorphismen 18.1. Die adjungierte lineare Abbildung Seien V, W K-Vektorräume mit Skalarprodukt, V,, W Lemma: Sei φ Hom(V, W ). Falls Ψ Hom(W, V ) mit der Eigenschaft so ist Ψ hierdurch eindeutig
Διαβάστε περισσότεραcos(2α) τ xy sin(2α) (7) cos(2(α π/2)) τ xy sin(2(α π/2)) cos(2α) + τ xy sin(2α) (8) (1 + ν) cos(2α) + τ xy (1 + ν) sin(2α) (9)
Festigkeitslehre Lösung zu Aufgabe 11b Grundsätzliches und Vorüberlegungen: Hookesches Gesetz für den zweidimensionalen Spannungszustand: ε = 1 ( ν (1 ε = 1 ( ν ( Die beiden Messwerte ε = ε 1 und ε = ε
Διαβάστε περισσότεραEselsbrücken für die Berechnung der Spur von Produkten von Gammamatrizen
Eselsbrücken für die Berechnung der Spur von Produkten von Gammamatrizen Björn Schemmann Der Autor stellt eine kleine Hilfestellung zur Berechnung von Spuren der Form tr(γ µ 1,..., γ µ 2n ) vor. EINLEITUNG
Διαβάστε περισσότεραJörg Gayler, Lubov Vassilevskaya
Differentialrechnung: Aufgaben Jörg Gayler, Lubov Vassilevskaya ii Inhaltsverzeichnis. Erste Ableitung der elementaren Funktionen......................... Ableitungsregeln......................................
Διαβάστε περισσότεραMengenlehre. Kurzskript der Vorlesung im WS 2010/2011 von. Universität Freiburg
Mengenlehre Kurzskript der Vorlesung im WS 2010/2011 von Jörg Flum Universität Freiburg 1 1 Mächtigkeiten Mit N, Z, Q, R und C bezeichnen wir die Menge der natürlichen, der ganzen, der rationalen, der
Διαβάστε περισσότεραMATERIALIEN ZUR VORBEREITUNG AUF DIE KLAUSUR INFORMATIK II FÜR VERKEHRSINGENIEURWESEN ANTEIL VON PROF. VOGLER IM WINTERSEMESTER 2011/12
Fakultät Informatik Institut für Angewandte Informatik, Professur Technische Informationssysteme MATERIALIEN ZUR VORBEREITUNG AUF DIE KLAUSUR INFORMATIK II FÜR VERKEHRSINGENIEURWESEN ANTEIL VON PROF. VOGLER
Διαβάστε περισσότεραÜbungen zu Teilchenphysik 2 SS 2008. Fierz Identität. Handout. Datum: 27. 5. 2008. von Christoph Saulder
Übungen zu Teilchenphysik 2 SS 2008 Fierz Identität Handout Datum: 27. 5. 2008 von Christoph Saulder 2 Inhaltsverzeichnis Einleitung 5 2 Herleitung der Matrixelemente 7 2. Ansatz...............................
Διαβάστε περισσότεραAuswandern Studieren Studieren - Universität Griechisch Θα ήθελα να εγγραφώ σε πανεπιστήμιο. Angeben, dass man sich einschreiben will Japanisch Θα ήθε
- Universität Θα ήθελα να εγγραφώ σε πανεπιστήμιο. Angeben, dass man sich einschreiben will Θα ήθελα να γραφτώ για. Angeben, dass man sich für einen anmelden möchte ένα προπτυχιακό ένα μεταπτυχιακό ένα
Διαβάστε περισσότερα2
Die Sprache der Mathematik Mengen und Logik Syllabus P. Lemmens - D. van Straten 2 INHALTSVERZEICHNIS 3 Inhaltsverzeichnis Vorwort2016 3 1 Mengen 6 2 Logik 14 3 Abbildungen 20 4 Relationen 28 5 Natürliche
Διαβάστε περισσότεραWenn ihr nicht werdet wie die Kinder...
Wenn ihr nicht werdet wie die Kinder... . Der Memoriam-Garten Schön, dass ich mir keine Sorgen machen muss! Mit dem Memoriam-Garten bieten Ihnen Friedhofsgärtner, Steinmetze
Διαβάστε περισσότεραFragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt
- Allgemeines Μπορώ να κάνω ανάληψη στην [χώρα] χωρίς να πληρώσω προμήθεια; Kann ich in [Land] gebührenfrei Geld abheben? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt Πόσα
Διαβάστε περισσότεραGriechisches Staatszertifikat - Deutsch
ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen
Διαβάστε περισσότεραNiveau A1 & A2 PHASE 3 ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ, ΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ
ΥΠΟΥΡΓΕΙΟ ΠΑΙ ΕΙΑΣ, ΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung, Lebenslanges Lernen und Religionsangelegenheiten Griechisches Staatszertifikat
Διαβάστε περισσότεραStrukturgleichungsmodellierung
Strukturgleichungsmodellierung FoV Methodenlehre FSU-Jena Dipl.-Psych. Norman Rose Strukturgleichungsmodelle mit latenten Variablen Forschungsorientierte Vertiefung - Methodenlehre Dipl.-Psych. Norman
Διαβάστε περισσότεραWeitere Tests bei Normalverteilung
Tests von Hypothesen über den Erwartungswert Bisher: zweiseitiges Testproblem (Zweiseitiger Einstichproben-t-Test) H : μμ gegen H : μ μ Testentscheidung P- Wert: X μ s(x) : Lehne H ab, wenn T(X) N > t
Διαβάστε περισσότεραΕμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία
- Εισαγωγή Sehr geehrter Herr Präsident, Sehr geehrter Herr Präsident, Εξαιρετικά επίσημη επιστολή, ο παραλήπτης έχει ένα ειδικό τίτλο ο οποίος πρέπει να χρησιμοποιηθεί αντί του ονόματος του Sehr geehrter
Διαβάστε περισσότεραGriechisches Staatszertifikat - Deutsch
ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen
Διαβάστε περισσότεραRotationen und Translationen
Astrophysikalisches Institut Neunhof Mitteilung sd97211, Januar 2010 1 Rotationen und Translationen Eigentliche Drehungen, Spiegelungen, und Translationen von Kartesischen Koordinaten-Systemen und Kugelkoordinaten-Systemen
Διαβάστε περισσότεραAufgabe 1 Dreierkette Legt mit den Bild- und Wortkarten eine Dreierkette. Τρεις στη σειρά. Σχηματίστε τριάδες με εικόνες και λέξεις που ταιριάζουν.
Station Luft Aufgabe 1 Dreierkette Legt mit den Bild- und Wortkarten eine Dreierkette. Τρεις στ σειρά. Σχματίστε τριάδες με εικόνες και λέξεις που ταιριάζουν. der Sturm die Windkraftanlage θύελλα οι ανεμογε
Διαβάστε περισσότεραDEUTSCHE SCHULE ATHEN ΓΕΡΜΑΝΙΚΗ ΣΧΟΛΗ ΑΘΗΝΩΝ
Herzlich Willkommen zu unserem Elternabend Übergang aus dem Elternhaus in den Kindergarten Καλωσορίσατε στη συνάντηση γονέων με θέμα τη μετάβαση από το οικογενειακό περιβάλλον στο προνηπιακό τμήμα 1 Überblick
Διαβάστε περισσότεραDIPLOMARBEIT / DIPLOMA THESIS. Weniger bekannte Beweise des quadratischen Reziprozitätsgesetzes. Titel der Diplomarbeit / Title of the Diploma Thesis
DIPLOMARBEIT / DIPLOMA THESIS Titel der Dilomarbeit / Title of the Diloma Thesis Weniger bekannte Beweise des uadratischen Rezirozitätsgesetzes verfasst von / submitted by Christiane Kroner angestrebter
Διαβάστε περισσότεραΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ HÖRVERSTEHEN. Mai 2012
ΥΠΟΥΡΓΕΙΟ ΠΑΙΔΕΙΑΣ ΔΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung, Lebenslanges Lernen und Religionsangelegenheiten Griechisches Staatszertifikat
Διαβάστε περισσότεραIntersection Types. Matthias Putz. Sommersemester 2011
Intersection TU-München Sommersemester 2011 Themen Zusammenfassung Anwendungsbeispiel 1: chars Programmiersprache C: signed und unsigned chars Wertebereiche: signed char: [ 128, +127] unsigned char: [0,
Διαβάστε περισσότεραÜbung 7 - Verfahren zur Lösung linearer Systeme, Gittereigenschaften
Übung 7 - Verfahren zur Lösung linearer Systeme, Gittereigenschaften Musterlösung C. Baur, M. Schäfer Fachgebiet für Numerische Berechnungsverfahren im Maschinenbau 22.01.2009 TU Darmstadt FNB 22.01.2009
Διαβάστε περισσότεραΤο σύστημα των αξιών της ελληνικής κοινωνίας μέσα στα σχολικά εγχειρίδια της Λογοτεχνίας του Δημοτικού Σχολείου
ΔΗΜΟΚΡΙΤΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΡΑΚΗΣ ΠΑΙΔΑΓΩΓΙΚΟ ΤΜΗΜΑ ΔΗΜΟΤΙΚΗΣ ΕΚΠ/ΣΗΣ ΔΙΔΑΣΚΑΛΕΙΟ «ΘΕΟΔΩΡΟΣ ΚΑΣΤΑΝΟΣ» Το σύστημα των αξιών της ελληνικής κοινωνίας μέσα στα σχολικά εγχειρίδια της Λογοτεχνίας του Δημοτικού
Διαβάστε περισσότεραFormelsammlung zur sphärischen Trigonometrie
Formelsammlung zur sphärischen Trigonometrie A. Goniometrie A.1. Additionstheoreme für α β für α = β (α ± β) =α cos β ± cos α β ( α) =α cos α cos (α ± β) =cosα cos β β = cos α tan α ± tan β tan (α ± β)
Διαβάστε περισσότερα22 είκοσι δύο. Κύπρος. Ελλάδα. Ελβετία. Αυστρία. Γερμανία. Από πού είσαι; Είμαι από τη Γερμανία. Εσύ; Από την Κύπρο. Από πού είσαι; Είμαι από
3 τρί 1. μάθμα Wie heißen die Länder auf Griechisch? Bitte verbinden Sie die Namen mit den richtigen Zeichnungen. Hören Sie dann die Ländernamen und sprechen Sie sie nach. 1.18 Ελλάδα Αυστρία Κύπρος Ελβετία
Διαβάστε περισσότεραDEUTSCHE SCHULE ATHEN ΓΕΡΜΑΝΙΚΗ ΣΧΟΛΗ ΑΘΗΝΩΝ
Herzlich Willkommen zu unserem Elternabend Übergang aus dem Kindergarten in die Vorschule Καλωσορίσατε στη συνάντηση γονέων με θέμα τη μετάβαση από τον παιδικό σταθμό στο νηπιαγωγείο 1 Übergang vom Kindergarten
Διαβάστε περισσότεραComputerlinguistik. Lehreinheit 10 : Computerlinguistik Hausarbeit - Aufgaben
Computerlinguistik Lehreinheit 10 : Computerlinguistik Hausarbeit - Aufgaben Dr. Christina Alexandris Nationale Universität Athen Deutsche Sprache und Literatur Περιεχόμενα Ενότητας Κατευθυντήριες Γραμμές
Διαβάστε περισσότεραAuswandern Dokumente Dokumente - Allgemeines Griechisch Koreanisch Dokumente - Persönliche Informationen
- Allgemeines Πού μπορώ να βρω τη φόρμα για ; Fragen wo man ein Formular findet Πότε εκδόθηκε το [έγγραφο] σας; Fragen wann ein Dokument ausgestellt wurde Πού εκδόθηκε το [έγγραφο] σας; Fragen wo ein Dokument
Διαβάστε περισσότεραGriechisches Staatszertifikat - Deutsch
ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen
Διαβάστε περισσότεραGriechisches Staatszertifikat - Deutsch
ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch Niveau A1 & A2 Entspricht dem Gemeinsamen
Διαβάστε περισσότεραGriechische und roemische Rechtsgeschichte
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und roemische Rechtsgeschichte Ενότητα 2: Griechisce Rechtsgeschichte Παπακωνσταντίνου Καλλιόπη Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραGriechisches Staatszertifikat - Deutsch
ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΙΑ ΒΙΟΥ ΜΑΘΗΣΗΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung, Lebenslanges Lernen und Religionsangelegenheiten Griechisches Staatszertifikat
Διαβάστε περισσότεραΕΡΓΑΖΟΜΕΝΩΝ Bildung älterer Arbeitnehmer
ΚΑΤΑΡΤΙΣΗ ΩΡΙΜΩΝ ΕΡΓΑΖΟΜΕΝΩΝ Bildung älterer Arbeitnehmer Kassandra Teliopoulos IEKEP 06/03/06 ΜΕΡΙΚΑ ΣΗΜΕΙΑ ΚΛΕΙΔΙΑ Einige Gedankenansätze!Στις περισσότερες χώρες μέλη της Ε.Ε. μεγάλης ηλικίας εργαζόμενοι
Διαβάστε περισσότεραEnglish PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based
English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based exclusively on safe, managed code. PDFsharp offers two powerful
Διαβάστε περισσότεραEnglish PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based
English PDFsharp is a.net library for creating and processing PDF documents 'on the fly'. The library is completely written in C# and based exclusively on safe, managed code. PDFsharp offers two powerful
Διαβάστε περισσότεραGOETHE-ZERTIFIKAT B2 DURCHFÜHRUNGSBESTIMMUNGEN ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ. Stand: 1. Oktober 2014 Τελευταία ενημέρωση: 1 Οκτωβρίου 2014
DURCHFÜHRUNGSBESTIMMUNGEN ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ Stand: 1. Oktober 2014 Τελευταία ενημέρωση: 1 Οκτωβρίου 2014 Zertifiziert durch Πιστοποίηση: Durchführungsbestimmungen ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ
Διαβάστε περισσότεραSimon Schiffel Implizite Ausfallwahrscheinlichkeiten von Unternehmensanleihen
Simon Schiffel Implizite Ausfallwahrscheinlichkeiten von Unternehmensanleihen GABLER RESEARCH Simon Schiffel Implizite Ausfallwahrscheinlichkeiten von Unternehmensanleihen Eine empirische Analyse in unterschiedlichen
Διαβάστε περισσότεραSlitherlink-Kurven Ein Zusammenspiel von Kombinatorik, Topologie und Geometrie
Slitherlink-Kurven Ein Zusammenspiel von Kombinatorik, Topologie und Geometrie MNU-Landestagung. 02/2014. Regensburg Clara Löh Fakultät für Mathematik. Universität Regensburg Überblick 2 0 1 3 3 1 0 2
Διαβάστε περισσότεραMission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 26 Πειράµατα µε τον χρόνο
26 Πειράµατα µε τον χρόνο Επιστρέφοντας στο παρόν η Άννα προσπαθεί να µπλοκάρει τη µηχανή του χρόνου, αλλά δεν έχει τον κωδικό. Η γυναίκα µε τα κόκκινα εµφανίζεται. Θα χαλάσει η «αρχηγός» τα σχέδια της
Διαβάστε περισσότεραΟΔΟΘ ΔΘΖΗΣΘΟΣ Θ,28-32
ΟΔΟΘ ΔΘΖΗΣΘΟΣ Θ,28-32 Πξώηε Αλάγλωζε Δξκελεία [... ] ρ ξ ε ω 1 δ ε ζ ε π α λ η α π π ζ ε ζ ζ α η 2 1 ΘΔΚΗΠ, ΓΗΘΖ, ΑΛΑΓΘΖ, ΚΝΗΟΑ / ΣΟΖ, ΣΟΔΩΛ: νλνκαηα ηνπ ΡΝ ΑΡΝΛ! Ρν Απξνζσπν Martin Heidegger, Απν Ρν Σι
Διαβάστε περισσότεραWeihnachtsbrief aus Kindergarten und Vorschule Χριστουγεννιάτικο γράμμα από το προνηπιακό/νηπιακό τμήμα
Weihnachtsbrief aus Kindergarten und Vorschule Χριστουγεννιάτικο γράμμα από το προνηπιακό/νηπιακό τμήμα 13.12.2016 Liebe Eltern des Kindergartens und der Vorschule, Die Weihnachtszeit ist eingeläutet.
Διαβάστε περισσότεραAuswandern Dokumente. Dokumente - Allgemeines. Fragen wo man ein Formular findet. Fragen wann ein Dokument ausgestellt wurde
- Allgemeines Πού μπορώ να βρω τη φόρμα για ; Fragen wo man ein Formular findet Πότε εκδόθηκε το [έγγραφο] σας; Fragen wann ein Dokument ausgestellt wurde Πού εκδόθηκε το [έγγραφο] σας; Fragen wo ein Dokument
Διαβάστε περισσότεραAuswandern Dokumente. Dokumente - Allgemeines. Dokumente - Persönliche Informationen. Fragen wo man ein Formular findet
- Allgemeines Πού μπορώ να βρω τη φόρμα για ; Fragen wo man ein Formular findet Πότε εκδόθηκε το [έγγραφο] σας; Fragen wann ein Dokument ausgestellt wurde Πού εκδόθηκε το [έγγραφο] σας; Fragen wo ein Dokument
Διαβάστε περισσότεραΗλεκτρισμός 2ο μάθημα
Μάθημα (τίτλος): Ένα κλειστό κύκλωμα Επίπεδο επάρκειας γλώσσας A1 A2 B1 B2 C1 Τάξη/βαθμίδα: 5η τάξη Αριθμός μαθητών στην τάξη: 11 Αντικείμενο: Φυσική Θέμα: Ηλεκτρισμός Προϋποθέσεις / απαιτήσεις: (π.χ.:
Διαβάστε περισσότεραPreisliste AB JUNI 2019
Preisliste AB JUNI 2019 LOVE STORIES Pakete (3H) STATT 690 JETZT 650 - Einmalige Aufnahmepauschale - Brautpaar Shooting inkl. 10 bearbeiteten Bildern digital & mit Abzug bis 15x20cm - Reportage der Trauung
Διαβάστε περισσότεραΕμπορική αλληλογραφία Ηλεκτρονική Αλληλογραφία
- Εισαγωγή ελληνικά Αξιότιμε κύριε Πρόεδρε, γερμανικά Sehr geehrter Herr Präsident, Εξαιρετικά επίσημη επιστολή, ο παραλήπτης έχει ένα ειδικό τίτλο ο οποίος πρέπει να χρησιμοποιηθεί αντί του ονόματος του
Διαβάστε περισσότεραΡ Η Μ Α Τ Ι Κ Η Δ Ι Α Κ Ο Ι Ν Ω Σ Η
Αρ. Φακέλου.: Ku 622.00/3 (Παρακαλούμε να αναφέρεται στην απάντηση) Αριθμός Ρημ. Διακ: 22/14 2 αντίγραφα Συνημμένα: -2- ΑΝΤΙΓΡΑΦΟ Ρ Η Μ Α Τ Ι Κ Η Δ Ι Α Κ Ο Ι Ν Ω Σ Η Η Πρεσβεία της Ομοσπονδιακής Δημοκρατίας
Διαβάστε περισσότεραἀξιόω! στερέω! ψεύδομαι! συγγιγνώσκω!
Assimilation νλ λλ νμ μμ νβ/νπ/νφ μβ/μπ/μφ νγ/νκ/νχ γγ/γκ/γχ attisches Futur bei Verben auf -ίζω: -ιῶ, -ιεῖς, -ιεῖ usw. Dehnungsaugment: ὠ- ὀ- ἠ- ἀ-/ἐ- Zur Vorbereitung die Stammveränderungs- und Grundformkarten
Διαβάστε περισσότεραAuswandern Wohnen. Wohnen - Mieten. Θα ήθελα να ενοικιάσω ένα. Äußern dass man etwas mieten möchte. δωμάτιο Art der Unterbringung
- Mieten Griechisch Θα ήθελα να ενοικιάσω ένα. Äußern dass man etwas mieten möchte Koreanisch δωμάτιο διαμέρισμα γκαρσονιέρα / στούντιο διαμέρισμα μονοκατοικία ημι-ανεξάρτητο σπίτι σπίτι σε σειρά κατοικιών
Διαβάστε περισσότεραGriechische und römische Rechtsgeschichte
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und römische Rechtsgeschichte Ενότητα 5: die Spartanische Verfassung Παπακωνσταντίνου Καλλιόπη Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραKlausur Strömungsmechanik II Dichte des Fluids ρ F. Viskosität des Fluids η F. Sinkgeschwindigkeit v s. Erdbeschleunigung g
Name, Matr-Nr, Unterschrift) Klausur Strömungsmechanik II 3 8 Aufgabe a) Einflussgrößen: Partikeldurchmesser d P Partikeldichte ρ P Dichte des Fluids ρ F Viskosität des Fluids η F Sinkgeschwindigkeit v
Διαβάστε περισσότεραMission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 22 Έλα τώρα, κουνήσου
22 Έλα τώρα, κουνήσου Η Άννα µεταφέρεται στο Βερολίνο του έτους 1989, όπου κυριαρχεί ο ενθουσιασµός για την πτώση του Τείχους. Πρέπει να περάσει µέσα από το πλήθος και να πάρει τη θήκη. Θα τα καταφέρει;
Διαβάστε περισσότεραΜπορώ να κάνω ανάληψη στην [χώρα] χωρίς να πληρώσω προμήθεια; Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt
- Allgemeines Μπορώ να κάνω ανάληψη στην [χώρα] χωρίς να πληρώσω προμήθεια; Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt Πόσα κοστίζει όταν χρησιμοποιώ μηχανές αυτόματης
Διαβάστε περισσότεραCan I withdraw money in [country] without paying fees? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt
- Allgemeines Can I withdraw money in [country] without paying fees? Fragen, ob Gebühren anfallen, wenn man in einem bestimmten Land Geld abhebt What are the fees if I use external ATMs? Μπορώ να κάνω
Διαβάστε περισσότερα*1 +3*1 - +3*1. - Ideen zu einer reinen Phänomenologie und Phänomenologischen Philosophie. Zweites Buch., Husserliana
+3*1 + +3+- + +3*1, +3*+/+3*, +3*1 / 0 +3*1 +3*1 - +3*1 + Ideen zu einer reinen Phänomenologie und Phänomenologischen Philosophie. Erstes Buch., Husserliana Bd III., +3/*, +/* I-II +32. +/*, Ding und Raum
Διαβάστε περισσότεραGriechische und römische Rechtsgeschichte
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und römische Rechtsgeschichte Ενότητα 7: Gortyna Παπακωνσταντίνου Καλλιόπη Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραΜΗΝΙΑΙΑ ΕΦΗΜΕΡΙΔΑ ΓΙΑ ΤΟΝ ΕΛΛΗΝΙΣΜΟ ΓΕΡΜΑΝΙΑ ΚΑΙ ΕΥΡΩΠΗ GRIECHISCH-DEUTSCHE MONATSZEITUNG DEUTSCHLAND UND EUROPA
ΕLLINIKI GNOMI ΑΠΡΙΛΙΟΣ 2014 ΕΤΟΣ 16ο ΑΡ. ΦΥΛΛΟΥ 168 www.elliniki-gnomi.eu ΕΔΡΑ ΒΕΡΟΛΙΝΟ ΕΛΛΗΝΙΚΗ ΓΝΩΜΗ April 2014 η εφημερίδα που διαβάζεται! ΜΗΝΙΑΙΑ ΕΦΗΜΕΡΙΔΑ ΓΙΑ ΤΟΝ ΕΛΛΗΝΙΣΜΟ ΓΕΡΜΑΝΙΑ ΚΑΙ ΕΥΡΩΠΗ GRIECHISCH-DEUTSCHE
Διαβάστε περισσότεραGriechische und römische Rechtsgeschichte
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Griechische und römische Rechtsgeschichte Ενότητα 10: Beispiele von Institutionen des Römischen privatrechts Παπακωνσταντίνου Καλλιόπη
Διαβάστε περισσότεραGOETHE-ZERTIFIKAT C2: GROSSES DEUTSCHES SPRACHDIPLOM
GOETHE-ZERTIFIKAT C2: GROSSES DEUTSCHES SPRACHDIPLOM DURCHFÜHRUNGSBESTIMMUNGEN ΟΡΟΙ ΔΙΕΞΑΓΩΓΗΣ ΤΗΣ ΕΞΕΤΑΣΗΣ Stand: 1. Oktober 2014 Τελευταία ενημέρωση: 1 Οκτωβρίου 2014 Zertifiziert durch Πιστοποίηση:
Διαβάστε περισσότερα. Zeit: Synoptische Betrachtung # αβ αα a) Allgemeine Abkürzungen Abkürzung Ausführung/Bedeutung AOGCM/GCM (atmosphärisch-ozeanisch gekoppeltes) globales Zirkulations-/Klimamodell (engl.: (atmosphere
Διαβάστε περισσότεραMission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 13 Βοήθεια εκ Θεού
13 Βοήθεια εκ Θεού Η εκκλησία φαίνεται πως είναι το σωστό µέρος για να πάρει κανείς πληροφορίες. Ο πάστορας εξηγεί στην Άννα τη µελωδία και της λέει ότι είναι το κλειδί για µια µηχανή του χρόνου. Αλλά
Διαβάστε περισσότεραWissenschaftlich Einführung
- Einleitung In diesem Aufsatz / dieser Abhandlung / dieser Arbeit werde ich... untersuchen / ermitteln / bewerten / analysieren... Allgemeine Einleitung einer Arbeit Σε αυτήν την εργασία/διατριβή θα αναλύσω/εξετάσω/διερευνήσω/αξιολογήσω...
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΚΟΙΝΟΤΗΤΑ ΒΕΡΝΗΣ. 3000 Bern www.grgb.ch
ΕΛΛΗΝΙΚΗ ΚΟΙΝΟΤΗΤΑ ΒΕΡΝΗΣ COMMUNAUTÈ HELLÈNIQUE DE BERNE 3000 Bern www.grgb.ch Δευτέρα 9 Δεκεμβρίου 2013 Αγαπητά μέλη και φίλοι της Κοινότητας γεια σας Το 2013 φτάνει στο τέλος τους και ήρθε η ώρα να σας
Διαβάστε περισσότεραPASSANT A: Ja, guten Tag. Ich suche den Alexanderplatz. Können Sie mir helfen?
03 Για την οδό Kantstraße Η Άννα ξεκινά για την Kantstraße, αλλά καθυστερεί, επειδή πρέπει να ρωτήσει πώς πάνε µέχρι εκεί. Χάνει κι άλλο χρόνο, όταν εµφανίζονται πάλι οι µοτοσικλετιστές µε τα µαύρα κράνη
Διαβάστε περισσότεραSonata op. 11 for Guitar. Giacomo Monzino. Edition Panitz
Sonata o 11 or Guitar Giacomo Monzino Edition Panitz htt://wwwanitzname/guitar Einuhrung Zu keiner Zeit ist wohl mehr Literatur ur Gitarre veroentlicht worden, als in den ersten zwei Jahrzehnten des 19
Διαβάστε περισσότεραEmpirische Sprachforschung
Empirische Sprachforschung Einführung: Subsprachen und Kontrollierte Sprachen Dr. Chris;na Alexandris Na;onale Universität Athen Deutsche Sprache und Literatur Einführung: Subsprachen und Kontrollierte
Διαβάστε περισσότεραΣτοιχεία του/της συζύγου ή του/ της συντρόφου του προσώπου που υποβάλλει την αίτηση
Επώνυμο και όνομα του προσώπου που υποβάλλει την αίτηση Name und der antragstellenden Person Αριθμός επιδόματος τέκνων Kindergeld-Nr. F K KG 51R Παράρτημα Εξωτερικό (Ausland) της αίτησης για γερμανικό
Διαβάστε περισσότεραΗ προβληματική της Protention στη φαινομενολογία του χρόνου του Husserl
Πανεπιστήμιο Πατρών Σχολή Ανθρωπιστικών και Κοινωνικών Επιστημών Τμήμα Φιλοσοφίας Πρόγραμμα Μεταπτυχιακών Σπουδών Η προβληματική της Protention στη φαινομενολογία του χρόνου του Husserl Διπλωματική Εργασία
Διαβάστε περισσότεραα + ω 0 2 = 0, Lösung: α 1,2
SDOFs Der lineare Einmassenschwinger Bewegungsgleichung m x + c x + k x = f () = p()...krafanregung m x g ()...Weganregung x + ζω x + ω x = f () m, ω = k m, ζ = c mk... Lehr'sches Dämpfungsmaß AB : x(
Διαβάστε περισσότεραHerzlich Willkommen zu unserem 1. Elternabend für Kindergarten und Vorschule
Herzlich Willkommen zu unserem 1. Elternabend für Kindergarten und Vorschule Καλωσορίσατε στην 1 η συνάντηση γονέων για τον παιδικό σταθμό και το νηπιαγωγείο Begrüßung Das Team der vorschulischen Bereiches
Διαβάστε περισσότεραBIOABFALL. Beantworte folgende Fragen: 1. Welche Farbe hat die Biotonne a) blau b) grün c) gelb d) rot. 2. Was kommt in die Biotonne?
BIOABFALL Mein Name ist Laura. Zuhause essen wir viel Obst und Gemüse. Die Abfälle, wie zum Beispiel Orangen- oder Kartoffelschalen, aber auch Teeblätter oder Eierschalen, sammeln wir in der Küche in einem
Διαβάστε περισσότεραNr. 544-12/17 Auslosung Klub-Cup 2018 1/8 Final Anlässlich des Freundschaftswettkampfes BL-BS hat unsere Glücksfee Paula Graber folgende Paarungen für den Achtelfinal des Klub-Cup 2018 gezogen
Διαβάστε περισσότεραΣυνέντευξη στην FRANKFURTER ALLGEMEINE ZEITUNG 26/6/2009. Στον Reinhard Vesser. "Wir liegen weit auseinander"
Συνέντευξη στην FRANKFURTER ALLGEMEINE ZEITUNG 26/6/2009 Στον Reinhard Vesser "Wir liegen weit auseinander" Die amtierende Vorsitzende der Organisation für Sicherheit und Zusammenarbeit in Europa (OSZE)
Διαβάστε περισσότεραB.A.-Eingangstest Neugriechisch (Niveau TELC B1) MUSTERTEST Seite 1 von 6
B.A.-Eingangstest Neugriechisch (Niveau TELC B1) MUSTERTEST Seite 1 von 6 Name, Vorname:... Teil 1: Hörverstehen * Hören Sie den Text und beantworten Sie kurz (mit 1-2 Wörtern) die Fragen in der folgenden
Διαβάστε περισσότεραHochleistungs-Gewindeeinheit GE - 16/2 Hochleistungs-Gewindeeinheit GE - 22/2
Hochleistungs-Gewindeeinheit GE - 16/2 Hochleistungs-Gewindeeinheit GE - 22/2 (Bild zeigt Gewindeeinheit GE-16/2 in Sonderausführung mit NC-Antriebsmotor und Spindeladapter für Anbauteile) -- 2 -- Hagen
Διαβάστε περισσότεραPUBLIC 5587/18 ADD 1 1 DG G LIMITE EL. Συμβούλιο της Ευρωπαϊκής Ένωσης. Βρυξέλλες, 7 Φεβρουαρίου 2018 (OR. en)
Conseil UE Συμβούλιο της Ευρωπαϊκής Ένωσης PUBLIC Βρυξέλλες, 7 Φεβρουαρίου 2018 (OR. en) 5587/18 ADD 1 LIMITE PV/CONS 2 ECOFIN 57 ΣΧΕΔΙΟ ΠΡΑΚΤΙΚΩΝ ΣΥΜΒΟΥΛΙΟ ΤΗΣ ΕΥΡΩΠΑΪΚΗΣ ΕΝΩΣΗΣ (Οικονομικά και Δημοσιονομικά
Διαβάστε περισσότεραGriechisches Staatszertifikat - Deutsch
ΥΠΟΥΡΓΕΙΟ ΕΘΝΙΚΗΣ ΠΑΙ ΕΙΑΣ ΚΑΙ ΘΡΗΣΚΕΥΜΑΤΩΝ ΚΡΑΤΙΚΟ ΠΙΣΤΟΠΟΙΗΤΙΚΟ ΓΛΩΣΣΟΜΑΘΕΙΑΣ Griechisches Ministerium für Bildung und Religion Griechisches Staatszertifikat - Deutsch NIVEAU B1 Entspricht dem Gemeinsamen
Διαβάστε περισσότεραGeschäftskorrespondenz Brief
- Adresse Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Amerikanisches Adressenformat: Name der Stadt + Abkürzung des Staates + Postleitzahl Mr. J. Rhodes Rhodes
Διαβάστε περισσότεραGeschäftskorrespondenz Brief
- Adresse Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Amerikanisches Adressenformat: Name der Stadt + Abkürzung des Staates + Postleitzahl Mr. J. Rhodes Rhodes
Διαβάστε περισσότεραΑΞΙΟΛΟΓΗΣΗ ΑΝΑΠΤΥΞΙΑΚΗΣ ΚΑΤΑΛΛΗΛΟΤΗΤΑΣ ΠΕΡΙΟΧΩΝ ΜΕ ΒΑΣΗ ΓΕΩΛΟΓΙΚΑ, ΓΕΩΤΕΧΝΙΚΑ ΚΑΙ ΠΕΡΙΒΑΛΛΟΝΤΙΚΑ ΚΡΙΤΗΡΙΑ
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΕΙΔΙΚΕΥΣΗΣ ΠΡΟΣΤΑΣΙΑ ΠΕΡΙΒΑΛΛΟΝΤΟΣ ΚΑΙ ΒΙΩΣΙΜΗ ΑΝΑΠΤΥΞΗ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ ΑΞΙΟΛΟΓΗΣΗ
Διαβάστε περισσότεραOrdinalzahl-Registermaschinen und Modelle der Mengenlehre
Ordinalzahl-Registermaschinen und Modelle der Mengenlehre b y Peter Koepke Universität Bonn Abstract: Wir verallgemeinern gewöhnliche Registermaschinen auf natürlichen Zahlen zu Maschinen, deren Register
Διαβάστε περισσότεραΕμπορική αλληλογραφία Επιστολή
- Διεύθυνση Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Mr. J. Rhodes Rhodes & Rhodes Corp. 212 Silverback Drive California Springs CA 92926 Αμερικανική γραφή διεύθυνσης:
Διαβάστε περισσότεραGruppentheorie. Vorlesung im Wintersemester 1992/93. B. Külshammer. Ausarbeitung: Markus Deiml
Gruppentheorie Vorlesung im Wintersemester 1992/93 B. Külshammer Ausarbeitung: Markus Deiml Inhaltsverzeichnis Kapitel 1. Halbgruppen 3 Kapitel 2. Gruppen 5 Kapitel 3. Normalteiler und Faktorgruppen 11
Διαβάστε περισσότερα1. Βρες το σωστό αντικείμενο και συμπλήρωσε το σε αιτιατική. 2. Μπορείς να το πεις κι αλλιώς. Χρησιμοποίησε τα ρήματα schmecken και gefallen
Name: Datum: Klasse: Note: 1. Βρες το σωστό αντικείμενο και συμπλήρωσε το σε αιτιατική eine Torte, eine Limonade, die Blumen, der Arzt, die Tür, der Schulbus a) Peter ist krank. Seine Mutter ruft an. b)
Διαβάστε περισσότεραMission Berlin. Deutsch lernen und unterrichten Arbeitsmaterialien. Mission Berlin 16 Παλιοί γνωστοί
16 Παλιοί γνωστοί Και το 1961 η Άννα καταδιώκεται από τους ένοπλους µοτοσικλετιστές. Σε αυτή την επικίνδυνη φάση τη βοηθά µια άγνωστη γυναίκα. Αλλά γιατί σπεύδει προς βοήθεια; Μπορεί η Άννα να την εµπιστευθεί;
Διαβάστε περισσότερα6. Klein-Gordon-Gleichung und Elektrodynamik
Klein-Gordon-Gleichung und Elekrodynamik 6. Klein-Gordon-Gleichung und Elekrodynamik Grundgleichungen (diese werden im Folgenden begründe) Klein-Gordon-Gl. Maxwell-Gl. (äquvivalen) ( ) + + m ie e ie Nomenklaur
Διαβάστε περισσότεραα + ω 0 2 = 0, Lösung: α 1,2
SDOFs Der lineare Einmassenschwinger Bewegungsgleichung m x + c x + k x = f () = p()...krafanregung m x g ()...Weganregung x + 2ζω x + ω 2 x = f () m, ω = k m, ζ = c 2 mk... Lehr'sches Dämpfungsmaß AB
Διαβάστε περισσότερα1 @ copyright @ www.learngerman.gr
1 @ copyright @ www.learngerman.gr SPRACHE ΠΡΑΧΕ ΓΛΩΑ Sprichst du Griechisch? Σπριχςτ ντου γκρίχιςσ? Μιλάσ ελλθνικά; Sprichst du Deutsch? Σπριχςτ ντου ντόθτςσ? Μιλάσ γερμανικά; Welche Sprache sprichst
Διαβάστε περισσότεραPräpositionen ΠΡΟΣ (Ερώτηση με wohin?) nach προς (χώρα χωρίς άρθρο, πόλη, ήπειρο) προς (τοπικό επίρρημα)
Präpositionen ΠΡΟΣ (Ερώτηση με wohin?) nach προς (χώρα χωρίς άρθρο, πόλη, ήπειρο) Im Sommer fahre ich nach Deutschland, nach Berlin προς (τοπικό επίρρημα) Ich gehe nach oben zu (zum, zur) προς (πρόσωπο,
Διαβάστε περισσότεραAuswandern Studieren. Studieren - Universität. Angeben, dass man sich einschreiben will. Angeben, dass man sich für einen Kurs anmelden möchte.
- Universität Θα ήθελα να εγγραφώ σε πανεπιστήμιο. Angeben, dass man sich einschreiben will I would like to enroll at a university. Θα ήθελα να γραφτώ για. Angeben, dass man sich für einen anmelden möchte
Διαβάστε περισσότεραAuswandern Studieren. Studieren - Universität. Angeben, dass man sich einschreiben will. Angeben, dass man sich für einen Kurs anmelden möchte.
- Universität I would like to enroll at a university. Angeben, dass man sich einschreiben will Θα ήθελα να εγγραφώ σε πανεπιστήμιο. I want to apply for course. Angeben, dass man sich für einen anmelden
Διαβάστε περισσότεραDas Präpositionalobjekt Εμπρόθετο αντικείμενο
Πολλά ριματα ςυντάςςονται με εμπρόκετο αντικείμενο. Η πρόκεςθ κακορίηει τθν πτώςθ του ουςιαςτικοφ. Das Präpositionalobjekt Εμπρόθετο αντικείμενο Το εμπρόθετο αντικείμενο αφορά πρόςωπο warten auf + Akk.
Διαβάστε περισσότεραGeschäftskorrespondenz
- Einleitung Deutsch Griechisch Sehr geehrter Herr Präsident, Αξιότιμε κύριε Πρόεδρε, Sehr formell, Empfänger hat einen besonderen Titel, der anstelle seines Namens benutzt wird Sehr geehrter Herr, Formell,
Διαβάστε περισσότεραOptionsbewertung mit FFT
19.01.2012 Europäische Call Option Wert C T = E[(S(T ) K) + ] Variance Gamma Prozess Dichte γ 2λ x µ λ 1/2 K λ 1/2 (α x µ ) e β(x µ) πγ(λ)(2α) λ 1/2 Charakteristische Funktion (1 izθν + 1 2 σ2 νz 2 ) t
Διαβάστε περισσότεραLEKTION 4. Prüfungsvorbereitung. Lesen Teil 5. Was für ein Tag! (Τι μέρα κι αυτή!) 7B Ú ÙÂ ÙËÓ ÈÛÙÔÚ Û Ó ÔÓÙ ÙÈ appleúôù ÛÂÈ ÌÂÙ Í ÙÔ.
4 LEKTION 4 7B Ú ÙÂ ÙËÓ ÈÛÙÔÚ Û Ó ÔÓÙ ÙÈ appleúôù ÛÂÈ ÌÂÙ Í ÙÔ. Was für ein Tag! (Τι μέρα κι αυτή!) B1 Prüfungsvorbereitung Lesen Teil 5 Το κείμενο στο 5 ο μέρος της ενότητας Lesen είναι ένας κανονισμός
Διαβάστε περισσότερα